Short: Basic propositional formulae in Scheme. Author: Gauthier Groult Architecture: m68k-amigaos Source: Fish collection An implementation of basic propositional formulae manipulation routines in Scheme (Scheme is available on disk 149). Uses only essential procedures so it should run under any Scheme.