That's my first question so please be tolerant.
I've logical problem to write in prolog/CLP:
"It is known only one character is telling the truth.
Mr April says Mr May tells lies.
Mr May says Mr June tells lies.
Mr June says that both Mr April and Mr May tell lies.
Write a program which determines who is telling the truth."
I solve problem on the paper and the solution is that Mr May tells truth.
But how write it in prolog? I maybe found similar resolution: WHO KILL - Similar solution
but I don't understand that. May someone know how do this or have another example?
Please help if you could :):):)