共 22 条
[1]
BABU S, 2001, CONTINUOUS QUERIES
[2]
BAILEY J, 2005, P 14 INT WORLD WID W
[3]
Brownston L., 1985, PROGRAMMING EXPERT S
[4]
BRY F, 2005, P 21 INT C DAT ENG
[5]
BRY F, 2005, P 20 ANN ACM S APPL
[6]
HILOG - A FOUNDATION FOR HIGHER-ORDER LOGIC PROGRAMMING
[J].
JOURNAL OF LOGIC PROGRAMMING,
1993, 15 (03)
:187-230
[7]
DIX J, 1996, LNCS, V1216
[8]
Doets K., 1994, From Logic to Logic Programming
[9]
FUCHS NE, 1999, LNCS, V1559
[10]
GELFOND M, 1988, P INT C S LOG PROGR