Parallel Prolog

Appeared in Volume 8/1, February 1995

redaelm@ghost.sm.dsi.unimi.it
Matteo Stefano Redaelli
27th October 1994

I'd like to implement a theorem proover using a parallel Prolog. Are there any free systems available?

fraber@cs.tu-berlin.de
Frank Bergmann
31st October 1994

There exists a free version of Brain Aid Prolog at ftp://unlisys.in-berlin.de/pub/brainaid and ftp://ftp.cs.cmu.edu/user/ai/lang/prolog/impl/parallel/bap/

Brain Aid Prolog is a "Coarse Grain" Prolog that supports a broad variety of parallel paradigms. It currently runs on INMOS and Parsytec Transputer maschines, hosted either by PC (MS-Windows and Linux) or SUN.

It provides a development environment, including a multi-process source level debugger. Sample applications include several parallel games, a toy world, and some natural language processing examples. A parallel knowledge representation system is currently under developement (a paper is available).

Please contact me if you are interested in further details.