haskell@gentoo.org Gentoo Haskell Logic programming built on top of part of logict library, in particular for dealing with backtrackable state