On Implementing Prolog in Functional Programming.

Published in: SLP (1984)

Keyphrases

functional programming
programming language
execution model
functional language
quantifier elimination
object oriented programming
database
databases
query processing
multi dimensional
logic programming