"Попытка диверсии" логическая задача - Prolog

DOMAINS
    имя = symbol
    номер = integer

PREDICATES
    nondeterm возможное_имя(имя)
    nondeterm сказал (имя, номер)
    nondeterm является_преступником (имя) 
    nondeterm говорит_правду (имя,номер)
    nondeterm говорит_ложь (имя,номер)
    nondeterm говорит_неизвестно (имя)

CLAUSES
    
    возможное_имя(а).
    возможное_имя(б).
    возможное_имя(в).
    
    % Высказывания
    % Это сделал не я.
    сказал (а,1):-
        not(является_преступником(а)).
    
    % Мне не нравятся космические полеты.   
    сказал (а,2):-
        является_преступником(а).
    
    % Я всегда говорю правду.   
    сказал (а,3):-
        сказал (а,3), сказал (а,1), сказал (а,2).
    
    % Это сделал не я.  
    сказал (б,1):-
        not(является_преступником(б)).
    
    %  Мне не нравятся пришельцы из космоса.    
    сказал (б,2):-
        является_преступником(б).
    
    % Я всегда говорю неправду. 
    сказал (б,3):-
        not(сказал (б,3)), not(сказал (б,1)), not(сказал (б,2)).
    
    % Это сделал не я.  
    сказал (в,1):-
        not(является_преступником(в)).
    
    % Мне нравятся гости из космоса.    
    сказал (в,2):-
        not(является_преступником(в)).
    
    % Только одно из моих высказываний ложно.   
    сказал (в,3):-
        not(сказал (в,1)), сказал (в,2), сказал (в,3);
        сказал (в,1), not(сказал (в,2)), сказал (в,3);
        сказал (в,1), сказал (в,2), not(сказал (в,3)).

    % Проверка правдивости высказывания в зависимости от того, кем является персонаж
    % все высказывания одного из подозреваемых - правда
    говорит_правду(Кто_сказал,Номер_высказывания):-
        сказал (Кто_сказал, Номер_высказывания).
    
    % все высказывания второго - ложь 
    говорит_ложь(Кто_сказал,Номер_высказывания):-
        not(сказал (Кто_сказал, Номер_высказывания)).
    
    % насколько лжет третий, ничего не известно.
    говорит_неизвестно(Кто_сказал):-
        сказал (Кто_сказал,1), сказал (Кто_сказал,2), сказал (Кто_сказал,3);
        сказал (Кто_сказал,1), сказал (Кто_сказал,2), not(сказал (Кто_сказал,3));
        сказал (Кто_сказал,1), not(сказал (Кто_сказал,2)), сказал (Кто_сказал,3);
        сказал (Кто_сказал,1), not(сказал (Кто_сказал,2)), not(сказал (Кто_сказал,3));
        not(сказал (Кто_сказал,1)), сказал (Кто_сказал,2), сказал (Кто_сказал,3);
        not(сказал (Кто_сказал,1)), сказал (Кто_сказал,2), not(сказал (Кто_сказал,3));
        not(сказал (Кто_сказал,1)), not(сказал (Кто_сказал,2)), сказал (Кто_сказал,3);
        not(сказал (Кто_сказал,1)), not(сказал (Кто_сказал,2)), not(сказал (Кто_сказал,3)).

    % Поиск ответа задачи
    является_преступником(Преступник):-
    
        % Генерация гипотезы.
        %возможное_имя(Преступник),
        возможное_имя(П), 
        возможное_имя(Л), not(Л=П),
        возможное_имя(Н), not(Н=П), not(Н=Л),
                
        % Проверка высказываний
        говорит_правду(П,1),
        говорит_правду(П,2),
        говорит_правду(П,3),
        говорит_ложь(Л,1),
        говорит_ложь(Л,2),
        говорит_ложь(Л,3),
        говорит_неизвестно(Н).
        
GOAL
    является_преступником(Преступник).