THE PROGRAMMING LANGUAGE GCLA - A DEFINITIONAL APPROACH TO LOGIC PROGRAMMING

被引：8
|
作者：
ARONSSON, M
ERIKSSON, LH
GAREDAL, A
HALLNAS, L
OLIN, P
机构：
[1] Swedish Institute of Computer Science (SICS), Kista, S-164 28
来源：
NEW GENERATION COMPUTING | 1990年 / 7卷 / 04期
关键词：
Hypothetical reasoning; Knowledge based systems languages; Logic and functional programming; Logic programming languages; Partial inductive definitions;
D O I：
10.1007/BF03037453
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
We present a logic programming language, GCLA*** (Generalized horn Clause LAnguage), that is based on a generalization of Prolog. This generalization is unusual in that it takes a quite different view of the meaning of a logic program-a "definitional" view rather than the traditional logical view. GCLA has a number of noteworthy properties, for instance hypothetical and non-monotonic reasoning. This makes implementation of reasoning in knowledge-based systems more direct in GCLA than in Prolog. GCLA is also general enough to incorporate functional programming as a special case. GCLA and its syntax and semantics are described. The use of various language constructs are illustrated with several examples. © 1990 Ohmsha, Ltd. and Springer.
引用
收藏
页码：381 / 404
页数：24
相关论文
共 50 条
  • [1] THE GCLA-II PROGRAMMING LANGUAGE
    ARONSSON, M
    ERIKSSON, LH
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 567 : 399 - 401
  • [2] GCLA - GENERALIZED HORN CLAUSES AS A PROGRAMMING LANGUAGE
    ARONSSON, M
    ERIKSSON, LH
    GAREDAL, A
    HALLNAS, L
    OLIN, P
    SCANDINAVIAN CONFERENCE ON ARTIFICIAL INTELLIGENCE - 89, 1989, : 873 - 887
  • [3] GCLA-II - A DEFINITIONAL APPROACH TO CONTROL
    KREUGER, P
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 596 : 239 - 297
  • [4] AN APPROACH TO NATURAL-LANGUAGE SEMANTICS IN LOGIC PROGRAMMING
    SAINTDIZIER, P
    JOURNAL OF LOGIC PROGRAMMING, 1986, 3 (04): : 329 - 356
  • [5] TEMPORAL LOGIC PROGRAMMING LANGUAGE TOKIO PROGRAMMING IN TOKIO
    AOYAGI, T
    FUJITA, M
    MOTOOKA, T
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 221 : 128 - 137
  • [6] Formal verification of a programming logic for a distributed programming language
    Zhang, C
    Olsson, RA
    Levitt, KN
    THEORETICAL COMPUTER SCIENCE, 1999, 216 (1-2) : 213 - 235
  • [7] ENGLISH AS A LOGIC PROGRAMMING LANGUAGE
    KOWALSKI, R
    NEW GENERATION COMPUTING, 1990, 8 (02) : 91 - 93
  • [8] Logic programming and natural language
    Schmuller, Joseph
    PC AI Intelligent Solutions for Desktop Computers, 1995, 9 (06):
  • [9] A visual logic programming language
    Puigsegur, J
    Agusti, J
    Robertson, D
    IEEE SYMPOSIUM ON VISUAL LANGUAGES, PROCEEDINGS, 1996, : 214 - 221
  • [10] METHODOLOGY AND PROGRAMMING TECHNIQUES IN GCLA-II
    ARONSSON, M
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 596 : 1 - 44
12345