CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

cu-Prolog III: Constraint Logic Programming Language cu-Prolog

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 .]

   The UNIX original version may be obtained from   []
   The Mac/DOS versions may be obtained from:                []          []

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, 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