Инвертирование члена в Curry (PAKCS) не дает ответов

Программа ‹smap.informatik.uni-kiel.de/smap.cgi?75› дает только одно решение, так как правило

member x (h:t) = if x =:= h then True else member x t

объединяет x с первым элементом списка и дает True и ничего больше. Обратите внимание, что (=:=) является ограничением унификации, а не логическим тестом. Это означает, что x =:= 1 связывает x с 1 (чтобы удовлетворить ограничение) и дает True, но никогда False. Следовательно, 2 =:= 1 просто терпит неудачу, а не дает False. С другой стороны, 2 == 1 дает False. Таким образом, вы можете ожидать, что x == 1 связывает x с 1, давая True, или связывает x с 2, 3, 4,... давая False. На самом деле это имеет место в реализации Curry KiCS2, но PAKCS для по какой-то причине более ограниченным, так что он останавливается на этом выражении.

Еще одно замечание: (=:=) можно рассматривать как оптимизацию (==), которую можно использовать в том случае, когда требуется только результат True, например, в условиях правил. Поэтому более новая реализация PAKCS автоматически преобразует (==) в (=:=) в таких случаях, чтобы в исходных программах можно было использовать только (==). Дополнительную информацию можно найти в этой статье.

Кажется, что в языке программирования Curry == не является функцией, которая может объединять неопределенные значения.

Провожу некоторые эксперименты с другой реализацией Curry, которая случайно была установлена ​​в моей системе (curry-0.9.12-alt1.dev20141223.x86_64):

Prelude> (x == 'a') =:= True where x free
Suspended
Prelude> let match_a 'a' = True in match_a x =:= True where x free
{x = 'a'}
Prelude>