CR-Prolog with Ordered Disjunction.
Marcello BalducciniVeena S. MellarkodPublished in: Answer Set Programming (2003)
Keyphrases
- semantics of logic programs
- logic programming
- expert systems
- logic programs
- programming language
- knowledge representation
- prolog programs
- knowledge base
- answer sets
- theorem proving
- inference engine
- logic programming language
- artificial intelligence
- real time
- deductive databases
- abstract machine
- databases
- information retrieval