SPECIALIZATION IN LOGIC PROGRAMMING - FROM HORN CLAUSE LOGIC TO PROLOG AND CONCURRENT PROLOG

被引：0
|
作者：
KOK, JN
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1990年 / 430卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：401 / 413
页数：13
相关论文
共 50 条
  • [31] HIGH-PERFORMANCE LOGIC PROGRAMMING WITH THE AQUARIUS PROLOG COMPILER
    VANROY, P
    DESPAIN, AM
    COMPUTER, 1992, 25 (01) : 54 - 68
  • [32] Analysis and diagnosis of logic circuits using programming language PROLOG
    Lyul'kin, A.E.
    Avtomatika i Vychislitel'naya Tekhnika, (04): : 42 - 51
  • [33] On the Complexities of Non-Horn Clause Logic Programming
    聂旭民
    Journal of Computer Science and Technology, 1992, (02) : 114 - 122
  • [34] TOWARD INTEGRATING IMPERATIVE AND LOGIC PROGRAMMING PARADIGMS - A WYSIWYG APPROACH TO PROLOG PROGRAMMING
    DELRIEUX, C
    AZERO, P
    TOHME, F
    SIGPLAN NOTICES, 1991, 26 (03): : 35 - 44
  • [35] OBJECT ORIENTED PROGRAMMING IN CONCURRENT PROLOG
    SHAPIRO, E
    TAKEUCHI, A
    NEW GENERATION COMPUTING, 1983, 1 (01) : 25 - 48
  • [36] Logic Programming with Graph Automorphism: Integrating nauty with Prolog (Tool Description)
    Frank, Michael
    Codish, Michael
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2016, 16 : 688 - 702
  • [37] REASONING ABOUT PROTEIN TOPOLOGY USING THE LOGIC PROGRAMMING LANGUAGE PROLOG
    STERNBERG, MJE
    TAYLOR, WR
    NYAKAIRU, J
    FOX, JP
    RAWLINGS, CR
    JOURNAL OF MOLECULAR GRAPHICS, 1985, 3 (03): : 108 - 109
  • [38] FPL - FUNCTIONAL PLUS LOGIC PROGRAMMING - AN INTEGRATION OF THE FP AND PROLOG LANGUAGES
    LICHTENSTEIN, N
    KAPLAN, S
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 516 : 287 - 294
  • [39] REASONING ABOUT PROTEIN TOPOLOGY USING THE LOGIC PROGRAMMING LANGUAGE PROLOG
    RAWLINGS, CJ
    TAYLOR, WR
    NYAKAIRU, J
    FOX, J
    STERNBERG, MJE
    JOURNAL OF MOLECULAR GRAPHICS, 1985, 3 (04): : 151 - 157
  • [40] Compiling Prolog to Logic Virtual Machine
    Wang, YF
    Li, XN
    UNIVERSITY AND INDUSTRY - PARTNERS IN SUCCESS, CONFERENCE PROCEEDINGS VOLS 1-2, 1998, : 317 - 320
12345