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 条
  • [21] TOKIO - LOGIC PROGRAMMING LANGUAGE BASED ON TEMPORAL LOGIC AND ITS COMPILATION TO PROLOG
    FUJITA, M
    KONO, S
    TANAKA, H
    MOTOOKA, T
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 695 - 709
  • [22] Non-Horn clause logic programming
    Nie, XM
    ARTIFICIAL INTELLIGENCE, 1997, 92 (1-2) : 243 - 258
  • [23] From PROLOG plus plus to PROLOG+CG: A CG object-oriented logic programming language
    Kabbaj, A
    Janta-Polczynski, M
    CONCEPTUAL STRUCTURES: LOGICAL, LINGUISTIC, AND COMPUTATIONAL ISSUES, PROCEEDINGS, 2000, 1867 : 540 - 554
  • [24] Temporal logic CTL + PROLOG
    Tang, Tong Gao, 1600, (05):
  • [25] LOGIC AND KNOWLEDGE REPRESENTATION IN PROLOG
    BUTRICK, R
    DR DOBBS JOURNAL, 1987, 12 (07): : 30 - &
  • [26] The Realization of Naive Bayes Algorithm in the Logic Programming Framework PROLOG
    Malov, Alexei
    Rodionov, Sergey
    Kholod, Ivan
    PROCEEDINGS OF THE 2016 IEEE NORTH WEST RUSSIA SECTION YOUNG RESEARCHERS IN ELECTRICAL AND ELECTRONIC ENGINEERING CONFERENCE (ELCONRUSNW), 2016, : 273 - 276
  • [27] Analysis and diagnosis of logic circuits using programming language PROLOG
    Lyulkin, AE
    AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1997, (04): : 42 - 51
  • [28] Description Logic reasoning in Prolog
    Lukacsy, Gergely
    LOGIC PROGRAMMING, PROCEEDINGS, 2006, 4079 : 463 - 464
  • [29] LOGIC AND RECURSION - THE PROLOG TWIST
    HEINES, JM
    BRIGGS, J
    ENNALS, R
    CREATIVE COMPUTING, 1983, 9 (11): : 220 - &
  • [30] SOFTWARE FORMAL SPECIFICATION BY LOGIC PROGRAMMING - THE EXAMPLE OF STANDARD PROLOG
    EDDBALI, A
    DERANSART, P
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 636 : 278 - 287
12345