From 815063053ef46e3baad68564585c306fc559eaad Mon Sep 17 00:00:00 2001 From: Aleksander Sadikov Date: Mon, 29 Feb 2016 17:07:37 +0100 Subject: Some minor corrections in accompanying texts. --- prolog/problems/family_relations/intro_sl.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'prolog/problems/family_relations/intro_sl.html') 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.

-Privoščimo silahko še več. +Privoščimo si lahko še več.

 ?- parent(X, Y).
@@ -346,7 +346,7 @@ ancestor(X, Y) :-
     parent(X, Y)
     ;
     parent(X, Z),
-ancestor(Z, Y).
+    ancestor(Z, Y).
 

Uporabili smo podpičje, logični „ali“. Preberimo pravilo: če je -- cgit v1.2.1