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/memberbt_2/sl.py | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 prolog/problems/trees/memberbt_2/sl.py (limited to 'prolog/problems/trees/memberbt_2/sl.py') diff --git a/prolog/problems/trees/memberbt_2/sl.py b/prolog/problems/trees/memberbt_2/sl.py new file mode 100644 index 0000000..324e6f9 --- /dev/null +++ b/prolog/problems/trees/memberbt_2/sl.py @@ -0,0 +1,13 @@ +name = 'memberBT/2' +slug = 'poišči element v binarnem drevesu' + +description = '''\ +

memberBT(X, T): X je element binarnega drevesa T. Vozlišče v binarnem drevesu je predstavljeno s strukturo b(L, E, R), kjer sta L in R levo in desno poddrevo, E pa je vrednost v tem vozlišču. Prazno drevo predstavlja atom nil.

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