BPS: Translations of classic Truth Maintenance Systems
Haskell monad transformer-based translations of two classic Truth Maintenance System algorithms of Forbus and de Kleer's Building Problem Solvers. This version includes justification-based and assumption-based TMS (JTMS and ATMS) implementations. See the GitHub repository https://github.com/jphmrst/bps/, or the Haddock documentation.
[Skip to Readme]
Modules
- Data
- TMS
- ATMS
- Data.TMS.ATMS.ATMST
- Data.TMS.ChooseDebugging
- Data.TMS.Dbg
- Data.TMS.Formatters
- Data.TMS.Helpers
- Data.TMS.JTMS
- Data.TMS.MList
- ATMS
- TMS
Downloads
- BPS-0.1.1.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
| Versions [RSS] | 0.1.0.0, 0.1.1.0 |
|---|---|
| Change log | CHANGELOG.md |
| Dependencies | base (>=4.14.1 && <4.15 || >=4.15.1 && <4.16 || >=4.16.0 && <4.17), BPS, extra (>=1.7 && <1.8), free, MonadRandom, mtl (>=2.2.2 && <2.3), resourcet, STMonadTrans (>=0.4.6 && <0.5), symbol (>=0.2.4 && <0.3), template-haskell, transformers (>=0.5.6 && <0.6) [details] |
| License | GPL-3.0-only |
| Copyright | 2022 John Maraist; 1986-1993 Kenneth D. Forbus, Johan de Kleer and Xerox Corporation |
| Author | John Maraist |
| Maintainer | haskell-tms@maraist.org |
| Category | Truth maintenance |
| Home page | https://github.com/jphmrst/bps#readme |
| Bug tracker | https://github.com/jphmrst/bps/issues |
| Source repo | head: git clone https://github.com/jphmrst/bps |
| Uploaded | by jpmrst at 2022-09-13T19:21:15Z |
| Distributions | |
| Executables | hbps_profile, hbps |
| Downloads | 218 total (4 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs not available [build log] All reported builds failed as of 2022-09-13 [all 2 reports] |