Oracle Semantics for Prolog.
Roberto BarbutiMichael CodishRoberto GiacobazziMichael J. MaherPublished in: ALP (1992)
Keyphrases
- logic programming
- logic programming language
- semantically equivalent
- expert systems
- oracle database
- semantic information
- logic programs
- formal semantics
- knowledge base
- semantic representation
- programming language
- deductive databases
- machine learning
- inference engine
- knowledge representation
- conceptual graphs
- operational semantics
- model theoretic
- constraint logic programming
- information systems
- data sets
- abstract machine