CLPKIDS: A Program Analysis System for Concurrent Logic Programs.
Jianjun ZhaoJingde ChengKazuo UshijimaPublished in: COMPSAC (2001)
Keyphrases
- logic programs
- logic programming
- answer set programming
- stable models
- fixpoint
- answer sets
- normal logic programs
- background knowledge
- partial deduction
- inductive logic programming
- prolog programs
- computational properties
- functional programs
- software engineering
- object oriented
- stable model semantics
- expert systems
- declarative semantics
- strong equivalence
- recursive programs
- artificial intelligence