CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

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 distribution.
See Also: 

Origin:                []          []

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: Mailing List: 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, DJCup, ICOT, JPSG, Parsing, Programming Languages!CLP, Prolog!IBM PC, Prolog!Implementations, 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:31 1995