Keyphrases
- logic programs
- logic programming
- update operators
- first order logic
- horn clauses
- statistical relational learning
- rewrite systems
- function symbols
- answer set programming
- declarative semantics
- inductive logic programming
- logic programming language
- machine learning
- general purpose
- special case
- data structure
- database systems