The programming language GCLA - A definitional approach to logic programming.
Martin AronssonLars-Henrik ErikssonAnette GäredalLars HallnäsPeter OlinPublished in: New Gener. Comput. (1990)
Keyphrases
- programming language
- logic programming
- object oriented
- nonmonotonic reasoning
- general purpose
- answer set programming
- deductive databases
- software engineering
- high level
- logic programming language
- denotational semantics
- answer sets
- default logic
- reasoning about actions
- knowledge representation and reasoning
- computational logic
- strongly typed
- object oriented programming
- fixpoint
- functional programming
- horn clause logic
- constraint logic programming
- stable models
- inductive logic programming
- data types
- logic programs