An Approach to Declarative Programming Based on a Rewriting Logic.
Juan Carlos González MorenoMaria Teresa Hortalá-GonzálezFrancisco Javier López-FraguasMario Rodríguez-ArtalejoPublished in: J. Log. Program. (1999)
Keyphrases
- declarative programming
- logic programming
- answer set programming
- logic programs
- modal logic
- artificial intelligence
- machine learning
- databases
- answer sets
- nonmonotonic reasoning
- programming language
- query language
- knowledge base
- conjunctive queries
- query rewriting
- computational properties
- rewrite rules
- stable model semantics