A Deterministic Operational Semantics for Functional Logic Programs.
Elvira AlbertMichael HanusFrank HuchJavier OliverGermán VidalPublished in: APPIA-GULP-PRODE (2002)
Keyphrases
- operational semantics
- logic programs
- declarative semantics
- model theoretic
- fixpoint semantics
- logic programming
- formal semantics
- fixpoint
- answer set programming
- stable models
- answer sets
- mental states
- computational properties
- normal logic programs
- strong equivalence
- data model
- partial deduction
- term rewriting systems
- stable model semantics
- speech acts
- inductive logic programming
- prolog programs
- autoepistemic logic
- horn clauses
- nonmonotonic reasoning
- black box
- expert systems
- high level
- artificial intelligence