/pub/prolog:

Compilers	Directory containing Prolog compilers for various machines

dprolog.zip	An extension of Prolog implementing defeasible reasoning.
                Contains a Quintus Prolog version.

dprolog.tar.Z   Same as dprolog.zip, but in tar format. For UNIX.

draw.pl		Utility to draw tree-like representations of structures
		such as s(np(d(the),n(dog)),vp(v(barked))).
		Requires Quintus Prolog library.

eliza.pl	Prolog version of Weizenbaum's ELIZA program.
		Requires Quintus Prolog.

eliza.ari	Same as eliza.pl, but in Arity Prolog.

gulp.pl		Prolog preprocessor for unification-based grammar.
		See appropriate U. of Georgia research report.
		Quintus Prolog version, convertible to Arity Prolog
		with simple editing changes.
		For documentation see file ai198901.txt in ai.reports.

gulp3.pl        Newer GULP for LPA Prolog and Quintus Prolog.
                See AI-1994-06 in ai.reports.

gulp3swi.pl     Latest GULP (2005) for SWI-Prolog version 5.2.

gulp3swi-old.pl	GULP (2003) for SWI-Prolog version 5.1.


mike1.exe	"Knowledge Engineering Toolkit" by Mike Eisenstadt
mike2.exe	and Mike Brayshaw, BYTE, October 1990.
		Download both files (using binary transfer!)
		and execute them to unpack. For IBM PC.

mike1.tar.Z	Same as mike1.exe, but in tar format. For UNIX.
mike2.tar.Z	Same as mike2.exe, but in tar format. For UNIX.

protest.zip     PROlog TESTer, a program that finds some kinds of
		typing errors in Prolog programs.  DOS/Windows executable,
		with Pascal source.

summers.exe	"ES: A Public Domain Expert System" by Eric Summers,
		BYTE, October 1990. Download (with binary transfer!)
		and execute to unpack. For IBM PC.

summers.tar.Z	Same as summers.exe, but in tar format. For UNIX.