Logic programming in LISP with controlled search (abstract only).
R. B. AbhyankarN. BaharamPublished in: ACM Conference on Computer Science (1987)
Keyphrases
- logic programming
- programming language
- logic programs
- knowledge representation
- nonmonotonic reasoning
- answer sets
- answer set programming
- deductive databases
- constraint logic programming
- logic programming language
- knowledge base
- computational logic
- inductive logic programming
- classical logic
- search strategies
- search space
- search algorithm
- knowledge representation and reasoning
- probabilistic reasoning
- stable models
- high level
- object oriented
- integrity constraints
- propositional variables