6
Natural Semantics vs RML
§
RML has the same visual syntax as NS
§
§
rule
RelName1(H1,T1) => R1 & ...
§
RelNameN(Hn,Tn) => Rn &
§
<cond>
§
------------------------------
§
RelName(H, T) => R
