- 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