Как в данной задачи записать условие "ровно 3 из 4 утверждений истинны и ровно 1 утверждение ложно.".


РАЗНЫЕ ЧЕТЫРЕХУГОЛЬНИКИ
Учитель начертил на классной доске четырехугольник.
Янош утверждал, что это квадрат. Имре считал, что четырехугольник - трапеция. Мария думала, что на доске изображен ромб.
Эва назвала четырехугольник параллелограммом. Выслушав каждого и обстоятельно изучив свойства четырехугольника,
учитель установил, что ровно 3 из 4 утверждений истинны и ровно 1 утверждение ложно.
Какой четырехугольник начертил учитель на классной доске?

Вот то что я написал:


DOMAINS

имя,фигура,противолежащие_стороны,все_углы,все_стороны,правда=symbol
номер_высказывания=integer
гипотиза=чет(имя,фигура,правда)


PREDICATES

nondeterm ищем_решение(список_гипотизы)
nondeterm возможная_правда(правда)
nondeterm свойства(номер_высказывания,противолежащие_стороны,все_углы,все_стороны)
CLAUSES

%проверяем: входит ли студент в группу друзей?

%входит_в(Друг,[Друг|_]).
%входит_в(Друг,[_|Хвост_списка_друзей]):- входит_в(Друг,Хвост_списка_друзей).

%Правило
/*сказал(утверждение(учитель,1),чел(имре,квадрат,Номер),_,_,_):-
Номер=1.
сказал(утверждение(учитель,2),чел(имре,трапеция,Номер),_,_,_):-
Номер=1.
сказал(утверждение(учитель,3),чел(имре,ромб,Номер),_,_,_):-
Номер=1.
сказал(утверждение(учитель,4),чел(имре,параллелограмм,Номер),_,_,_):-
Номер=1.*/
%Возможные



возможная_правда(ложь).

%Гипотиза

ищем_решение(Друзья):-
возможная_правда(Пр1),
возможная_правда(Пр2),
возможная_правда(Пр3),
возможная_правда(Пр4),
Имя1="янош",Имя2="имре",Имя3="мария",Имя4="эва",
Фиг1="квадрат",Фиг2="трапеция",Фиг3="ромб",Фиг4="параллелограмм",

А=чет(Имя1,Фиг1,Пр1),
Б=чет(Имя2,Фиг2,Пр2),
В=чет(Имя3,Фиг3,Пр3),
Г=чет(Имя4,Фиг4,Пр4),

Друзья=[А,Б,В,Г].

%Янош утверждал, что это квадрат.



%Имре считал, что четырехугольник - трапеция.



%Мария думала, что на доске изображен ромб.



%Эва назвала четырехугольник параллелограммом.


GOAL

ищем_решение(Друзья).