================================================================================
BVS,najdi vzdalenost V prvku X v BVS strome S:
[[nil, 1, nil], 2, [nil, 3, nil]]

vzdalenost(X,[_,X,_],0).
vzdalenost(X,[L,Y,P],V):-
  X>Y, vzdalenost(X,P,VZD), V is VZD+1;
       vzdalenost(X,L,VZD), V is VZD+1.
================================================================================
Vypocet Fibonaciho cisla:
fib(0,0).
fib(1,1).
fib(I,F):- fib(I-1,F1), fib(I-2,F2), F is F1+F2.
================================================================================
Vytvoří seznam S3, jenž obsahuje každý třetí prvek ze zadaného seznamu S:
vytvor([],nil).
vytvor([_,_,X|S], [X|S3]):- vytvor(S, S3).
================================================================================
Vypoctete skalarni soucin SS ze zadanych vektoru cisel V1 a V2:
v pripade ze jeden ze seznamu je kratsi, pak berte jako by byl doplnen nulami
skalarni_soucin([],V2,0).
skalarni_soucin(V1,[],0).
skalarni_soucin([P1|V1],[P2|V2],SS):-
  skalarni_soucin(V1,V2,SSS), SS is P1*P2+SSS.
================================================================================
BVS,najdi vzdalenost V prvku X v BVS strome S:
((nil, 1, nil), 2, (nil, 3, nil))

(defun vzdalenost (X S)
  (cond
    ((equal X (second S)) 0)
    ((> X (second S)) (+ 1 (vzdalenost X (third S))))
    (T                (+ 1 (vzdalenost X (first S))))
  )
)
================================================================================
Vypocet Fibonaciho cisla:
(defun fib (I)
  (cond
    ((equal I 0) 0)
    ((equal I 1) 1)
    (+ (fib (- I 1)) (fib (- I 2)))
  )
)
================================================================================
Vytvoří seznam, jenž obsahuje každý třetí prvek ze zadaného seznamu S:
(defun vytvor (S)
  (cond
    ((null S) '())
    (T (cons (third S) (vytvor (rest (rest (rest S))))))
  )
)
================================================================================
Vypoctete skalarni soucin ze zadanych vektoru cisel V1 a V2:
(defun skalarni_soucin (V1 V2)
  (cond
    ((equal (length V1) 0) 0)
    ((equal (length V2) 0) 0)
    (T (+ (* (first V1) (first V2)) (skalarni_soucin (rest V1) (rest V2))))
  )
)
================================================================================
vyresene priklady ke zkousce
maco