1 <?xml version="1.0" encoding="UTF-8"?>
2 <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
4 <maintainer type="project">
5 <email>haskell@gentoo.org</email>
6 <name>Gentoo Haskell</name>
9 A continuation-based, backtracking, logic programming monad.
10 An adaptation of the two-continuation implementation found
11 in the paper "Backtracking, Interleaving, and Terminating
12 Monad Transformers" available here:
13 <http://okmij.org/ftp/papers/LogicT.pdf>
16 <remote-id type="github">Bodigrim/logict</remote-id>