Monadic, Prompt Lazy Assertions in Haskell.

Olaf Chitil Frank Huch

Published in: APLAS (2007)

Keyphrases

functional programming
deductive databases
programming language
datalog programs
datalog queries
knowledge base
lazy learning
plagiarism detection
functional language
neural network
search engine
multiply sectioned bayesian networks
information retrieval
decision making
object oriented programming