Message-Id: <m0nZ3BM-0001gqC@snark.thyrsus.com>
From: cowan@snark.thyrsus.com (John Cowan)
Subject: Project Proposal
To: nsn@munagin.ee.mu.oz.au (nick nicholas)
Date: Wed, 17 Mar 1993 13:49:39 -0500 (EST)
Cc: lojbab@grebyn.com (Bob lechevalier)
X-Mozilla-Status: 0001

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.