This is the English download site for this Japanese implementation of Prolog for Solaris, HP-UX, Digital UNIX, Linux and 32-bit Windows environments.

Recursion-parallel Single Program, Multiple Data (SPMD) implementation; assumes one sequential worker and arbitrary, fixed number parallel workers, each worker is process, can have more workers than processors. Successor: High Performance Erlang. [Ope...

Versatile and efficient CLP system based on Prolog with extensions for programming concurrency, constraints and interactive graphics. Runs on: Windows 9x/NT/2000/XP, Linux, Mac, Solaris, HP-UX, FreeBSD, SonyNews, Aix. Free evaluation version is available.

With a compiler and interpreter written in Prolog, C and assembly language and representing a superset of Edinburgh Prolog, a programming environment is offered for Windows/NT.

Prolog with Features Inheritance, and Templates: Prolog extension with sorted feature structures (including multi-dimensional inheritance), finite domains, feature search, cyclic terms, templates.

Constraint Unification Prolog (CUP) developed by the Institute for New Generation Computer Technology (ICOT), Japan. Originally written in C under Unix, MacCup is for Macintosh, DJCup for MS-DOS, with both implementations released as free software.

Predecessor to GNU Prolog. Compiles Prolog via GCC 2.x