Logic and Functional Programming by Retractions.

Published in: RAIRO Theor. Informatics Appl. (1988)

Keyphrases

functional programming
programming language
functional language
execution model
quantifier elimination
object oriented programming
logic programming
modal logic
artificial intelligence
query language
object oriented
distributed databases
active rules
digital topology