ELEMENTARY LOGIC PROGRAMS

被引：0

作者：

TARAU, P ^{[1
]}

BOYER, M ^{[1
]}

机构：

[1] UNIV MONTREAL, DEPT INFORMAT & RECH OPERATIONNELLE, MONTREAL H3C 3J7, QUEBEC, CANADA

来源：

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：159 / 173

页数：15

共 13 条

[1] [Anonymous], 1970, MACH INTELL
[2] [Anonymous], 1970, MACHINE INTELLIGENCE
[3] LEVI G, 1988, P S LOGIC PROGRAMMIN, P1649
[4] Maher M. J, 1988, FDN DEDUCTIVE DATABA, P627
[5] OKEEFE RA, 1988, ELECTRONIC MESSAGE U
[6] A MACHINE-ORIENTED LOGIC BASED ON RESOLUTION PRINCIPLE
ROBINSON, JA
[J]. JOURNAL OF THE ACM, 1965, 12 (01) : 23 - &
[7] EXISTENTIAL CONTINUATION
SATO, T
TAMAKI, H
[J]. NEW GENERATION COMPUTING, 1989, 6 (04) : 421 - 438
[8] SATO T, 1984, 2ND P INT LOG PROGR, P127
[9] MAKING EXHAUSTIVE SEARCH PROGRAMS DETERMINISTIC
UEDA, K
[J]. NEW GENERATION COMPUTING, 1987, 5 (01) : 29 - 44
[10] SEMANTICS OF PREDICATE LOGIC AS A PROGRAMMING LANGUAGE
VANEMDEN, MH
KOWALSKI, RA
[J]. JOURNAL OF THE ACM, 1976, 23 (04) : 733 - 742