Aronsson, Martin and Eriksson, Lars-Henrik and Gäredal, Anette and Hallnäs, Lars and Olin, Peter (1989) The programming language GCLA: A definitional approach to logic programming. [SICS Report]
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.
|Item Type:||SICS Report|
|Additional Information:||Revised version of R89005. Original report number R89005B.|
|Deposited By:||Vicki Carleson|
|Deposited On:||28 Sep 2009|
|Last Modified:||18 Nov 2009 16:10|
Repository Staff Only: item control page