Login / Signup
Combinator Evaluation of Functional Programs with Logical Variables.
Göran Båge
Gary Lindstrom
Published in:
LISP Symb. Comput. (1990)
Keyphrases
</>
functional programs
term rewriting systems
search algorithm
functional language
lazy evaluation
databases
machine learning
artificial intelligence
software engineering