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 

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

Gerd Wagner 
Received on Friday, 9 April 2004 09:02:32 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:46:17 UTC