Category:Logict

From Rosetta Code
Library
This is an example of a library. You may see a list of other libraries used on Rosetta Code at Category:Solutions by Library.

A continuation-based, backtracking, logic programming monad. Gives some capabilities of logic-oriented languages. The library is GHC-specific.

This category currently contains no pages or media.