Functional logic overloading.

Matthias Neubauer Peter Thiemann Martin Gasbichler Michael Sperber

Published in: POPL (2002)

Keyphrases

logic programming
artificial intelligence
classical logic
modal logic
databases
asynchronous circuits
expressive power
predicate logic
logic programs
case study
machine learning
database
relational databases
logical framework
computational properties
genetic algorithm
deontic logic
proof theory