CMU Artificial Intelligence Repository
MacCUP: Macintosh version of cu-Prolog III
lang/prolog/impl/clp/cup/mac/
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 MacCUP, the Apple Macintosh version of
cu-Prolog III. It was ported by Professor Hidetosi Sirai of Chukyo
University.
See Also:
lang/prolog/impl/clp/cup/icot/
lang/prolog/impl/clp/cup/jpsg/
lang/prolog/impl/clp/cup/msdos/
lang/prolog/impl/clp/cup/unix/
Origin:
csli.stanford.edu:pub/MacCup/ [36.9.0.46]
chkygw.sccs.chukyo-u.ac.jp:pub/cup/ [150.42.1.1]
Version: MacCup 080c (7-SEP-93)
Ports: cu-Prolog was originally 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): Hidetosi Sirai or
Chukyo University
101 Kaizu-cho, Tokodate, TOYOTA, Aichi
Japan
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!Sirai, CLP, CUP, Constraint Unification, ICOT, JPSG,
MacCUP, Parsing, Programming Languages!CLP,
Prolog!Implementations, Prolog!Macintosh, cu-Prolog
Contains:
A Guide to Cup, version 0.80d 1-SEP-93
cup.doc
program, Bin Hexed and Self-Extracted
cup080b.hqx (originally MacCup080b.sea.hqx)
program, Bin Hexed and Self-Extracted
cup080c.hqx (originally MacCup080c.sea.hqx)
MacCup v0.59 (= cu-Prolog v3.50) User's Manual 30-JUL-91
manual.tex
Documentation for version 0.80d 1-SEP-93 of MacCUP.
maccup.man (originally MacCup.man)
maccup.doc (originally MacCup.doc)
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.
Last Web update on Mon Feb 13 10:34:31 1995
AI.Repository@cs.cmu.edu