Integrating Logic and Functional Programming.

Hassan Aït-Kaci Roger Nasr

Published in: LISP Symb. Comput. (1989)

Keyphrases

functional programming
functional language
object oriented programming
execution model
quantifier elimination
programming language
logic programming
modal logic
active rules
data model
response time
data management