ЛР7
Умови завершення
Реалізація МФПС шляхом логічного програмування
Ознайомитись з працями [17, 28, 25].
Розробити факти і правила логічного виведення для формалізованого подання обраної викладачем системи.