The YAP Prolog system.
Vítor Santos CostaRicardo RochaLuís DamasPublished in: Theory Pract. Log. Program. (2012)
Keyphrases
- logic programming
- prolog programs
- abstract machine
- expert systems
- knowledge representation
- programming language
- inference engine
- constraint logic programming
- knowledge base
- artificial intelligence
- logic programs
- theorem proving
- logic programming language
- computational complexity
- information retrieval
- backward chaining
- data sets
- semantically equivalent
- existentially quantified
- real time