Haskell and Scala translations of Truth Maintenance Systems and other tools from Forbus and de Kleer's Building Problem Solvers.
Why do you think that https://github.com/dgant/PurpleWave is a good alternative to bps
Haskell and Scala translations of Truth Maintenance Systems and other tools from Forbus and de Kleer's Building Problem Solvers.
Why do you think that https://github.com/dgant/PurpleWave is a good alternative to bps