W3C home > Mailing lists > Public > www-rdf-rules@w3.org > April 2004

RE: A question

From: Wagner, G.R. <G.R.Wagner@tm.tue.nl>
Date: Fri, 9 Apr 2004 15:01:50 +0200
Message-ID: <D0D13B0440FC1F4995BC4CD7F84A3A4201B9EC8F@tmex2.campus.tue.nl>
To: "Zhu, Bin" <zhubin@uclab.org>, <www-rdf-rules@w3.org>


> Who can tell me what's the difference between RuleML 
> and Prolog in logic model?  

RuleML 0.85 derivation rules correspond to extended 
logic programming rules, which have two kinds of negation 
(negation-as-failure and strong negation for representing 
explicit negative information. Prolog has only one negation 
(negation-as-failure).

Also, RuleML allows an F-Logic-like  attribute-value ("OO") 
syntax as an alternative to the normal ("positional") 
predicate logic syntax.


Gerd Wagner 
http://is.tm.tue.nl/staff/gwagner
Received on Friday, 9 April 2004 09:02:32 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:53:11 GMT