Message-Id: From: cowan@snark.thyrsus.com (John Cowan) Subject: Re: Further Lojban->Prolog: relative clauses (Repost) To: nsn@mullian.ee.mu.oz.au (Nick Nicholas) Date: Mon, 5 Apr 1993 13:10:52 -0400 (EDT) X-Mozilla-Status: 0011 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.