Login / Signup
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