BPS (hackage): 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.
Keywords: gpl|library|program|truth-maintenance|ai|ai-algorithms|artificial-intelligence|artificial-intelligence-algorithms|atms|building-problem-solvers|forbus-dekleer|jtms|scala|search|tms