The source code for the example Small Lisp programs from the book Symbolic Computing with Lisp by R. D. Cameron and A. H. Dixon are provided here.
smlib: a tiny
library of miscellaneous functions used in the book, including
listfns.sl,
error2.sl,
assoc.sl,
and assocenv.sl.
math:
applications on the "algebraic expression" symbolic data domain,
including the files algexprs.adt,
deriv.sl,
and evalmath.sl.
propcalc:
applications on the "propositional calculus" symbolic data domain,
including the files
propcalc.adt,
evalform.sl,
proofs.adt,
and wang.sl.
s-lisp:
applications on the S-Lisp (Lisp-in-Lisp) symbolic data domain,
including the files
s-lisp.adt,
val-env.sl,
fn-env.sl,
apply.sl,
eval.sl,
and interprt.sl.
Also are included here are configuration files for several applications. (see Section 8.4 of the Small Lisp Reference Manual for information on configuration files).
deriv.cfg, the symbolic differentiator (Section 2.6 of the book).
wang.cfg, the Wang theorem prover (Section 5.3).
evalform.cfg, the evaluator for propositional calculus (Section 6.1).
evalmath.cfg, the evaluator for algebraic expressions (Section 6.2).
interprt.cfg, the Lisp-in-Lisp interpreter (Section 6.3).