forum.uni-sofia.bg

Здравейте! Някой може ли да ми помогне с решението на тази задача, защото не съм сигурна дали съм разбрала правилно как се решава:

Дадена е следната логическа програма P:
p(a).
q(X, f(X)) :- p(X).

a) Дефинирайте оператора Гp (или Tp) за програмата P.
б) Намерете Lp - най-малката неподвижна точка на Гp.
в) Определете минималния Ербранов модел Mp на програмата P
г) Определете множеството Output(P) на програмата P.

Мисля, че "наличието" на отговор може да подскаже колко "много" хора от курса чаткат как се решават задачите....