Prolog II+: Difference between revisions

Revision as of 03:41, 6 June 2016

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 Pascal project, in later versions the p-machine is replaced with a runtime written in C and gains a C interface.

The system was also available for a number of other operating systems, including a number of UNIX system, Microsoft Windows, the Apple Macintosh 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. Later versions of the system gained features such as Java bindings.

Version

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

Links

Prolog Heritage - Has Prolog II/III/IV 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
PRINCE - An old EU project that sought tho research how to modify and extend Prolog II+ to better intergrate with financial services and industry.

Licence

Discontinued commercial software, the Windows, Mac and UNIX versions 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).

@@ Line 1: / Line 1: @@
 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 Pascal project, in later versions the p-machine is replaced with a runtime written in [[C]].
+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 Pascal project, in later versions the p-machine is replaced with a runtime written in [[C]] and gains a C interface.
 The system was also available for a number of other operating systems, including a number of [[UNIX]] system, [[Microsoft Windows]], the [[Apple Macintosh]] 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. Later versions of the system gained features such as [[Java]] bindings.
@@ Line 13: / Line 13: @@
 * [http://www.dil.univ-mrs.fr/~jfp/prologII+/ Mac and UNIX versions]
 * [http://www.dil.univ-mrs.fr/~jfp/prologII+/Man_PII+_Unix_fr.html Prolog II+ for Unix manual] - In French
+* [https://cliplab.org/Projects/PRINCE/prince.html PRINCE] - An old EU project that sought tho research how to modify and extend Prolog II+ to better intergrate with financial services and industry.
 ==Licence==