DENOTATIONAL AND OPERATIONAL SEMANTICS FOR PROLOG

被引：35

作者：

DEBRAY, SK ^{[1
]}

MISHRA, P ^{[1
]}

机构：

[1] UNIV ARIZONA,DEPT COMP SCI,TUCSON,AZ 85721

来源：

JOURNAL OF LOGIC PROGRAMMING | 1988年 / 5卷 / 01期

关键词：

D O I：

10.1016/0743-1066(88)90007-6

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：61 / 91

页数：31

共 13 条

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

APT, KR ;

VANEMDEN, MH .

[2]

DEBRAY SK, 1986, LNCS, V225

[3]

DEBRAY SK, 1986, 1986 P INT C COMP LA, P2

[4]

DEBRAY SK, 1986, 1986 P S LOG PROGR S, P78

[5]

FRANDSEN G, LNCS, V199, P146

[6]

FRANDSEN G, 1985, PB186

[7]

JONES ND, 1984, 1984 P INT S LOG PRO, P289

[8]

Mellish C. S., 1985, Journal of Logic Programming, V2, P43, DOI 10.1016/0743-1066(85)90004-4

[9]

MOSS C, 1985, PROLOG ELECTRONIC DI, V3

[10]

OKEEFE RA, 1985, 1985 P S LOG PROGR B, P73