hello I have two easy examples, but I'm greenhorn in prolog.
nodouble (x, list1, list2) - predicate delete duplicate values in List 1 and save them to List2
max (list, x) - predicate find max value from List and save it to X.
I find max from list as:
maxList([]).
maxList([E],E)...