LAM: Another prolog abstract machine

被引：0

作者：

Li, XN ^{[1
]}

Yao, YY ^{[1
]}

机构：

[1] LAKEHEAD UNIV,DEPT COMP SCI,THUNDER BAY,ON P7B 5E1,CANADA

来源：

1996 CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING - CONFERENCE PROCEEDINGS, VOLS I AND II: THEME - GLIMPSE INTO THE 21ST CENTURY | 1996年

关键词：

D O I：

暂无

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：310 / 313

页数：4

共 50 条

[31] DESIGNING THE ARCHITECTURE OF A PROLOG MACHINE
张晨曦
慈云桂
Science China Mathematics, 1989, (10) : 1237 - 1250
[32] Annotated structure shape graphs for abstract analysis of Prolog
Lect Notes Comput Sci, (92):
[33] Towards description and optimization of abstract machines in an extension of prolog
Morales, Jose F.
Carro, Manuel
Hermenegildo, Manuel
LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2007, 4407 : 77 - 93
[34] EXPERIMENTAL EVALUATION OF A GENERIC ABSTRACT INTERPRETATION ALGORITHM FOR PROLOG
LECHARLIER, B
VANHENTENRYCK, P
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1994, 16 (01): : 35 - 101
[35] SPECIALIZATION OF PROLOG AND FCP PROGRAMS USING ABSTRACT INTERPRETATION
GALLAGHER, J
CODISH, M
SHAPIRO, E
NEW GENERATION COMPUTING, 1988, 6 (2-3) : 159 - 186
[36] PARALLEL PROLOG MACHINE PARK - ITS HARDWARE STRUCTURE AND PROLOG SYSTEM
MATSUDA, H
KOHATA, M
MASUO, T
KANEDA, Y
MAEKAWA, S
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 221 : 35 - 43
[37] kProbLog: an algebraic Prolog for machine learning
Francesco Orsini
Paolo Frasconi
Luc De Raedt
Machine Learning, 2017, 106 : 1933 - 1969
[38] kProbLog: an algebraic Prolog for machine learning
Orsini, Francesco
Frasconi, Paolo
De Raedt, Luc
MACHINE LEARNING, 2017, 106 (12) : 1933 - 1969
[39] Prolog machine based on VLSI algorithms
Shobatake, Yasuro, 1600, (20):
[40] DESIGN AND SIMULATION OF A SEQUENTIAL PROLOG MACHINE
CLOCKSIN, WF
NEW GENERATION COMPUTING, 1985, 3 (01) : 101 - 120

← 1 2 3 4 5 →