CMU Artificial Intelligence Repository
cu-Prolog III: Constraint Logic Programming Language
cu-Prolog
lang/prolog/impl/clp/cup/
cu-Prolog (Constraint Unification Prolog) is an experimental
constraint logic programming language available free from Japan's
Institute for New Generation Computer Technology (ICOT). Unlike most
conventional CLP systems, cu-Prolog allows user-defined predicates as
constraints. cu-Prolog is a complete implementation of Constraint
Unification (cu), hence the name.
cu-Prolog is suitable for implementing a natural language processing
system for unification-based grammars. For example, the cu-Prolog
developers implemented a JPSG (Japanese Phrase Structure Grammar)
parser in cu-Prolog with the JPSG Working Group (headed by Prof.
Takao Gunji of Osaka University) at ICOT.
[Note: Japanese names have been rewritten in the order .]
Origin:
The UNIX original version may be obtained from
ftp.icot.or.jp:ifs/kbms-clp/unix/cuprolog/ [192.26.9.33]
The Mac/DOS versions may be obtained from:
csli.stanford.edu:pub/MacCup/ [36.9.0.46]
chkygw.sccs.chukyo-u.ac.jp:pub/cup/ [150.42.1.1]
Ports: cu-Prolog is implemented in C for BSD UNIX 4.2/3.
Professor Sirai of Chukyo-University has ported
cu-Prolog to the Apple Macintosh and DJ's GPP
(80386/486 MS-DOS machine with the DOS extender).
Copying: Copyright (c) 1991-93 ICOT.
Use, modification, copying, and distribution permitted.
CD-ROM: Prime Time Freeware for AI, Issue 1-1
Bug Reports: cup-bugs@icot.or.jp
Mailing List: cup-request@icot.or.jp
Author(s): Hiroshi Tsuda
Koiti Hasida
Hidetosi Sirai or
Contact: ICOT Free Software Desk
Institute for New Generation Computer Technology
21st Floor, Mita Kokusai Bldg.
4-28, Mita 1-chome
Minato-ku, Tokyo 108
Japan
Fax: +81-3-3456-1618
Keywords:
Authors!Hasida, Authors!Sirai, Authors!Tsuda, CLP, CUP,
Constraint Unification, ICOT, JPSG, Parsing,
Programming Languages!CLP, Prolog!Implementations, cu-Prolog
Contains:
unix/ Sirai's extended version of cu-Prolog
msdos/ DJCup (MS-DOS implementation of cu-Prolog)
mac/ MacCUP (Macintosh implementation of cu-Prolog)
jpsg/ JPSG implemented in cu-Prolog
icot/ cu-Prolog III (original ICOT version)
References:
Hiroshi Tsuda, Koiti Hasida and Hidetosi Sirai, "JPSG Parser on
Constraint Logic Programming", in Proceedings of 4th ACL European
Chapter, pages 95-102, 1989.
Hiroshi Tsuda, Koiti Hasida and Hidetosi Sirai, "cu-Prolog and its
application to a JPSG parser", in K.Furukawa, H.Tanaka, and
T.Fujisaki, editors, Logic Programming '89, pages 134-143,
Springer-Verlag, LNAI-485, 1989.
Hiroshi Tsuda, "cu-Prolog for Constraint-Based Grammar", Proceedings
of FGCS-92, 1992.
Hiroshi Tsuda, Koiti Hasida and Hidetosi Sirai, "cu-PrologIII system",
Technical Report ICOT-TM1160, 1992.
Hiroshi Tsuda, "A Guide to cu-PrologIII", ICOT Technical Memorandum,
July 30, 1993. [Copy included with the distribution.]
Last Web update on Mon Feb 13 10:34:33 1995
AI.Repository@cs.cmu.edu