Программирование на языке Пролог для искусственного интеллекта
6ec30db9

Проверка типов термов



7. 1.    Проверка типов термов

Содержание раздела