Building Problem Solvers

Source Code for Programs

Select one of the following files to browse through:

General utilities
- loader.lisp
- lst.lisp
Classical problem solver (CPS) with examples
Tiny rule engine (TRE) with examples
Faster Tiny Rule Engine (FTRE) with examples
Justification based truth maintainence system (JTMS), inference engine and examples, including a symbolic integration system
Logic based truth maintainance system (LTMS), inference engine and examples
- cltms.lisp
- cwa.lisp
- dds.lisp
- funify.lisp
- indirect.lisp
- laccept.lisp
- ldata.lisp
- linter.lisp
- lrules.lisp
- ltms-ex.lisp
- ltms.lisp
- ltre.lisp
- setrule.lisp
- unify.lisp
- marx.lisp Simple application of dependency-directed search to solving constraint satisfaction problems for variables that range over finite domains.
- marxdata.lisp Data for identifying the Marx Brothers
A tiny implementation of qualitative process theory (TGIZMO) with examples
Assumption based truth maintainance system(ATMS), inference engine, planner and examples
Constraint language (TCON) and examples
General Diagnostic Engine (GDE), ATMS based constraint language and examples
Symbolic relaxation system (RELAX) and examples