Debian logoDebian Screenshots >


Backtracking logic-programming monad; profiling libraries


It is a continuation-based, backtracking, logic programming monad. An adaptation of the two-continuation implementation found in the paper Backtracking, Interleaving, and Terminating Monad Transformers available here:

This package provides a library for the Haskell programming language, compiled for profiling. See for more information on Haskell.

Upload more screenshots

Please help extend the collection of screenshots. Just make a screenshot and upload it here. You don't need to register or anything.



31 other people were interested in this package here. The newest known version of this software is (Information last updated 1 day ago.)