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

共 13 条

[1]

ARONSSON M, 1989, SICS R89002 SWED I C

[2]

ARONSSON M, 1989, SICS T89012 SWED I C

[3]

ERIKSSON LH, 1988, SICS R88013 SWED I C

[4]

FREDHOLM D, 1988, THESIS U STOCKH DEP

[5]

GABBAY DM, 1984, J LOGIC PROGRAMMING, V1

[6] FOUNDATION OF LOGIC PROGRAMMING BASED ON INDUCTIVE DEFINITION [J].

HAGIYA, M ;

SAKURAI, T .

NEW GENERATION COMPUTING, 1984, 2 (01) :59-77

[7]

HALLNAS L, 1987, WORKSHOP GENERAL LOG

[8]

HALLNAS L, 1987, SICS R88005 SWED I C

[9]

MILLER D, 1986, 1986 P S LOG PROGR

[10]

NAISH L, 1986, 3RD P INT C LOG PROG, P624

← 1 2 →