Bridging the gap between logic and functional programming (Panel Abstract).

Published in: ILPS (1995)

Keyphrases

functional programming
functional language
execution model
programming language
quantifier elimination
object oriented programming
modal logic
logic programming
artificial intelligence
business process
active rules
abstract data types
database
databases
knowledge base
high level