Prolog II+

A Prolog toolkit primarily developed by Alain Colmerauer who was the main inventor of the Prolog language in the early 70's. It features a number of additions to the language including constraint programming functions, the handling of infinite trees, extended program execution control structures (freeze) and support for PM programming. The toolkit came with a sophisticated development environment including a compiler, interpreter, an incremental garbage collector, a debugger and linker.

An unusual feature of the system is that it uses a Pascal based p-code and can generate Pascal output code if you want to integrate it into your Pasac project.

The system was also available for a number of other operating systems, including a number of UNIX system, Microsoft Windows, the Mac and DOS, the DOS version was considerably older and while it had all the same language features as those for other systems it lacked all the more advanced graphics programming and interaction features. There were also some custom versions delivered that targeted embedded systems and so on.

Version

Last known Windows, Mac and UNIX version: Prolog II+ v4.7 (2000)

Links

• A link to the freeware release of the Prolog II+
• Prolog II+ for Unix manual - In French

License

Discontinued commercial software, the Windows version of Prolog II+ is now freeware.

Publisher

• PrologIA

Publications

• PrologIA announces the immediate availability of the Prolog II+ compiler under OS/2-P.M. (August 1993).