- From: Wagner, G.R. <G.R.Wagner@tm.tue.nl>
- Date: Fri, 9 Apr 2004 15:01:50 +0200
- 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 UTC