CMU Artificial Intelligence Repository
MultiBinProlog: Linda-style Parallel extension to BinProlog
BinProlog replaces the WAM by a more compact continuation passing
logic engine based on a mapping of full Prolog to binary logic
programs. It includes an interface Tcl/Tk.
The compiler makes 528 KLIPS on a Sparc 10-40 (101 KLIPS on a NeXT)
and still uses a very small (49K under Solaris 2.1) emulator, making
it among the fastest freely available C-emulated Prologs (3-5 times
faster than C-Prolog, 2-3 times faster than SWI-prolog, 1.5-2 times
faster than (X)SB-prolog and close to C-emulated Sicstus 2.1.).
BinProlog's very small code-size and high performances make it
suitable to be integrated in industrial C-applications that need
the services of an embedded logic programming engine.
Multi-BinProlog 2.00 is a prototype Linda-style parallel extension to
BinProlog 1.71 developed by Koen De Bosschere and Paul Tarau. This
version uses Koen's C-parser and C-writer which together speed-up IO
considerably. It works with shared-memory and remote procedure calls.
BinProlog includes many examples, such as a VT100 implementation of
Tetris, a breadth-first meta-interpreter, an implementation of
backpropagation (neural nets), a CHAT parser, and implementations of
knight's tour and N-queens.
Version: 2.00 (10-JUN-93)
Requires: C, TCL 7.3, TK 3.6, addinput-3.6a
Ports: Sparc, DEC Alpha, MIPS (SGI, DEC), 68k (NeXT, Sun3),
R6000 (IBM), Solaris, and 386/486.
Copying: BinProlog 2.20 Copyright (c) 1992-93 Paul Tarau.
Multi-BinProlog 2.00 Copyright (c) 1992-93 Paul Tarau,
Copyright (c) 1993 Koen De Bosschere
Use and modification for research and other non-profit
purposes is permitted, provided the copyright notice is
See copying.txt for details.
Use in industrial applications, licensing of C-sources,
porting to other platforms, BinProlog related support and
consulting are available but need a separate agreement.
See pricing.txt, license.src, and license.bin for details.
CD-ROM: Prime Time Freeware for AI, Issue 1-1
Bug Reports: email@example.com
Author(s): Dr. Paul Tarau or
Dept. of Computer Science
Universite de Moncton
8-Queens, Authors!Tarau, Backpropagation, BinProlog,
Compilers!Prolog, Interpreters!Prolog, Knight's Tour,
Meta-Circular Interpreter!Prolog, MultiBinProlog, N-Queens,
Neural Networks, Parsing, Programming Languages!Prolog,
Prolog!IBM PC, Prolog!Implementations, Prolog!Parsing,
Prolog!UNIX, Tcl/Tk X11 Interface, Tetris
mbp/ MultiBinProlog 2.0
bp/ BinProlog 2.20
Papers related to the implementation are included in the distribution.
Last Web update on Mon Feb 13 10:34:54 1995