Appeared in Volume 8/1, February 1995
Matteo Stefano Redaelli
27th October 1994
I'd like to implement a theorem proover using a parallel Prolog. Are there any free systems available?
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.