CS 344 Code

Please use the code below rather than code from other archives.  This will ensure that you have the most up-to-date versions of the software.  For example, we are converting it to run in case-sensitive versions of Common Lisp currently.

Utilities

bps-init.lsp contains a set of utilities that simplify loading multi-file systems.

CPS: Classical Problem Solver

• algebra.lsp
• boston.lsp
• cps.lsp
• match.lsp
• search.lsp
• simplify.lsp
• subways.lsp
• variants.lsp

TRE: Tiny Rule Engine

• tre.lsp
• tinter.lsp
• data.lsp
• rules.lsp
• unify.lsp
• treex1.lsp

FTRE: Fast Tiny Rule Engine

• ftre.lsp
• finter.lsp
• fdata.lsp
• frules.lsp
• unify.lsp
• funify.lsp
• fqueens.lsp
• fqrule.lsp
• fnd.lsp
• fnd-ex.lsp

JTRE: JTMS Tiny Rule Engine

• jtre.lsp
• jtms.lsp
• jtms-ex.lsp
• jinter.lsp
• jdata.lsp
• jrules.lsp
• unify.lsp
• funify.lsp
• jtest.lsp
• jqueens.lsp
• jqrule.lsp

JSAINT

• jsaint.lsp
• jsrules.lsp
• jsops.lsp
• match.lsp
• simplify.lsp

LTRE 

Zip archive of all files

• ltre.lsp
• ltms.lsp
• ltms-ex.lsp
• linter.lsp
• ldata.lsp
• lrules.lsp
• unify.lsp
• funify.lsp
• laccept.lsp
• indirect.lsp
• cwa.lsp
• setrule.lsp
• dds.lsp
• marx.lsp
• marxdata.lsp

TGizmo

· debug.lsp

· defs.lsp

· ex1.lsp

· ex2.lsp

· ex3.lsp

· ex4.lsp

· ex5.lsp

· ex6.lsp

· ex7.lsp

· ineqs.lsp

· laws.lsp

· mi.lsp

· mlang.lsp

· psvs.lsp

· resolve.lsp

· states.lsp

· tgizmo.lsp

· tnst.lsp

---

Last edited 2/14/08, by KDF
CS 344 Home Page