Re: Further Lojban->Prolog: relative clauses (Repost)

[nsn (Nick Nicholas)]

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
______________________________________________________________________________