Intrinsic reasoning about functional programs I: first order theories.

Published in: Ann. Pure Appl. Log. (2002)

Keyphrases

logic programming
functional programs
logic programs
theory revision
background knowledge
term rewriting systems
model theoretic
lazy evaluation
causal reasoning
first order logic
stochastic grammar
functional language
action theories
modal operators