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 64bit versions for Microsoft Windows and UNIX like systems.

Licence

• Open source software released under the ICOT Free Software Licence.

Authors

• Hirosi Tuda
• Kôiti Hasida
• Hidetosi Sirai

Links

• Version 3.94 - In source code format only
  • Alternate location for v3.94
• 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