Static Analysis of Linear Logic Programming.
Jean-Marc AndreoliRemo PareschiTiziana CastagnettiPublished in: New Gener. Comput. (1997)
Keyphrases
- logic programming
- static analysis
- logic programs
- dynamic analysis
- knowledge representation
- deductive databases
- source code
- answer set programming
- nonmonotonic reasoning
- logic programming language
- programming language
- knowledge base
- computational logic
- answer sets
- constraint logic programming
- stable models
- regular expressions
- inductive logic programming
- classical first order logic
- test suite
- reasoning about actions
- default logic
- fixpoint
- general purpose
- data model
- defeasible argumentation
- training data