A functional-logic library for wired.

Matthew Naylor Emil Axelsson Colin Runciman

Published in: Haskell (2007)

Keyphrases

wireless networks
logic programming
proof theory
predicate logic
functional analysis
information retrieval
modal logic
automated reasoning
multi valued
classical logic
computational properties
databases
machine learning
probabilistic logic
asynchronous circuits