Особенности реализации алгоритма проверки логического следования методом резолюции. Реализация проекта на логическом языке Prolog и на функциональном языке Haskell: сравнительная характеристика. Знакомство с листингом программы на необходимых языках.
14.07.2012 |
Функциональное и логическое программирование |
Программирование, компьютеры и кибернетика |
Язык: русский |
Просмотры: 54
