From c61d06eab2c15928a928fcea106f276013902bb0 Mon Sep 17 00:00:00 2001 From: Aleksander Sadikov Date: Wed, 9 Mar 2016 01:39:55 +0100 Subject: Hints for memb/2 added. --- prolog/problems/lists/memb_2/sl.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'prolog/problems/lists/memb_2/sl.py') diff --git a/prolog/problems/lists/memb_2/sl.py b/prolog/problems/lists/memb_2/sl.py index 5b44521..f2d0ce2 100644 --- a/prolog/problems/lists/memb_2/sl.py +++ b/prolog/problems/lists/memb_2/sl.py @@ -30,7 +30,7 @@ hint = { 'eq_instead_of_equ': '''\

Operator == je strožji od operatorja = v smislu, da je za slednjega dovolj, da elementa lahko naredi enaka (unifikacija). Morda z uporabo = narediš predikat -member/2 delujoč tudi v kakšni drugi smeri.

+memb/2 delujoč tudi v kakšni drugi smeri.

''', 'eq_instead_of_equ_markup': '''\ -- cgit v1.2.1