ENGLISH AS A LOGIC PROGRAMMING LANGUAGE

被引：5
|
作者：
KOWALSKI, R
机构：
来源：
NEW GENERATION COMPUTING | 1990年 / 8卷 / 02期
关键词：
D O I：
10.1007/BF03037468
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：91 / 93
页数：3
相关论文
共 50 条
  • [41] OPENLOG:: A logic programming language based on abduction
    Dávila, JA
    [J]. PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PROCEEDINGS, 1999, 1702 : 278 - 293
  • [42] DEBUGGER FOR A PARALLEL LOGIC PROGRAMMING LANGUAGE FLENG
    TATEMURA, J
    TANAKA, H
    [J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 485 : 87 - 96
  • [43] MSVL: a typed language for temporal logic programming
    Wang, Xiaobing
    Tian, Cong
    Duan, Zhenhua
    Zhao, Liang
    [J]. FRONTIERS OF COMPUTER SCIENCE, 2017, 11 (05) : 762 - 785
  • [44] {log}: A language for programming in logic with finite sets
    Dovier, A
    Omodeo, EG
    Pontelli, E
    Rossi, G
    [J]. JOURNAL OF LOGIC PROGRAMMING, 1996, 28 (01): : 1 - 44
  • [45] Efficient implementation of a Linear Logic programming language
    Hodas, JS
    Watkins, KM
    Tamura, N
    Kang, KS
    [J]. LOGIC PROGRAMMING - PROCEEDINGS OF THE 1998 JOINT INTERNATIONAL CONFERENCE AND SYMPOSIUM ON LOGIC PROGRAMMING, 1998, : 145 - 159
  • [46] SwitchLog: A Logic Programming Language for Network Switches
    Mehta, Vaibhav
    Loehr, Devon
    Sonchack, John
    Walker, David
    [J]. PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2023, 2023, 13880 : 180 - 196
  • [47] THE PROGRAM CHARACTERISTICS IN LOGIC PROGRAMMING LANGUAGE ESP
    YAMAMOTO, A
    MITSUI, M
    YOSHIDA, H
    YOKOTA, M
    NAKAJIMA, K
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 221 : 204 - 213
  • [48] Planning experiments in the DALI logic programming language
    Costantini, S
    Tocchio, A
    [J]. COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, 2004, 3259 : 89 - 107
  • [49] LPG - A GENERIC, LOGIC AND FUNCTIONAL PROGRAMMING LANGUAGE
    BERT, D
    DRABIK, P
    ECHAHED, R
    DECLERFAYT, O
    DEMEUSE, B
    SCHOBBENS, PY
    WAUTIER, F
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 300 : 376 - 377
  • [50] A new abstract logic programming language and its quantifier elimination method for disjunctive logic programming
    Stéphan, I
    [J]. ARTIFICIAL INTELLIGENCE: METHODOLOGY SYSTEMS AND APPLICATIONS, 1998, 1480 : 403 - 416
12345