Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja Nowa wersja | Poprzednia wersja | ||
|
pl:dydaktyka:dss:rules:intro [2017/12/07 13:37] msl [5.1. Adding Knowledge to the KB] |
pl:dydaktyka:dss:rules:intro [2019/06/27 15:50] (aktualna) |
||
|---|---|---|---|
| Linia 107: | Linia 107: | ||
| siblings(X, Y), | siblings(X, Y), | ||
| man(X).</code> | man(X).</code> | ||
| - | Define two additional rules: | + | Define the following rules: |
| * siblings(X,Y) --- two different people with a common parent; | * siblings(X,Y) --- two different people with a common parent; | ||
| * tip: ** (test (neq ?x ?y)) ** checks inequality of variables. | * tip: ** (test (neq ?x ?y)) ** checks inequality of variables. | ||
