CONTRIBUTIONS TO THE THEORY OF LOGIC PROGRAMMING

被引：297

作者：

APT, KR

VANEMDEN, MH

机构：

[1] ERASMUS UNIV,3000 DR ROTTERDAM,NETHERLANDS

[2] UNIV WATERLOO,DEPT COMP SCI,WATERLOO N2L 3G1,ONTARIO,CANADA

来源：

关键词：

D O I：

10.1145/322326.322339

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：841 / 862

页数：22

共 18 条

[1]

[Anonymous], SYMBOLIC LOGIC MECHA

[2]

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

[3]

CLARK KL, 1979, PREDICATE LOGIC COMP

[4]

Dijkstra E. W., 1976, DISCIPLINE PROGRAMMI

[5] ON THE TOTAL CORRECTNESS OF NONDETERMINISTIC PROGRAMS [J].

HAREL, D .

[6]

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

[7]

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

[8] A MACHINE-ORIENTED LOGIC BASED ON RESOLUTION PRINCIPLE [J].

ROBINSON, JA .

[9] SEMANTICS OF PREDICATE LOGIC AS A PROGRAMMING LANGUAGE [J].

VANEMDEN, MH ;

KOWALSKI, RA .

[10]

[No title captured]