Regler anges i formatet R1(a,b) där R1 står för relationstyp 1. Se Listan på relationstyper.
Implementerade regler:
| R1(a,b) | and | R2(b,c) | ==> | R1(a,c) |
| R2(a,b) | and | R2(b,c) | ==> | R2(a,c) |
| R1(a,b) | and | R3(b,c) | ==> | R3(a,c) |
| R2(a,b) | and | R3(b,c) | ==> | R3(a,c) |
| R3(a,b) | and | R3(b,c) | ==> | R3(a,c) |
| R3(a,b) | and | R4(b,c) | ==> | R4(a,c) |
| R1(a,b) | and | R29(b,c) | ==> | R7(a,c) |
| R7(a,b) | and | R31(b,c) | ==> | R7(a,c) |
| R1(a,b) | and | R12(b,c) | ==> | R12(a,c) |
| R7(a,b) | and | R12(b,c) | ==> | R12(a,c) |
| R12(a,b) | and | R2(b,c) | ==> | R12(a,c) |
| R2(a,b) | and | R12(b,c) | ==> | R12(a,c) |
| R12(a,b) | and | R12(b,c) | ==> | R12(a,c) |
| R2(a,b) | and | R29(b,c) | ==> | R29(a,c) |
| R31(a,b) | and | R31(b,c) | ==> | R31(a,c) |
| R32(a,b) | and | R2(b,c) | ==> | R32(a,c) |
| R0(a,b) | ==> | R0(b,a) |
R40(a,b) and R1(b,c) and R41(c,d) ==> R1(a,d) ... via R42
Ej Implementerade regler:
R34(a,b) ==> R12(a,b)