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

         

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



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

Содержание Вперед