Keyphrases
- logic programming
- hash tables
- logic programs
- hash table
- hash functions
- answer set programming
- knowledge representation
- logic programming language
- locality sensitive hashing
- knowledge base
- programming language
- deductive databases
- default logic
- answer sets
- stable models
- indexing techniques
- database
- general purpose
- high level
- machine learning