alpha-Prolog: A Logic Programming Language with Names, Binding and a-Equivalence.
James CheneyChristian UrbanPublished in: ICLP (2004)
Keyphrases
- logic programming language
- logic programming
- constraint logic programming
- inference rules
- situation calculus
- declarative semantics
- logic programs
- constraint solving
- relational databases
- answer sets
- named entities
- deductive databases
- constraint programming
- programming language
- general purpose
- supervised learning
- machine learning