标签： prolog linear-programming logic-programming
这是我的第一个问题所以请宽容。
我在prolog / CLP中编写逻辑问题：
“众所周知，只有一个角色 说实话。四月先生说 梅先生说谎。左先生说先生 六月说谎。左先生说 四月和五月先生都说 谎言。写一个程序 确定谁在说实话。“
我在纸上解决了问题，解决方案就是May先生说实话。
但是如何在prolog中写出来？我可能会找到类似的解决方案：WHO KILL - Similar solution
但我不明白。可能有人知道这是怎么做的还是有另一个例子？
如果可以，请帮助:)）:)）