Category:Logict
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.
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.