Retractions in Comparing Prolog Semantics (Extended Abstract).
Arie de BruinErik P. de VinkPublished in: MFCS (1990)
Keyphrases
- extended abstract
- logic programming
- logic programming language
- semantically equivalent
- formal semantics
- expert systems
- semantic information
- knowledge representation
- constraint logic programming
- programming language
- graphical representation
- semantic representation
- logic programs
- knowledge base
- logical language
- databases
- speech acts
- real time
- programming paradigms
- default reasoning
- answer set programming
- theorem prover
- inference rules
- general purpose
- search algorithm
- high level
- machine learning
- data sets