README

These directories contain a public domain Prolog interpreter
called Small Prolog version 2, by Henri de Feraudy.

files:

README - this file

src/
	pp.c - simple pretty printer (compile apart).
	pralloc.c -allocate structures
	prassert.c - asserta etc... builtins
	pratari.c - Atari specific code
	pratari.mak - Atari makefile for Mark Williams C.
	prbltin.c - most builtins
	prbltin.h -include file for prbltin.c
	prcnsult.c - code for consult builtin
	prdebug.c - functions you might use for debugging
	prerror.c - error message functions
	prhash.c - build sybol table
	prlex.h - used bu prparse.c and prscan.c
	prlush.c - lush resolution algorithm
	prlush.h - include file for prlush.c
	prmain.c - starting point
	prolog.h - configuation switches
	prparse.c - parser
	prprint.c -printer
	prscan.c - lexical analysis
	prsun.c - unix specific code that worked on a Sun workstation.
	prtypes.h -type definitions
	prunify.c - recursive unification algorithm, dereferencing 
	makefile.tbc - makefile for Turbo C
	quickc.mak -makefile for Quick C
	zortech.mak -makefile for Zortech C
	makefile : one of the makefiles
	makefile.unx : a makefile for Sun OS 
	pratari.mak - a makefile for mark williams C on Atari.
	*.lnk - various link response files

	sprolog.inf - configuration file to override default memory consumption
	sprolog.ini - file of useful predicates loaded when starting up
 
doc/
	changes.91 - summary of recent changes
	prmanual.txt - sort of manual
	frmanual.txt - out of date French translation of prmanual.txt

examples/
	verif.spr - helps you find bugs in sprolog programs
	xread.spr - lets you read a list while retaining the variable names.
	help.spr - load this and type (help)
	exampl*.spr - example files that give you a taste of prolog.

junk/
	sprolog.exe - compiled for MS DOS
	sprolog.32e - a 32bit version for a 386 machine (gcc-386 used)
	go32.exe - a Dos extender needed to run sprolog.32e