HILOG: A High-Order Logic Programming Language for Non-1NF Deductive Databases.
Qiming ChenWesley W. ChuPublished in: DOOD (1989)
Keyphrases
- model checking
- high order
- deductive databases
- logic programming language
- logic programming
- declarative semantics
- logic programs
- higher order
- constraint logic programming
- answer set programming
- fixpoint
- low order
- disjunctive deductive databases
- nonmonotonic reasoning
- knowledge base
- semantic query optimization
- knowledge representation
- pairwise
- integrity constraints
- closed world assumption
- model theoretic
- programming language
- answer sets
- data model
- functional dependencies
- artificial intelligence
- default logic
- inference rules
- query evaluation
- stable models
- situation calculus
- lower order
- bayesian logistic regression
- constraint satisfaction
- graphical models
- databases