Lazy Evaluation in Logic.

Published in: PLILP (1991)

Keyphrases

lazy evaluation
functional programs
bayesian decision problems
sort merge
modal logic
logic programs
logic programming
general purpose
data model
multi dimensional
inference rules