/GETFOL

FOL Software Archaeology

Primary LanguageCommon Lisp

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