A DIFFERENT KIND OF LANGUAGE - PROLOG, PROGRAMMING IN LOGIC

被引：2

作者：

CABROL, D ^{[1
]}

FORREST, TP ^{[1
]}

机构：

[1] DALHOUSIE UNIV,HALIFAX B3H 4H2,NS,CANADA

来源：

关键词：

D O I：

10.1021/ed063p131

中图分类号：

O6 [化学];

学科分类号：

0703 ;

摘要：

引用

页码：131 / 135

页数：5

相关论文

共 7 条

[1] [Anonymous], ARTIFICIAL INTELLIGE
[2] BOLEY H, 1983, TSI-TECH SCI INF, V2, P145
[3] CLARK KL, 1984, MICRO PROLOG PROGRAM
[4] Clocksin W. F., 1981, PROGRAMMING PROLOG
[5] COLMERAUER A, 1983, TSI-TECH SCI INF, V2, P271
[6] ROBINSON JA, 1965, INT J COMPUT MATH, V1, P227
[7] A MACHINE-ORIENTED LOGIC BASED ON RESOLUTION PRINCIPLE
ROBINSON, JA
[J]. JOURNAL OF THE ACM, 1965, 12 (01) : 23 - &