The first uses the packages LogicProgramming.m, Unify.m, Lisp.m, DAG.m . The second uses also the packages FSA.m, NIM.m, JurassicPark.m .
The packages are referred to be contained in some "electronic supplement" .
Does anybody know if they are available for download (and where, in that case) ? Better to know before trying to study the articles. Thanks.