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/mehmetkahya0/AI-Catalog 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/mehmetkahya0/AI-Catalog is a good alternative to bps