Login / Signup
A Technique for Doing Lazy Evaluation in Logic.
Sanjai Narain
Published in:
J. Log. Program. (1986)
Keyphrases
</>
lazy evaluation
functional programs
sort merge
bayesian decision problems
modal logic
logic programs
logic programming
complex objects