From 86bfc55d2ddc19b79127f2c788609635b702dbfd Mon Sep 17 00:00:00 2001 From: Aleksander Sadikov Date: Sat, 17 Oct 2015 20:04:54 +0200 Subject: Family relations section fully hint-ready (just a few minor things missing). --- .../grandparent_2/Prolog_grandparent_01.svg | 439 +++++++++++++++++ .../grandparent_2/Prolog_grandparent_02.svg | 517 +++++++++++++++++++++ .../grandparent_2/Prolog_grandparent_03.svg | 516 ++++++++++++++++++++ .../grandparent_2/Prolog_grandparent_04.svg | 463 ++++++++++++++++++ .../problems/family_relations/grandparent_2/sl.py | 4 +- 5 files changed, 1937 insertions(+), 2 deletions(-) create mode 100644 prolog/problems/family_relations/grandparent_2/Prolog_grandparent_01.svg create mode 100644 prolog/problems/family_relations/grandparent_2/Prolog_grandparent_02.svg create mode 100644 prolog/problems/family_relations/grandparent_2/Prolog_grandparent_03.svg create mode 100644 prolog/problems/family_relations/grandparent_2/Prolog_grandparent_04.svg (limited to 'prolog/problems/family_relations/grandparent_2') diff --git a/prolog/problems/family_relations/grandparent_2/Prolog_grandparent_01.svg b/prolog/problems/family_relations/grandparent_2/Prolog_grandparent_01.svg new file mode 100644 index 0000000..f4630d3 --- /dev/null +++ b/prolog/problems/family_relations/grandparent_2/Prolog_grandparent_01.svg @@ -0,0 +1,439 @@ + + + + + + + + + + +]> + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/prolog/problems/family_relations/grandparent_2/Prolog_grandparent_02.svg b/prolog/problems/family_relations/grandparent_2/Prolog_grandparent_02.svg new file mode 100644 index 0000000..bb832ee --- /dev/null +++ b/prolog/problems/family_relations/grandparent_2/Prolog_grandparent_02.svg @@ -0,0 +1,517 @@ + + + + + + + + + + +]> + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/prolog/problems/family_relations/grandparent_2/Prolog_grandparent_03.svg b/prolog/problems/family_relations/grandparent_2/Prolog_grandparent_03.svg new file mode 100644 index 0000000..d53a8b8 --- /dev/null +++ b/prolog/problems/family_relations/grandparent_2/Prolog_grandparent_03.svg @@ -0,0 +1,516 @@ + + + + + + + + + + +]> + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/prolog/problems/family_relations/grandparent_2/Prolog_grandparent_04.svg b/prolog/problems/family_relations/grandparent_2/Prolog_grandparent_04.svg new file mode 100644 index 0000000..96b383b --- /dev/null +++ b/prolog/problems/family_relations/grandparent_2/Prolog_grandparent_04.svg @@ -0,0 +1,463 @@ + + + + + + + + + + +]> + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/prolog/problems/family_relations/grandparent_2/sl.py b/prolog/problems/family_relations/grandparent_2/sl.py index a4440a6..2246ae6 100644 --- a/prolog/problems/family_relations/grandparent_2/sl.py +++ b/prolog/problems/family_relations/grandparent_2/sl.py @@ -16,10 +16,10 @@ description = '''\ plan = ['''\

Dedek ali babica ima otroka, ki ima otroka.

''', '''\ -

Dedek ali babica ima otroka, ki tudi sam ima otroka.

-''', '''\

Če je X starš od starša od Y, potem je X stari starš od Y.

+''', '''\ +

Dedek ali babica ima otroka, ki ima otroka.

'''] hint = { -- cgit v1.2.1