Return-Path: <nsn>
	id AA06781; Mon, 5 Apr 93 18:09:54 EST
From: nsn (Nick Nicholas)
Message-Id: <9304050809.AA06781@omilia.ee.mu.OZ.AU>
Subject: Re: Further Lojban->Prolog: relative clauses (Repost)
To: cowan@snark.thyrsus.com (John Cowan)
Date: Mon, 5 Apr 1993 18:09:53 +1000 (EST)
Cc: nsn (Nick Nicholas)
Mime-Version: 1.0
X-Mozilla-Status: 0011
Content-Length: 967
Lines: 21

The Seraphim surely rejoiced when John Cowan spoke thus:

}I think that you should send "le" sumti through undisturbed:
}	le gerku cu xekri -> xekri(le_gerku).
}and then insert a subsidiary fact
}	gerku(le_gerku).

What you're suggesting is essentially a cmene approach. Given the iota
quantifier is used for both names and "the", that makes sense. I'll
think on it...

}Where do those unspeakable (:-)) variables like FIODG and FIPZL come from?

They're just what Prolog spits out: internal variable names.

^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Nick S. Nicholas,                      "Rode like foam on the river of pity
CogSci & CompSci student,               Turned its tide to strength
University of Melbourne, Australia.     Healed the hole that ripped in living"
nsn@{munagin.ee|mundil.cs}.mu.oz.au           - Suzanne Vega, Book Of Dreams
______________________________________________________________________________