[RIF] pure Prolog replacement

As per our ACTION item
http://www.w3.org/2006/04/11-rif-minutes.html#action10

we have found a few alternatives to "pure Prolog" and prepared a brief
explanation for "Horn Logic " and a "subset of standard Prolog":
http://www.w3.org/2005/rules/wg/wiki/Horn_Logic

The following is our latest email exchange (sorry, we didn't
discuss everything on the RIF list):

-Igor


>> Jos proposed to rename "pure Prolog" to a "subset of standard Prolog".
>> I agree, and I have prepared a preliminary version of the intended
>> meaning (additions, corrections, clarifications welcome):
>> http://www.w3.org/2005/rules/wg/wiki/Horn_Logic


Thanks, that page is very nice.

I'm worried about the phrase "a subset of standard prolog" though, since
obviously there may be many such sets, eg including or not including
arithmetic built-ins.

How about we call the subset named on that page, "Horn Prolog"?   I
don't see that term being used in a contradictory way on Google.  Or
"Horn-Only Prolog", or "The Horn-Subset of Prolog" (hsop).


>> This should cover our action item:
>> http://www.w3.org/2006/04/11-rif-minutes.html#action10


Yes -- although I think maybe we were supposed to have this discussion
on the public mailing list.  Oops.


>> Unfortunately, I will not be able to attend the next two telecons,
>> but I will have internet connectivity until Saturday.


Alas.

    -- Sandro

Received on Tuesday, 18 April 2006 07:13:58 UTC