ЛР7

Реалізація МФПС шляхом логічного програмування

Ознайомитись з працями [17, 28, 25].

Розробити факти і правила логічного виведення для формалізованого подання обраної викладачем системи.