A backtracking logic-programming monad
38.71 KB
built 2026-10-14 00:59:37 GMT
Description
A continuation-based, backtracking, logic programming monad.
An adaptation of the two-continuation implementation found
in the paper "Backtracking, Interleaving, and Terminating
Monad Transformers": <http://okmij.org/ftp/papers/LogicT.pdf>.
Dependencies
13 totalRequires11
- ghc-Cabal-devel
- ghc-async-devel
- ghc-base-devel
- ghc-exceptions-devel
- ghc-mtl-devel
- ghc-rpm-macros
- ghc-tasty-devel
- ghc-tasty-hunit-devel
- ghc-transformers-devel
- rpmlib(CompressedFileNames) <= 3.0.4-1
- rpmlib(FileDigests) <= 4.6.0-1
Provides2
- ghc-logict = 0.8.2.0-6.fc45
- ghc-logict-devel = 0.8.2.0-6.fc45
ObsoletesNo Obsoletes
ConflictsNo Conflicts
RecommendsNo Recommends
SuggestsNo Suggests
SupplementsNo Supplements
EnhancesNo Enhances
Files
2Name  |
Size |
|---|---|
| ghc-logict.spec | 9.98 KB |
| logict-0.8.2.0.tar.gz | 19.68 KB |
Files 1–2 of 2
Component of
buildroots that installed this RPMNo Buildroots