Continuation Semantics for PROLOG with Cut.
Arie de BruinErik P. de VinkPublished in: TAPSOFT, Vol.1 (1989)
Keyphrases
- logic programming
- logic programming language
- semantically equivalent
- programming language
- formal semantics
- expert systems
- logic programs
- semantic information
- knowledge representation
- knowledge base
- website
- general purpose
- databases
- temporal logic
- default reasoning
- information systems
- owl ontologies
- artificial intelligence
- machine learning