Towards a Logical Semantics for Pure Prolog.
Roberto BarbutiNicoletta De FrancescoPaolo MancarellaAntonella SantonePublished in: Sci. Comput. Program. (1998)
Keyphrases
- logic programming
- logical properties
- logic programming language
- logical language
- model theoretic
- semantically equivalent
- programming language
- logic programs
- formal semantics
- dynamic logic
- logical rules
- logical framework
- knowledge representation
- semantic information
- probabilistic knowledge
- denotational semantics
- predicate calculus
- logical representation
- default reasoning
- operational semantics
- theorem proving
- knowledge base
- genetic algorithm
- constraint logic programming
- data sets
- default logic
- inference rules
- conceptual model
- description logics
- software engineering
- expert systems