From acce0e01cdb2a57cda35e040035dbf1da6b96031 Mon Sep 17 00:00:00 2001 From: Timotej Lazar Date: Mon, 11 Apr 2016 00:10:57 +0200 Subject: Prolog: add test cases for the trees group --- prolog/problems/trees/insertbt_3/sl.py | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 prolog/problems/trees/insertbt_3/sl.py (limited to 'prolog/problems/trees/insertbt_3/sl.py') diff --git a/prolog/problems/trees/insertbt_3/sl.py b/prolog/problems/trees/insertbt_3/sl.py new file mode 100644 index 0000000..f3339fd --- /dev/null +++ b/prolog/problems/trees/insertbt_3/sl.py @@ -0,0 +1,14 @@ +name = 'insertBT/3' +slug = 'vstavi element v binarno drevo' + +description = '''\ +

insertBT(X, T, NewT): binarno drevo NewT dobimo tako, da v T vstavimo element X na poljubno mesto. Tvoj program naj vrača vse možne rešitve.

+
+?- insertBT(2, b(nil,1,nil), T).
+  T = b(b(nil,1,nil),2,nil) ;
+  T = b(nil,2,b(nil,1,nil)) ;
+  T = b(b(nil,2,nil),1,nil) ;
+  T = b(nil,1,b(nil,2,nil)).
+
''' + +hint = {} -- cgit v1.2.1