Re: instead of "Pure Prolog" from Francois Bry on 2006-05-09 (public-rif-wg@w3.org from May 2006)

From: Francois Bry <bry@ifi.lmu.de>
Date: Tue, 09 May 2006 10:38:02 +0200
To: Sandro Hawke <sandro@w3.org>
CC: public-rif-wg@w3.org
Message-ID: <446054EA.6030601@ifi.lmu.de>

Sandro Hawke wrote:
> >From WG discussions it seems like the right term is probably "Sequential
> Horn Clauses with Prolog Syntax", 

What means for a clause to bew "sequential" or not to be "sequential"? A
clause is a piece of text, and text is always "sequential", isn't it?

Are you not referring instead to how the clauses are processed? Eg to a
proof calculus or proof method?

François

Received on Tuesday, 9 May 2006 08:38:06 UTC