The witness properties and the semantics of the Prolog cut.
James H. AndrewsPublished in: Theory Pract. Log. Program. (2003)
Keyphrases
- logic programming
- programming language
- semantically equivalent
- semantic properties
- desirable properties
- logic programming language
- expert systems
- knowledge representation
- deductive databases
- formal semantics
- abstract machine
- databases
- argumentation semantics
- inference engine
- general purpose
- knowledge base
- learning algorithm
- machine learning