Keyphrases
- logic programming
- expert systems
- abstract machine
- programming language
- prolog programs
- logic programming language
- hamming distance
- bag of words
- knowledge base
- constraint logic programming
- error detection
- knowledge representation
- database systems
- theorem proving
- error correction
- inference engine
- horn clauses
- multiscale
- image processing
- semantically equivalent
- machine learning