Nondeterminism and Unification in LogScheme: Integrating Logic and Functional Programming.

Erik Ruf Daniel Weise

Published in: FPCA (1989)

Keyphrases

functional programming
functional language
execution model
programming language
modal logic
logic programming
quantifier elimination
object oriented programming
situation calculus
software engineering
databases
general purpose
multi dimensional