共 30 条
[1]
CHAN D, 1989, P AISB C SUSSEX
[2]
CHAN D, 1989, P N AM C LOGIC PROGR, P477
[3]
CHAN D, 1988, 5TH P INTL C S LOG P, P111
[4]
Clark K. L., 1978, Logic and data bases, P293
[5]
Colmerauer A., 1982, PROLOG 2 REFERENCE M
[6]
Dincbas M., 1988, P 2 INT C 5 GEN COMP, P249
[7]
DRABENT W, 1993, WHAT IS FAILURE CONS
[8]
Fitting M., 1985, Journal of Logic Programming, V2, P295, DOI 10.1016/S0743-1066(85)80005-4
[9]
FITTING M, 1988, 5TH P INT C S LOG PR, P1054
[10]
FOO N, 1988, 5TH P INT C S LOG PR, P126