Project Proposal

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

I'm sorry I didn't send you anything for your proposal, but I only got the
first draft on Monday morning US/Eastern.

One thing I would suggest is supporting universal quantification as well as
existential, since Prolog directly handles universal quantification, whereas
existential quantification (except when appearing only in the antecedent of
a rule) has to be kludged by skolemization.

Otherwise, looks great, if maybe a tad too far-reaching.

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