A SURVEY OF CONTROL FACILITIES IN LOGIC PROGRAMMING

被引：0
|
作者：
VASAK, T [1 ]
机构：
[1] UNIV NEW S WALES,DEPT COMP SCI,KENSINGTON,NSW 2033,AUSTRALIA
来源：
AUSTRALIAN COMPUTER JOURNAL | 1986年 / 18卷 / 03期
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：136 / 145
页数：10
相关论文
共 50 条
  • [1] LOGIC PROGRAMMING AND NEGATION - A SURVEY
    APT, KR
    BOL, RN
    JOURNAL OF LOGIC PROGRAMMING, 1994, 20 (1-3): : 9 - 71
  • [2] LOGIC META-PROGRAMMING FACILITIES IN LOG
    CERVESATO, I
    ROSSI, GF
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 649 : 148 - 161
  • [3] A Survey on Inductive Logic Programming
    Dai W.
    Zhou Z.
    Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2019, 56 (01): : 138 - 154
  • [4] CONSTRAINT LOGIC PROGRAMMING - A SURVEY
    JAFFAR, J
    MAHER, MJ
    JOURNAL OF LOGIC PROGRAMMING, 1994, 20 : 503 - 581
  • [5] EXTENDING A RELATIONAL DATABASE WITH LOGIC PROGRAMMING FACILITIES
    VANEMDEBOASLUBSEN, H
    BOAS, PV
    DOEDENS, CFJ
    JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) : 857 - 858
  • [6] PARALLEL PROGRAMMING WITH LOGIC LANGUAGES - A SURVEY
    CIANCARINI, P
    COMPUTER LANGUAGES, 1992, 17 (04): : 213 - 239
  • [7] Disjunctive logic programming: A survey and assessment
    Minker, J
    Seipel, D
    COMPUTATIONAL LOGIC: LOGIC PROGRAMMING AND BEYOND, PT I: ESSAYS IN HONOUR OF ROBERT A KOWALSKI, 2002, 2407 : 472 - 511
  • [8] Fixpoint semantics for logic programming a survey
    Fitting, M
    THEORETICAL COMPUTER SCIENCE, 2002, 278 (1-2) : 25 - 51
  • [9] LOGIC FOR ROBOT PROGRAMMING AND CONTROL
    GREEF, AR
    REINECKE, R
    SOUTH AFRICAN JOURNAL OF PHILOSOPHY-SUID-AFRIKAANSE TYDSKRIF VIR WYSBEGEERTE, 1988, 7 (02): : 118 - 122
  • [10] A survey on inductive logic programming learning algorithm
    Li, Yanjuan
    Zhang, Guangling
    International Journal of Advancements in Computing Technology, 2012, 4 (23) : 25 - 33
12345