An Evaluation Semantics for Narrowing-Based Functional Logic Languages.
Michael HanusSalvador LucasPublished in: J. Funct. Log. Program. (2001)
Keyphrases
- logic programming
- proof theory
- formal language
- expressive power
- sound and complete with respect
- nonmonotonic logics
- highly expressive
- epistemic logic
- sound and complete axiomatization
- propositional dynamic logic
- logical framework
- computational properties
- logical rules
- operational semantics
- model theoretic
- specification languages
- autoepistemic logic
- classical logic
- default reasoning
- language independent
- model checking
- semantic information