# coding=utf-8 # najprej opis description = """\
Predikat sins(X, SortedList, NewSortedList)
naredi seznam NewSortedList
tako, da vstavi element X
na ustrezno mesto v sortiran (v nepadajočem vrstnem redu) seznam SortedList
.
Ta lahko vsebuje podvojene elemente; tudi element x se lahko že pojavi v njem.
Primera:
?- sins(4, [1,2,3,5], L).
L = [1,2,3,4,5].
?- sins(3, [1,2,3,4], L).
L = [1,2,3,3,4].
SortedList
prazen?X
."
}
hint['x_compare_list_head'] = {
'type': 'static',
'message': "V obeh vejah rekurzije je potrebno primerjati X
z glavo seznama, sicer dobimo več (nepravilnih) rešitev."
}
hint['y_less_then_x_add_new'] = {
'type': 'static',
'message': "Pri preskakovanju elementov, manjših od X
, jih ne doda v nov seznam."
}
# a drop-down hint must supply the arguments: start (int), end (int), choices (array of string)
hint['drop_down'] = {
'type': 'dropdown'
}
# a pop-up hint must supply the arguments: start (int), end (int), args (object of key-value args for the template, optional)
hint['popup_unknown'] = {
'type': 'popup',
'message': 'nekaj si zabluzil v vrstici [%=row%]'
}
# a static hint can supply an optional argument: args (object of key-value args for the template)
# a static hint can also be defined as a string instead of an object
hint['sample_static'] = {
'type': 'static',
'message': 'A sample static hint'
}