Exploiting the Full Power of Logic Plus Functional Programming.

Pier Giorgio Bosco C. Cecchi Corrado Moiso

Published in: ICLP/SLP (1988)

Keyphrases

functional programming
programming language
functional language
execution model
quantifier elimination
object oriented programming
power consumption
logic programming
modal logic
general purpose
active rules