ЛР6

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

Ознайомитись з працями [16, 18].

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