Newsgroups: comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!nntp.club.cc.cmu.edu!newsfeed.pitt.edu!gatech!howland.reston.ans.net!news.sprintlink.net!uunet!news.iij.ad.jp!wnoc-tyo-news!icot10!ss151!ss151!tsuda
From: tsuda@icot.or.jp (TSUDA Hiroshi)
Subject: Re: HPSG in Prolog
In-Reply-To: tg@arbuckle.sfs.nphil.uni-tuebingen.de's message of 28 Dec 1994 10: 37:23 GMT
Message-ID: <TSUDA.95Jan5122501@zeus.icot.or.jp>
Sender: news@ss151.icot.or.jp
Organization: Institute for New Generation Computer Technology, Tokyo, Japan
References: <schwitter-211294180331@ifimac15.ifi.unizh.ch>
	<3dlr8s$sa2@doc.cc.utexas.edu>
	<3drf53$8n8@newsserv.zdv.uni-tuebingen.de>
Date: Thu, 5 Jan 1995 03:25:01 GMT
Lines: 41

In article <3drf53$8n8@newsserv.zdv.uni-tuebingen.de> tg@arbuckle.sfs.nphil.uni-tuebingen.de (Thilo Goetz) writes:

 |>I would appreciate some information about HPSG (Head-Driven Phrase
 |>Structure Grammar) implementations in Prolog. 
 |>
 |>Thanks in advance!
 |
 |
 |There is quite a number of HPSG implementations around.
 |A better place to ask for this would probably be comp.ai.nat-lang.
 |Anyway, here is a selection:

We developed a constraint logic programming language called cu-Prolog
to implement constraint-based grammar formalisms, especially JPSG
(Japanese Phrase Structure Grammar; HPSG-style grammar for Japanese).
cu-Prolog allows user-defined Prolog predicates as constraints, and
PSTs (partially-specified term) to describe feature structures.

Phrase structure rules and several grammatical principles
(constraints) are encoded as:

	psr(Mothter, Daughter, Head); 
		head_feature_principle(Mothter, Daughter, Head),
		subcat_feature_principle(Mothter, Daughter, Head),...

head_feature_principle/3 and so on are user-defined predicates as
constraints in cu-Prolog.  They are solved with unfold/fold
transformations dynamically.

PSTs are terms with following forms (attribute/value pairs):
	{pos/v, subcat/[{pos/n,sem/X}], sem/run(X)}

cu-Prolog (with sample JPSG parser and a small HPSG grammar) is
registered as ICOT Free Software (IFS) which is available from
	ftp.icot.or.jp

Sincerely,
Hiroshit Tsuda (tsuda@icot.or.jp)
--
Institute for New Generation Computer Technology (ICOT)
	Hiroshi Tsuda	(tsuda@icot.or.jp)
