FOL Software Archaeology

This fork updates the code to run on Allegro Common Lisp and SBCL.

In addition, it strives to reproduce the results of the Prolegomena.

How to run

• mkdir -p o from project directory
• open alisp or sbcl from make directory
• (load "install.lsp")
• (MAKE-GETFOL)
• (SYSBOOT)
• fetch ../tst/TEST;
• fetch ../tst/LONGTEST;
• fetch ../tst/prolegomena/RUN;

Creating an executable

• sbcl --script boot.lsp from make directory will create a GETFOL executable