Cu-Prolog
cu-Prolog, a.so known as simply "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.
Links & publications
- 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
- [http://www.cs.scranton.edu/~mccloske/courses/cmps344/prolog.dir/cup.pdf
Licence
- Open source software released under the ICOT Free Software Licence.
Authors
- Hirosi Tuda
- Kôiti Hasida
- Hidetosi Sirai