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 条
  • [1] A VERIFIED PROLOG COMPILER FOR THE WARREN ABSTRACT MACHINE
    RUSSINOFF, DM
    JOURNAL OF LOGIC PROGRAMMING, 1992, 13 (04): : 367 - 412
  • [2] A SEQUENTIAL ABSTRACT MACHINE FOR FLAT CONCURRENT PROLOG
    HOURI, A
    SHAPIRO, E
    JOURNAL OF LOGIC PROGRAMMING, 1989, 7 (02): : 85 - 123
  • [3] A PARALLEL PROLOG ABSTRACT MACHINE AND ITS MULTITRANSPUTER IMPLEMENTATION
    KACSUK, P
    COMPUTER JOURNAL, 1991, 34 (01): : 52 - 63
  • [4] AN ABSTRACT PROLOG MACHINE BASED ON PARALLEL RESOLUTION PRINCIPLE
    VLAHAVAS, I
    KEFALAS, P
    MICROPROCESSING AND MICROPROGRAMMING, 1992, 35 (1-5): : 755 - 762
  • [5] AN ABSTRACT MACHINE TO IMPLEMENT OR-AND PARALLEL PROLOG EFFICIENTLY
    DEKERGOMMEAUX, JC
    ROBERT, P
    JOURNAL OF LOGIC PROGRAMMING, 1990, 8 (03): : 249 - 264
  • [6] NOTES ON PROLOG PROGRAM TRANSFORMATIONS, PROLOG STYLE, AND EFFICIENT COMPILATION TO THE WARREN ABSTRACT MACHINE
    BUTLER, RM
    LOGANANTHARAJ, R
    OLSON, R
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 310 : 323 - 332
  • [7] A register-free abstract Prolog machine with jumbo instructions
    Zhou, Neng-Fa
    Logic Programming, Proceedings, 2007, 4670 : 455 - 457
  • [8] THE AND OR PARALLEL PROLOG MACHINE APIM - EXECUTION MODEL AND ABSTRACT DESIGN
    VLAHAVAS, I
    KEFALAS, P
    JOURNAL OF PROGRAMMING LANGUAGES, 1993, 1 (04): : 245 - 261
  • [9] SIMULATION OF ONE ABSTRACT COMPUTING MACHINE BY ANOTHER
    HERMAN, GT
    COMMUNICATIONS OF THE ACM, 1968, 11 (12) : 802 - &
  • [10] Abstract compilation of λProlog
    Malesieux, F
    Ridoux, O
    Boizumault, P
    LOGIC PROGRAMMING - PROCEEDINGS OF THE 1998 JOINT INTERNATIONAL CONFERENCE AND SYMPOSIUM ON LOGIC PROGRAMMING, 1998, : 130 - 144
12345