home *** CD-ROM | disk | FTP | other *** search
- 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...
-