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] A RISC PROLOG MACHINE ARCHITECTURE
    VLAHAVAS, J
    HALATSIS, C
    MICROPROCESSING AND MICROPROGRAMMING, 1987, 21 (1-5): : 259 - 266
  • [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] SPECIALIZATION OF PROLOG AND FCP PROGRAMS USING ABSTRACT INTERPRETATION
    GALLAGHER, J
    CODISH, M
    SHAPIRO, E
    NEW GENERATION COMPUTING, 1988, 6 (2-3) : 159 - 186
  • [35] 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
  • [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
    Orsini, Francesco
    Frasconi, Paolo
    De Raedt, Luc
    MACHINE LEARNING, 2017, 106 (12) : 1933 - 1969
  • [38] kProbLog: an algebraic Prolog for machine learning
    Francesco Orsini
    Paolo Frasconi
    Luc De Raedt
    Machine Learning, 2017, 106 : 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
12345