这是我的第一个问题，所以请宽容。
我在 prolog/CLP 中编写逻辑问题：
“众所周知，只有一个角色在说真话。April
先生说 May 先生说谎。May
先生说 June 先生说谎。June
先生说 April 先生和 May 先生都说谎。
编写一个程序来确定谁在说谎。真相。”
我在纸上解决问题，解决方案是梅先生说实话。
但是如何在prolog中编写呢？我可能找到了类似的解决方案：WHO KILL - Similar solution
但我不明白。有人可以知道如何做到这一点或有另一个例子吗？
如果可以的话请帮忙:):):)