The criminal is one of A, B, C and D.
A says: "It s not me"
B says: "It s D"
C says: "It s B"
D says: "It s not me"
And we know that only one of them tells the truth.
Who is the one? I want to solve it by using Prolog.
It s an interview question.