CMU Artificial Intelligence Repository
DJCup: MS-DOS version of cu-Prolog III
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 DJCup, the MS-DOS version of CU-Prolog III
compiled with DJ's gcc. It runs under the DOS-extendr (386/486 cpu)
and was compressed using LHA. DJCup was ported by Professor
Hidetosi Sirai of Chukyo University. A manual is included in the
Version: DJCup 3.80d (7-SEP-93)
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: firstname.lastname@example.org
Mailing List: email@example.com
Author(s): Hiroshi Tsuda
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
Authors!Hasida, Authors!Sirai, Authors!Tsuda, CLP, CUP,
Constraint Unification, DJCup, ICOT, JPSG, Parsing,
Programming Languages!CLP, Prolog!IBM PC,
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:31 1995