A Formal View of Specification, Deductive Synthesis and Transformation of Logic Programs.
Kung-Kiu LauMario OrnaghiPublished in: LOPSTR (1993)
Keyphrases
- logic programs
- functional programs
- term rewriting systems
- logic programming
- model theoretic
- fixpoint
- formal specification
- answer sets
- answer set programming
- partial deduction
- normal logic programs
- inductive logic programming
- stable models
- background knowledge
- logic program updates
- functional language
- operational semantics
- computational properties
- stable model semantics
- transformation rules
- deductive databases
- high level
- minimal models
- nonmonotonic reasoning