Cu-Prolog: Difference between revisions
Appearance
No edit summary |
mNo edit summary |
||
Line 3: | Line 3: | ||
|Name=cu-Prolog | |Name=cu-Prolog | ||
|Version=3.94 (Jan 1996) | |Version=3.94 (Jan 1996) | ||
|Vendor= | |Vendor=ICOT | ||
|Author=Hirosi Tuda<br/>Kôiti Hasida<br/>Hidetosi Sirai | |Author=Hirosi Tuda<br/>Kôiti Hasida<br/>Hidetosi Sirai | ||
|Licence=[[ICOT Free Software Licence]] | |Licence=[[ICOT Free Software Licence]] | ||
|WWW= | |WWW= | ||
}} | }} | ||
'''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 | '''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 [[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== | ==Links== |
Latest revision as of 07:01, 16 November 2022
Cu-Prolog | |
---|---|
![]() | |
Name | cu-Prolog |
Version | 3.94 (Jan 1996) |
Vendor | ICOT |
Author | Hirosi Tuda Kôiti Hasida Hidetosi Sirai |
Licence | ICOT Free Software Licence |
WWW |
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 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 [1]
- A Guide to Cup