Jump to content

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.

Cookies help us deliver our services. By using our services, you agree to our use of cookies.