Контролно по Логическо програмиране, 2006 год. А група: 1 зад

а) предикат p₁(x, y), който по дадени x,yN⁺ разпознава дали сумата от делителите на x е равна на y.

б) предикат p₂(x,Y), който по дадено xN⁺ генерира в Y (последователно, при преудовлетворяване) всички yN⁺, такива че сумата от делителите на y е равна на x.

в) предикат p₃(x, L), който по дадено xN⁺ връща в L списък, който включва всички yN⁺, такива че сумата от делителите на y е равна на x.

а) предикат p₁(x, y), който по дадени x,yN⁺ разпознава дали броят на делителите на x е равен на y.

б) предикат p₂(x,Y), който по дадено xN⁺ генерира в Y (последователно, при преудовлетворяване) всички yN⁺, такива че броят на делителите на y е равен на x.

в) предикат p₃(x, m, L), който по дадени x, mN⁺ връща в L списък, който включва всички yN⁺, ym, такива че броят на делителите на y е равен на x.

l_A = [ [ a_1,1, …, a­_1,n], … , [a_m,1, …, a_m,n] ].

Напишете програми на Пролог, които:

а) събират две матрици с една и съща размерност

б) транспонират матрица

в) умножават матрици с размерност mxn и nxk.

Тук, разбира се, предполагаме, че матриците, които се четат, и матрицата, която се връща, са представени по описания по-горе начин.

Контролно по Логическо програмиране, 2007 год.
1 зад. Казваме, че списъкът l = [ x₁, …, x_n], е палиндром ако [ x₁, …, x_n] = [ x_n, …, x₁], а l е почти палиндром, ако

А група: след промяна на някой елемент на l се получава палиндром.

В група: след вмъкване на на някакъв елемент (на произволна позиция) в дадения списък l се получава палиндром.

Напишете програма, която разпознава почти-палиндромите.