I found by chance Maeder's public articles about Logic Programming with Mathematica at the following links: Logic Programming I: The Interpreter and Logic Programming II: Applications .

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.

  • 2
    $\begingroup$ It does say the packages work on Mathematica 2.2. That was a while ago... $\endgroup$ – bill s Feb 12 at 2:12
  • $\begingroup$ You could write to the editor of the Mathematica journal and ask. They might have a package, or write Roman Maeder himself, he is quite approachable. $\endgroup$ – user21 Feb 12 at 6:15

Got the answer at Wolfram Community

Quoting from WC:

It looks like they are available from the Mathematica Journal web site. I looked up the issue where the first article came from, and the electronic supplements are available via a link at the top. The second issue is here.

  • 6
    $\begingroup$ Please make the answer self-contained. Do not rely on an external source which may or may not be accessible in the future. $\endgroup$ – Szabolcs Feb 13 at 10:07
  • 1
    $\begingroup$ @Szabolcs you mean you don't trust WC to always be stable and function properly?! I'm shocked that anyone could think that a site that takes ~60s to load any page and which runs on a glitchy highly non-standard API could be less-than-trustworthy. $\endgroup$ – b3m2a1 Feb 14 at 4:40

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.