1. |
|
|
2. |
- Aronsson, Martin, et al.
(författare)
-
The programming language GCLA: A definitional approach to logic programming
- 1989. - 1
-
Rapport (övrigt vetenskapligt/konstnärligt)abstract
- 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.
|
|
3. |
|
|
4. |
- Gäredal, Anette
(författare)
-
Knowledge acquisition procedures for diagnosis of performance problems
- 1990. - 1
-
Rapport (övrigt vetenskapligt/konstnärligt)abstract
- This report describes knowledge acquisition work, performed during a three months period, as part of a knowledge-based system project at IBM. The aim with the work was to develop knowledge acquisition procedures for diagnosis of a specific performance problem.
|
|