NEGATION AS FAILURE USING TIGHT DERIVATIONS FOR GENERAL LOGIC PROGRAMS

被引：41

作者：

VANGELDER, A ^{[1
]}

机构：

[1] UNIV CALIF SANTA CRUZ,DEPT COMP SCI,SANTA CRUZ,CA 95064

来源：

JOURNAL OF LOGIC PROGRAMMING | 1989年 / 6卷 / 1-2期

关键词：

D O I：

10.1016/0743-1066(89)90032-0

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：109 / 133

页数：25

共 40 条

[1]

Aho Alfred V., 1979, 6TH P ACM S PRINC PR, P110

[2] CONTRIBUTIONS TO THE THEORY OF LOGIC PROGRAMMING [J].

APT, KR ;

VANEMDEN, MH .

[3]

Apt Krzysztof R, 1988, FDN DEDUCTIVE DATABA, P89, DOI [10.1016/B978-0-934613-40-8.50006-3, DOI 10.1016/B978-0-934613-40-8.50006-3]

[4]

Clark K. L., 1978, Logic and data bases, P293

[5] ON COMPILING QUERIES IN RECURSIVE 1ST-ORDER DATABASES [J].

HENSCHEN, LJ ;

NAQVI, SA .

[6] GENERAL FAILURE OF LOGIC PROGRAMS - COMMENTS [J].

JAFFAR, J ;

LASSEZ, JL ;

MAHER, MJ .

JOURNAL OF LOGIC PROGRAMMING, 1986, 3 (02) :115-118

[7]

Lifschitz V., 1988, FDN DEDUCTIVE DATABA, P177

[8]

Loveland D.W., 1978, AUTOMATED THEOREM PR, DOI DOI 10.1016/0378-4754(80)90081-6

[9]

Przymusinski Teodor C., 1988, FDN DEDUCTIVE DATABA, P193, DOI [10.1016/b978-0-934613-40-8.50009-9, DOI 10.1016/B978-0-934613-40-8.50009-9]

[10]

Reiter R., 1978, Logic and data bases, P55