A monadic semantics for core Curry.

Andrew P. Tolmach Sergio Antoy

Published in: Electron. Notes Theor. Comput. Sci. (2003)

Keyphrases

logic programming
deductive databases
formal semantics
datalog queries
expert systems
semantic information
databases
query answering
semantic relationships
model theoretic
database
schema mappings
default reasoning
query containment