Предположим, у меня есть следующие правила: unify('test', 'this is a test'). run :- write('Enter something: '), read(X), unify(X, Y), write('The answer is '), write(Y). И затем я запускаю его следующим образом: ?-...

Я реализую добрую систему для нового функционального языка программирования, и в настоящее время я пишу функцию для объединения двух видов. Рассмотрим четыре случая: +---------+---------+-------------------------------------------------------+ |...

Я работаю над проблемой, связанной с унификацией, с определяемым пользователем типом Subst a. Проблема гласит: «Определить класс типов Unified, указывающий, что функция unify::a -> a -> Maybe (Subst a) должна быть определена для любого типа a...