An(other) Integration of Logic and Functional Programming.

Amitabh Srivastava Don Oxley Aditya Srivastava

Published in: SLP (1985)

Keyphrases

functional programming
functional language
programming language
execution model
quantifier elimination
logic programming
object oriented programming
data integration
database
data structure
software engineering
modal logic