Cu-Prolog: Difference between revisions

Revision as of 11:14, 12 May 2018

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

@@ Line 1: / Line 1: @@
-cu-Prolog, also 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.
+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.
-==Links & publications==
+==Licence==
+* Open source software released under the [[ICOT Free Software Licence]].
+;Authors:
+* Hirosi Tuda
+* Kôiti Hasida
+* Hidetosi Sirai
+==Links==
 * [http://ftp.netbsd.org/pub/pkgsrc/distfiles/cu-prolog-3.94/ Version 3.94] -  In source code format only
 ** [http://ftp.lip6.fr/pub/minix/distfiles/local/3.3.0/cu-prolog-3.94/ Alternate location for v3.94]
@@ Line 7: / Line 14: @@
 * [https://www.cs.cmu.edu/Groups/AI/lang/prolog/impl/clp/cup/msdos/0.html Archived versions 3.80] - For DOS and [[UNIX]] like operating systems
 * Hirosi Tuda, Kôiti Hasida & Hidetosi Sirai: [http://www.aclweb.org/anthology/E89-1013 JPSG Parser on Constraint Logic Programming]
-* [http://www.cs.scranton.edu/~mccloske/courses/cmps344/prolog.dir/cup.pdf
+* [http://www.cs.scranton.edu/~mccloske/courses/cmps344/prolog.dir/cup.pdf A Guide to Cup]
-==Licence==
-* Open source software released under the [[ICOT Free Software Licence]].
-==Authors==
-* Hirosi Tuda
-* Kôiti Hasida
-* Hidetosi Sirai
 [[Category:Prolog]]
-[[Category:MS Windows Tools]]
-[[Category:Solaris Tools]]
-[[Category:DOS Tools]]
-[[Category:Linux Tools]]
-[[Category:BSD Tools]]