| 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 |
||||||
| 6 |