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

[cowan@snark.thyrsus.com (John Cowan)]

BTW, I forgot to mention this earlier.  Your code seems to spit out
existential quantifiers.  Do you have a logic engine down under that
handles them, or do you intend to skolemize them out?  If not the former,
then the latter, please.

(Skolemization in brief: a prenex-logical-form clause like:

	(X) (E Y) (Z): f(X,Y,Z)

is rewritten as:

	(X) (Z): f(X,y(X),Z)

where "y" is a newly introduced functor whose arguments are all of the
universally quantified variables that precede Y in the prenex.  The declarative
reading of "y(X)" is "some Y of X".)

-- 
John Cowan	cowan@snark.thyrsus.com		...!uunet!lock60!snark!cowan
			e'osai ko sarji la lojban.