Login / Signup
Logic and Functional Programming by Retractions.
Marco Bellia
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