diff options
| author | Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si> | 2016-02-29 17:07:37 +0100 |
|---|---|---|
| committer | Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si> | 2016-02-29 17:07:37 +0100 |
| commit | 815063053ef46e3baad68564585c306fc559eaad (patch) | |
| tree | 615713417fe4f8423c714e602684944c4bd6b38d /prolog/problems/family_relations/intro_sl.html | |
| parent | c3294f78c516f41b7ab40e67a88b874cf4a80cbb (diff) | |
Some minor corrections in accompanying texts.
Diffstat (limited to 'prolog/problems/family_relations/intro_sl.html')
| -rw-r--r-- | prolog/problems/family_relations/intro_sl.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/prolog/problems/family_relations/intro_sl.html b/prolog/problems/family_relations/intro_sl.html index 0e1147b..54d2e1e 100644 --- a/prolog/problems/family_relations/intro_sl.html +++ b/prolog/problems/family_relations/intro_sl.html @@ -143,7 +143,7 @@ so vsi argumenti lahko vhodi in izhodi hkrati. Nič ni strogo definirano. Temu bomo pogovorno rekli, da prolog deluje v vse (več) smeri. Vprašali smo seveda, kdo je starš od Williama. </p><p> -Privoščimo silahko še več. +Privoščimo si lahko še več. </p> <pre> ?- parent(X, Y). @@ -346,7 +346,7 @@ ancestor(X, Y) :- parent(X, Y) ; parent(X, Z), -ancestor(Z, Y). + ancestor(Z, Y). </pre> <p> Uporabili smo podpičje, logični „ali“. Preberimo pravilo: <em>če</em> je |