Cu-Prolog

cu-Prolog (CUP) is an open source implementation of a constraint Prolog system developed by the Institute for New Generation Computer Technology (ICOT) in Japan with the cooperation of University of Tokyo, Tamagawa University and Chukyo University. Designed for use on use on DOS and UNIX systems, it would compile on OS/2 but was never distributed in that form, more recent third party patches allow it to work with 64-bit versions for Microsoft Windows and UNIX like systems.

Links

 * Version 3.94 - In source code format only
 * Patches to make it compile on 64 bit UNIX and Windows versions
 * Archived versions 3.80 - For DOS and UNIX like operating systems
 * Hirosi Tuda, Kôiti Hasida, Hidetosi Sirai: JPSG Parser on Constraint Logic Programming
 * A Guide to Cup