Adapting functional programs to higher order logic.

Scott Owens Konrad Slind

Published in: High. Order Symb. Comput. (2008)

Keyphrases

higher order logic
functional programs
higher order
term rewriting systems
theorem prover
conditional logic
logic programs
lazy evaluation
logical framework
functional language
stochastic grammar
default reasoning
data representation
functional programming
machine learning
general purpose
proof planning
modal logic