Towards Lazy Evaluation, Sharing and Non-determinism in Resolution Based Functional Logic Languages.

Published in: FPCA (1993)

Keyphrases

lazy evaluation
functional programs
functional language
functional programming
programming language
bayesian decision problems
proof planning
logic programming
execution model
sort merge
object identity
software engineering
databases
modal logic
data types
logic programs
knowledge representation
xml documents