> Ждём алаверды на английском, можно на Plain English (есть такой ЯП), если
> тяжело сразу для машины Тьюринга.

:- set_prolog_flag(double_quotes, codes).
filter_whitespace       --> " ", !, filter_whitespace.
filter_whitespace,[Sym] --> \+ " ", [Sym], !, filter_whitespace.
filter_whitespace([], []).
palindrome -->
        ( [Sym], palindrome, [Sym] )
      | ( [Sym], [Sym] )
      | [_].
start :- ( Phrase = "я иду съ мечемъ судия"
         | Phrase = " жоп па "
         | Phrase = "я разуму уму заря    "),
         phrase((filter_whitespace, palindrome), Phrase),
         format('Palindrome: ~s\n', [Phrase]),
         var(Phrase).
:- start ; halt.

-

% yap -q -l pal.pl                                                                    
Palindrome: я иду съ мечемъ судия
Palindrome: я разуму уму заря
% swipl -lq pal.pl                                                                     
Palindrome: я иду съ мечемъ судия
Palindrome: я разуму уму заря