From 4463de7f50fd2c737f94485f548b36466899ff30 Mon Sep 17 00:00:00 2001 From: Aleksander Sadikov Date: Mon, 21 Mar 2016 17:52:58 +0100 Subject: Hints and plans for sum/2 added. --- prolog/problems/lists_advanced/len_2/sl.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'prolog/problems/lists_advanced/len_2/sl.py') diff --git a/prolog/problems/lists_advanced/len_2/sl.py b/prolog/problems/lists_advanced/len_2/sl.py index a975330..cc9a356 100644 --- a/prolog/problems/lists_advanced/len_2/sl.py +++ b/prolog/problems/lists_advanced/len_2/sl.py @@ -13,7 +13,7 @@ description = '''\ plan = ['''\

Prazen seznam ni prav pretirano dolg, če pa ni prazen, pa ima glavo in rep.

''', '''\ -

Če je rep (seznam brez ene glave) dolg NT, potem je celoten seznam dolg NT + 1.

+

Če je rep (seznam brez ene glave) dolg LenT, potem je celoten seznam dolg LenT + 1.

''', '''\

Če vzamem stran eno glavo, rekurzija mi reši (za ena) manjši problem in če rezultatu rekurzije prištejem 1, potem sem dobil ravno dolžino celotnega seznama.

-- cgit v1.2.1