1. Да се намери сумата от елементите на списък

2. Да се намери сумата от четните елементи на списък (контролно)

3. Да се намери максималният елемент в списък

4. Да се провери дали елементите на даден списък образуват монотонно ненамаляваща редица.

5. Като се използва предиката за пермутиране на списъка и този от задача 4 да се дефинира предикат, който сортира даден списък.

6. Да се дефинира предиката insert-sort(L,X,L1), който вмъква X в сортирания списък L, така че да се запази наредбата на елементите.

7. Да се дефинира предикат, който "слива" два сортирани списъка в трети сортиран.

8. Да се реализира аллоритъма quck-sort.

9. Да се намери по дадено число списъка от цифрите му.

10. Да се провери дали дадено число е просто.

11. По дадено число да се намери списъкът на делителите му.

12. Да се дефинира предиката nat(X), който при преудовлетворяване генерира естествените чсила

13. Да се дефинира предиката fact(X,N), който се удовлетворява за X-естествено число и в N получаваме X!

14. Да се състави предиката factgen(X), kойто при преудовлетворяване генерира факториелите на естествените числа.

15. Да се дефинира предикат, намиращ НОД на две естествени числа.


Последно модифициране: събота, 12 ноември 2011, 17:38