On Rewrite Programs: Semantics and Relationship with Prolog.
Maria Paola BonacinaJieh HsiangPublished in: J. Log. Program. (1992)
Keyphrases
- logic programming
- prolog programs
- logic programs
- declarative semantics
- logic programming language
- answer sets
- stable model semantics
- expert systems
- stable models
- fixpoint
- control flow
- formal semantics
- dynamic logic
- semantically equivalent
- fixpoint semantics
- semantic information
- declarative programming
- knowledge base
- software engineering
- partial deduction
- semantics for logic programs
- database
- query rewriting
- horn clauses
- deductive databases
- knowledge representation
- artificial intelligence