Re: A proposal for a unitary RIF phase 1

From: Michael Kifer <kifer@cs.sunysb.edu>
Subject: Re: A proposal for a unitary RIF phase 1 
Date: Sat, 27 May 2006 19:34:17 -0400

> Peter,
> 
> It is no big deal to be unitary by restricting the language to Datalog.
> You don't even need to limit it to a function-free sublanguage. In our
> roadmap the language was unitary also up to this point.

OK.

> The issue is how to build such a system in an extensible way so that it
> could be extended to satisfy most of the RIF requirements.

Well, this is at least one of issues.  However, I don't see any particular
preference for divergent semantics here.

> 	--michael 

Peter F. Patel-Schneider