/small-prolog-walnut-creek-original

From https://archive.org/details/C_Users_Group_Library_Walnut_Creek_August_1994 (Henri de Feraudy's small prolog)

Primary LanguageC

These diskettes contain a public domain Prolog interpreter
called Small Prolog version 2.
In the USA the C User's Journal will have the latest releases.

It has been compiled on an PC clone, on UNIX  and on an Atari ST.


The files concerned are:
Disk 1 (Sources)
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
old_prj.tbc - an old style Turbo C project file
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
 
Disk 2 (Docs & executables)
---------------------------

prmanual.txt - sort of manual
frmanual.txt - out of date French translation of prmanual.txt
sprolog.exe - compiled for MS DOS
sprolog.32e - a 32bit version for a 386 machine (gcc-386 used)
sprolog.inf - configuration file to override default memory consumption
sprolog.ini - file of useful predicates loaded when starting up
go32.exe - a Dos extender needed to run sprolog.32e
pp.exe - a simple Small Prolog pretty-printer

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.
changes.91 - summary of recent changes