LAM: Another prolog abstract machine

被引：0

作者：

Li, XN ^{[1
]}

Yao, YY ^{[1
]}

机构：

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

来源：

关键词：

D O I：

暂无

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：310 / 313

页数：4

共 50 条

[41] Compiling Prolog to Logic Virtual Machine
Wang, YF
Li, XN
UNIVERSITY AND INDUSTRY - PARTNERS IN SUCCESS, CONFERENCE PROCEEDINGS VOLS 1-2, 1998, : 317 - 320
[42] NEW PROLOG RUNS ON LISP MACHINE
WALLER, L
ELECTRONICS, 1984, 57 (01): : 56 - &
[43] An external module for implementing linear tabling in prolog (Extended abstract)
Silva, Claudio
Rocha, Ricardo
Lopes, Ricardo
LOGIC PROGRAMMING, PROCEEDINGS, 2006, 4079 : 429 - 430
[44] THE COPROME - ANOTHER MODEL SYSTEM - ABSTRACT
COOKE, RC
SAFAR, HO
WOOD, SN
PROCEEDINGS OF THE ROYAL SOCIETY OF EDINBURGH SECTION B-BIOLOGICAL SCIENCES, 1988, 94 : 47 - 47
[45] Formal and practical aspects of implementing abstract data types in the Prolog instruction
Haberman, Bruria
INFORMATICA, 2008, 19 (01) : 17 - 30
[46] Exploiting and-or parallelism in Prolog: The OASys computational model and abstract architecture
Vlahavas, I
JOURNAL OF SYSTEMS AND SOFTWARE, 1998, 43 (01) : 45 - 57
[47] INTERMEDIATE CODE FOR THE SEQUENTIAL PROLOG MACHINE PEK
WADA, K
MIYAMOTO, M
KUO, S
KANEDA, Y
MAEKAWA, S
MICROPROCESSING AND MICROPROGRAMMING, 1987, 21 (1-5): : 275 - 282
[48] AN ADAPTIVE PROLOG PROGRAMMING LANGUAGE WITH MACHINE LEARNING
Lu, Benjie
Liu, Zhiqing
Gao, Hui
2012 IEEE 2ND INTERNATIONAL CONFERENCE ON CLOUD COMPUTING AND INTELLIGENT SYSTEMS (CCIS) VOLS 1-3, 2012, : 21 - 24
[49] Multimedia abstract machine
Shih, TK
INFORMATION SCIENCES, 1998, 107 (1-4) : 63 - 84
[50] AN ABSTRACT MACHINE SIMULATOR
LEE, MC
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 438 : 129 - 141