Логическо програмиране 2004/05 - упражнения

Задача 1.

а) Да се напише дефиниция на ПРОЛОГ на предикат p(X,L,N), който по даден списък от естествени числа L и естествено число X връща в числото N:

Вариант А
броят на тези елементи на L, които са кратни на X

Вариант Б
сумата на тези елементи на L, които са <= X

б) Да се напише дефиниция на ПРОЛОГ на предикат q(L1,L2,L), където L1=[X1,...,Xn], L2=[Y1,...,Yk] за n,k>=1, който връща в L:

Вариант А
списък, състоящ се от всички двойки [Xi,Mi], където Mi е броят на числата от L2, които са кратни на Xi

Вариант Б
списък, състоящ се от всички двойки [Yi,Ni], където Ni е сумата на числата от L1, които са <=Yi

Задача 2

а) Да се напише дефиниция на ПРОЛОГ на предикат p(X,Y,N), който по дадени естествени числа X,Y връща в N:

Вариант А
броят на числата, които делят X, но не делят Y

Вариант Б
броят на общите делители на X и Y

б) Да се напише генератор без повторения на множеството

Вариант А
{ (x,y) | x>=1, y>=1 и броят на числата, който делят X, но не делят Y е точно Y }

Вариант Б
{ (x,y) | x>=y и броят на общите делители на X и Y е точно 5 }

Време за работа - 2 часа.