EXTENDED UNIFICATION ALGORITHMS FOR THE INTEGRATION OF FUNCTIONAL PROGRAMMING INTO LOGIC PROGRAMMING

被引：12

作者：

DINCBAS, M ^{[1
]}

VANHENTENRYCK, P ^{[1
]}

机构：

[1] EUROPEAN COMP RES CTR,D-8000 MUNCHEN 81,FED REP GER

来源：

JOURNAL OF LOGIC PROGRAMMING | 1987年 / 4卷 / 03期

关键词：

D O I：

10.1016/0743-1066(87)90002-1

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：199 / 227

页数：29

共 51 条

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

APT, KR ;

VANEMDEN, MH .

[2]

BOURGAULT S, 1983, 1983 ACT SEM PROGR L, P123

[3]

BOURGAULT S, 1984, LISLOG SYSTEM NTLAAS

[4]

BURSTALL RM, 1980, LISP C, P136

[5]

CARLSSON M, 1983, LM PROLOG USER MANUA

[6]

Clark K. L., 1979, Expert Systems in the Micro-Electronic Age. Proceedings of the 1979 AISB Summer School, P122

[7]

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

[8]

COLMERAUER A, 1984, FEB IEEE INT S LOG P

[9]

DARLINGTON J, 1985, UNIFICATION FUNC FEB

[10]

DERSHOWITZ N, 1985, JUL P IEEE INT S LOG, P54