CMU Artificial Intelligence Repository
cu-Prolog III: Original ICOT version
lang/prolog/impl/clp/cup/icot/
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 .]
This directory contains the original version from ICOT for UNIX
workstations.
See Also:
lang/prolog/impl/clp/cup/jpsg/
lang/prolog/impl/clp/cup/mac/
lang/prolog/impl/clp/cup/msdos/
lang/prolog/impl/clp/cup/unix/
Origin:
ftp.icot.or.jp:ifs/kbms-clp/unix/cuprolog/ [192.26.9.33]
Version: CUP 3.1 (22-SEP-93); JPSG 1.3 (6-JUN-92)
Ports: cu-Prolog is implemented in C for BSD UNIX 4.2/3.
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
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!Tsuda, CLP, CUP, Constraint Unification, ICOT, JPSG,
Parsing, Programming Languages!CLP, Prolog!Implementations,
Prolog!UNIX, cu-Prolog
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:28 1995
AI.Repository@cs.cmu.edu