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, and earlier not fully compatible systems existed for sundry home computers in the 80's including the Apple II.
Version
Last known Windows, Mac and UNIX version: Prolog II+ v4.7 (2000)
Links
- Prolog Heritage - Has Prolog II/III downloads, documentation and a bit of background.
- A link to the MS Windows freeware release of the Prolog II+
- Mac and UNIX versions
- Prolog II+ for Unix manual - In French
License
Discontinued commercial software, the Windows, Mac and UNIX versions of Prolog II+ is now freeware.
Publisher
- PrologIA