summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-01-13 16:35:48 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-01-13 16:35:48 +0100
commit2e900dd0317299294f4cb27213be6f5b36d4b8b8 (patch)
tree25fb6767406b8354da92b2ac0883a5bdeef05457
parent388b32039898cc8f1784378689007254eb7a33b6 (diff)
Use argument mode indicators in Prolog problem descriptions
-rw-r--r--prolog/problems/family_relations/ancestor_2/en.py2
-rw-r--r--prolog/problems/family_relations/ancestor_2/sl.py2
-rw-r--r--prolog/problems/family_relations/aunt_2/en.py2
-rw-r--r--prolog/problems/family_relations/aunt_2/sl.py2
-rw-r--r--prolog/problems/family_relations/brother_2/en.py2
-rw-r--r--prolog/problems/family_relations/brother_2/sl.py2
-rw-r--r--prolog/problems/family_relations/cousin_2/en.py2
-rw-r--r--prolog/problems/family_relations/cousin_2/sl.py2
-rw-r--r--prolog/problems/family_relations/descendant_2/en.py2
-rw-r--r--prolog/problems/family_relations/descendant_2/sl.py2
-rw-r--r--prolog/problems/family_relations/father_2/en.py2
-rw-r--r--prolog/problems/family_relations/father_2/sl.py2
-rw-r--r--prolog/problems/family_relations/grandparent_2/en.py2
-rw-r--r--prolog/problems/family_relations/grandparent_2/sl.py2
-rw-r--r--prolog/problems/family_relations/mother_2/en.py2
-rw-r--r--prolog/problems/family_relations/mother_2/sl.py2
-rw-r--r--prolog/problems/family_relations/sister_2/en.py2
-rw-r--r--prolog/problems/family_relations/sister_2/sl.py2
18 files changed, 18 insertions, 18 deletions
diff --git a/prolog/problems/family_relations/ancestor_2/en.py b/prolog/problems/family_relations/ancestor_2/en.py
index 588de83..f4db6ef 100644
--- a/prolog/problems/family_relations/ancestor_2/en.py
+++ b/prolog/problems/family_relations/ancestor_2/en.py
@@ -4,7 +4,7 @@ name = 'ancestor/2'
slug = 'the ancestor relation'
description = '''\
-<p><code>ancestor(X, Y)</code>: <code>X</code> is an ancestor (parent, grandparent,...) of <code>Y</code>.</p>
+<p><code>ancestor(?X, ?Y)</code>: <code>X</code> is an ancestor (parent, grandparent, …) of <code>Y</code>.</p>
<pre>
?- ancestor(patricia, X).
X = john ;
diff --git a/prolog/problems/family_relations/ancestor_2/sl.py b/prolog/problems/family_relations/ancestor_2/sl.py
index 9e5c9bf..0308cde 100644
--- a/prolog/problems/family_relations/ancestor_2/sl.py
+++ b/prolog/problems/family_relations/ancestor_2/sl.py
@@ -4,7 +4,7 @@ name = 'ancestor/2'
slug = 'X je prednik od Y'
description = '''\
-<p><code>ancestor(X, Y)</code>: <code>X</code> je prednik (oče, mama, dedek, ...) od <code>Y</code>.</p>
+<p><code>ancestor(?X, ?Y)</code>: <code>X</code> je prednik (oče, mama, dedek, …) od <code>Y</code>.</p>
<pre>
?- ancestor(patricia, X).
X = john ;
diff --git a/prolog/problems/family_relations/aunt_2/en.py b/prolog/problems/family_relations/aunt_2/en.py
index 7e508bc..7bcc0a2 100644
--- a/prolog/problems/family_relations/aunt_2/en.py
+++ b/prolog/problems/family_relations/aunt_2/en.py
@@ -4,7 +4,7 @@ name = 'aunt/2'
slug = 'the aunt relation'
description = '''\
-<p><code>aunt(X, Y)</code>: <code>X</code> is an aunt of <code>Y</code>.</p>
+<p><code>aunt(?X, ?Y)</code>: <code>X</code> is an aunt of <code>Y</code>.</p>
<pre>
?- aunt(sally, X).
X = vanessa ;
diff --git a/prolog/problems/family_relations/aunt_2/sl.py b/prolog/problems/family_relations/aunt_2/sl.py
index eb1b673..71f774f 100644
--- a/prolog/problems/family_relations/aunt_2/sl.py
+++ b/prolog/problems/family_relations/aunt_2/sl.py
@@ -4,7 +4,7 @@ name = 'aunt/2'
slug = 'X je teta od Y'
description = '''\
-<p><code>aunt(X, Y)</code>: <code>X</code> je teta od <code>Y</code>.</p>
+<p><code>aunt(?X, ?Y)</code>: <code>X</code> je teta od <code>Y</code>.</p>
<pre>
?- aunt(sally, X).
X = vanessa ;
diff --git a/prolog/problems/family_relations/brother_2/en.py b/prolog/problems/family_relations/brother_2/en.py
index a461ba8..b159446 100644
--- a/prolog/problems/family_relations/brother_2/en.py
+++ b/prolog/problems/family_relations/brother_2/en.py
@@ -4,7 +4,7 @@ name = 'brother/2'
slug = 'the brother relation'
description = '''\
-<p><code>brother(X, Y)</code>: <code>X</code> is a brother of <code>Y</code>.</p>
+<p><code>brother(?X, ?Y)</code>: <code>X</code> is a brother of <code>Y</code>.</p>
<pre>
?- brother(jeffrey, X).
X = william ;
diff --git a/prolog/problems/family_relations/brother_2/sl.py b/prolog/problems/family_relations/brother_2/sl.py
index 29ec289..6d45111 100644
--- a/prolog/problems/family_relations/brother_2/sl.py
+++ b/prolog/problems/family_relations/brother_2/sl.py
@@ -4,7 +4,7 @@ name = 'brother/2'
slug = 'X je brat od Y'
description = '''\
-<p><code>brother(X, Y)</code>: <code>X</code> je brat od <code>Y</code>.</p>
+<p><code>brother(?X, ?Y)</code>: <code>X</code> je brat od <code>Y</code>.</p>
<pre>
?- brother(jeffrey, X).
X = william ;
diff --git a/prolog/problems/family_relations/cousin_2/en.py b/prolog/problems/family_relations/cousin_2/en.py
index 93e3aee..ee298c2 100644
--- a/prolog/problems/family_relations/cousin_2/en.py
+++ b/prolog/problems/family_relations/cousin_2/en.py
@@ -4,7 +4,7 @@ name = 'cousin/2'
slug = 'the cousin relation'
description = '''\
-<p><code>cousin(X, Y)</code>: <code>X</code> is a cousin (male or female) of <code>Y</code>.</p>
+<p><code>cousin(?X, ?Y)</code>: <code>X</code> is a cousin (male or female) of <code>Y</code>.</p>
<pre>
?- cousin(andrew, X).
X = vanessa ;
diff --git a/prolog/problems/family_relations/cousin_2/sl.py b/prolog/problems/family_relations/cousin_2/sl.py
index 5e18f4a..a5f2b92 100644
--- a/prolog/problems/family_relations/cousin_2/sl.py
+++ b/prolog/problems/family_relations/cousin_2/sl.py
@@ -4,7 +4,7 @@ name = 'cousin/2'
slug = 'X je bratranec ali sestrična od Y'
description = '''\
-<p><code>cousin(X, Y)</code>: <code>X</code> je bratranec ali sestrična od <code>Y</code>.</p>
+<p><code>cousin(?X, ?Y)</code>: <code>X</code> je bratranec ali sestrična od <code>Y</code>.</p>
<pre>
?- cousin(andrew, X).
X = vanessa ;
diff --git a/prolog/problems/family_relations/descendant_2/en.py b/prolog/problems/family_relations/descendant_2/en.py
index 2bd30af..aab3ba8 100644
--- a/prolog/problems/family_relations/descendant_2/en.py
+++ b/prolog/problems/family_relations/descendant_2/en.py
@@ -4,7 +4,7 @@ name = 'descendant/2'
slug = 'the descendant relation'
description = '''\
-<p><code>descendant(X, Y)</code>: <code>X</code> is a descendant (child, grandchild,...) of <code>Y</code>.</p>
+<p><code>descendant(?X, ?Y)</code>: <code>X</code> is a descendant (child, grandchild, …) of <code>Y</code>.</p>
<pre>
?- descendant(patricia, X).
X = william ;
diff --git a/prolog/problems/family_relations/descendant_2/sl.py b/prolog/problems/family_relations/descendant_2/sl.py
index 993b4bb..36231a1 100644
--- a/prolog/problems/family_relations/descendant_2/sl.py
+++ b/prolog/problems/family_relations/descendant_2/sl.py
@@ -4,7 +4,7 @@ name = 'descendant/2'
slug = 'the descendant relation'
description = '''\
-<p><code>descendant(X, Y)</code>: <code>X</code> is a descendant (child, grandchild,...) of <code>Y</code>.</p>
+<p><code>descendant(?X, ?Y)</code>: <code>X</code> je potomec (otrok, vnuk, …) od <code>Y</code>.</p>
<pre>
?- descendant(patricia, X).
X = william ;
diff --git a/prolog/problems/family_relations/father_2/en.py b/prolog/problems/family_relations/father_2/en.py
index 31517c9..c8a3d74 100644
--- a/prolog/problems/family_relations/father_2/en.py
+++ b/prolog/problems/family_relations/father_2/en.py
@@ -4,7 +4,7 @@ name = 'father/2'
slug = 'the father-child relation'
description = '''\
-<p><code>father(X, Y)</code>: <code>X</code> is the father of <code>Y</code>.</p>
+<p><code>father(?X, ?Y)</code>: <code>X</code> is the father of <code>Y</code>.</p>
<pre>
?- father(thomas, william).
true.
diff --git a/prolog/problems/family_relations/father_2/sl.py b/prolog/problems/family_relations/father_2/sl.py
index fed61c7..adb6fd9 100644
--- a/prolog/problems/family_relations/father_2/sl.py
+++ b/prolog/problems/family_relations/father_2/sl.py
@@ -4,7 +4,7 @@ name = 'father/2'
slug = 'X je oče od Y'
description = '''\
-<p><code>father(X, Y)</code>: <code>X</code> je oče od <code>Y</code>.</p>
+<p><code>father(?X, ?Y)</code>: <code>X</code> je oče od <code>Y</code>.</p>
<pre>
?- father(thomas, william).
true.
diff --git a/prolog/problems/family_relations/grandparent_2/en.py b/prolog/problems/family_relations/grandparent_2/en.py
index 11918a9..e82441e 100644
--- a/prolog/problems/family_relations/grandparent_2/en.py
+++ b/prolog/problems/family_relations/grandparent_2/en.py
@@ -4,7 +4,7 @@ name = 'grandparent/2'
slug = 'the grandparent relation'
description = '''\
-<p><code>grandparent(P, C)</code>: <code>P</code> is a grandparent of <code>C</code>.</p>
+<p><code>grandparent(?P, ?C)</code>: <code>P</code> is a grandparent of <code>C</code>.</p>
<pre>
?- grandparent(tina, X).
X = vanessa ;
diff --git a/prolog/problems/family_relations/grandparent_2/sl.py b/prolog/problems/family_relations/grandparent_2/sl.py
index d74f4f4..bd2d63c 100644
--- a/prolog/problems/family_relations/grandparent_2/sl.py
+++ b/prolog/problems/family_relations/grandparent_2/sl.py
@@ -4,7 +4,7 @@ name = 'grandparent/2'
slug = 'X je dedek ali babica od Y'
description = '''\
-<p><code>grandparent(X, Y)</code>: <code>X</code> je dedek ali babica od <code>Y</code>.</p>
+<p><code>grandparent(?X, ?Y)</code>: <code>X</code> je dedek ali babica od <code>Y</code>.</p>
<pre>
?- grandparent(tina, X).
X = vanessa ;
diff --git a/prolog/problems/family_relations/mother_2/en.py b/prolog/problems/family_relations/mother_2/en.py
index 531c3d7..3614473 100644
--- a/prolog/problems/family_relations/mother_2/en.py
+++ b/prolog/problems/family_relations/mother_2/en.py
@@ -4,7 +4,7 @@ name = 'mother/2'
slug = 'the mother-child relation'
description = '''\
-<p><code>mother(M, C)</code>: <code>M</code> is the mother of <code>C</code>.</p>
+<p><code>mother(?M, ?C)</code>: <code>M</code> is the mother of <code>C</code>.</p>
<pre>
?- mother(tina, william).
true.
diff --git a/prolog/problems/family_relations/mother_2/sl.py b/prolog/problems/family_relations/mother_2/sl.py
index 5869033..32103a8 100644
--- a/prolog/problems/family_relations/mother_2/sl.py
+++ b/prolog/problems/family_relations/mother_2/sl.py
@@ -4,7 +4,7 @@ name = 'mother/2'
slug = 'X je mama od Y'
description = '''\
-<p><code>mother(X, Y)</code>: <code>X</code> je mama od <code>Y</code>.</p>
+<p><code>mother(?X, ?Y)</code>: <code>X</code> je mama od <code>Y</code>.</p>
<pre>
?- mother(tina, william).
true.
diff --git a/prolog/problems/family_relations/sister_2/en.py b/prolog/problems/family_relations/sister_2/en.py
index a7e2035..0345fec 100644
--- a/prolog/problems/family_relations/sister_2/en.py
+++ b/prolog/problems/family_relations/sister_2/en.py
@@ -4,7 +4,7 @@ name = 'sister/2'
slug = 'the sister relation'
description = '''\
-<p><code>sister(X, Y)</code>: <code>X</code> is a sister of <code>Y</code>.</p>
+<p><code>sister(?X, ?Y)</code>: <code>X</code> is a sister of <code>Y</code>.</p>
<pre>
?- sister(vanessa, X).
X = patricia.
diff --git a/prolog/problems/family_relations/sister_2/sl.py b/prolog/problems/family_relations/sister_2/sl.py
index 5ca9928..92ea45d 100644
--- a/prolog/problems/family_relations/sister_2/sl.py
+++ b/prolog/problems/family_relations/sister_2/sl.py
@@ -4,7 +4,7 @@ name = 'sister/2'
slug = 'X je sestra od Y'
description = '''\
-<p><code>sister(X, Y)</code>: <code>X</code> je sestra od <code>Y</code>.</p>
+<p><code>sister(?X, ?Y)</code>: <code>X</code> je sestra od <code>Y</code>.</p>
<pre>
?- sister(vanessa, X).
X = patricia.