Title:			BINPROLOG
Author:			Paul Tarau (tarau@info.umoncton.ca)
Version:		3.30
Title From:		Documentation
Author From:		Documentation
Version From:		Documentation
Supplier:		Al Slater (ams@csd.abdn.ac.uk)
Date:			13/02/95
Keywords:		Programming languages
Shareware:		No
Machine:		Archimedes
Operating system:	RISCOS
Memory requirements:	1600 kbytes
Peripherals needed:	
Other s/ware needed:	
Directory:		micros/arch/riscos/d005
Date mounted/updated:	23/02/95
File names:		patchup3.arc
			patchup3.txt
			binprolog.arc
Unarchived files:	84
Unarchived size:	698 kbytes
Omissions:		
See also:		SB-PROLOG (a067)

-------------------------------------------------------------------------------

Acquiring the package:

Download the archive file(s) and extract using SparkPlug 2
(see the "tools_help" file in micros/arch/riscos/tools for further info).


Description:

BinProlog is a fast and small Prolog compiler, based on the transformation
of Prolog to binary clauses.  The compilation technique is similar to the
Continuation Passing Style transformation used in some ML implementations.
BinProlog is a fairly complete Prolog implementation featuring both C-emulated
execution and generation of standalone applications by compilation to C.

Features include:
* C-compatible floating point operations,
* dynamic code, intuitionistic and linear implication,
* efficient high-order programming builtins,
* logical and permanent global variables,
* backtrackable destructive assignment,
* circular term unification,
* extended DCGs (now built in the engine as `invisible grammars'),
* continuation manipulation primitives,
* a garbage-collected hashing based global dictionnary for constant-time
  sparse arrays and graphs,
  * a C-interface etc.

Patchup3 is a small patch which includes the standalone executable version
instead of the bytecode interpreter.  It should give a few more LIPS than
the previous version...