Prolog Rules in RuleML: Source
Horn rule in RuleML is asserted as an imp element
that has two subelements -- a _head-role atom element augmented (either to its right or left) by a _body-role atom or and element
Example: travel rule (Datalog)
travel(Someone,channel-tunnel) :- carry(eurostar,Someone).
rewritten in RuleML thus: