RE: A question

> 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