AN INTERPRETER WITH LAZY EVALUATION FOR PROLOG WITH FUNCTIONS

被引：0

作者：

LUTTRINGHAUS, S

机构：

来源：

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：199 / 225

页数：27

共 12 条

[1]

DEGROOT L, 1986, LOGIC PROGRAMMING RU

[2]

LAVILLE A, 1988, LECT NOTES COMPUT SC, V300, P298

[3]

REDDY US, 1985, S LOGIC PROGRAMMING

[4]

RETY P, 1985, REWRITING TECHNIQUES

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

ROBINSON, JA .

[6]

ROBINSON JA, 1969, MACHINE INTELLIGENCE, V4

[7]

STERLING S, 1986, ART PROLOG

[8]

SUBRAHMANYAM Y, 1986, COMPUTATIONAL MODEL

[9]

SUBRAHMANYAM Y, 1983, PATTERN DRIVEN LAZY

[10]

TURNER DA, 1985, LECT N COMP, V201