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