Haskell and Scala translations of Truth Maintenance Systems and other tools from Forbus and de Kleer's Building Problem Solvers.
jphmrst
Intelligent Roadway Information System
mnit-rtmc
jphmrst
