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).