Oracle Semantics for Prolog.
Roberto BarbutiMichael CodishRoberto GiacobazziMichael J. MaherPublished in: Inf. Comput. (1995)
Keyphrases
- logic programming
- logic programming language
- semantically equivalent
- logic programs
- programming language
- knowledge base
- expert systems
- formal semantics
- high level
- knowledge representation
- neural network
- oracle database
- prolog programs
- database
- speech acts
- database administration
- argumentation semantics
- graphical representation
- answer sets
- metadata
- artificial intelligence
- learning algorithm
- databases