英文:
Is this the correct way to encode the structure of the Liar Paradox in Prolog?
问题
这是在Prolog中编码谬误悖论的正确方式吗？
英文中的谬误悖论： "This sentence is not true."
?- LP = not(true(LP)).
LP = not(true(LP)).
?- unify_with_occurs_check(LP, not(true(LP))).
false.
英文:
Is this the correct way to encode the Liar Paradox in Prolog?
Liar Paradox in English: "This sentence is not true."
?- LP = not(true(LP)).
LP = not(true(LP)).
?- unify_with_occurs_check(LP, not(true(LP))).
false.
答案1
得分: -2
Prolog正确拒绝具有与说谎者悖论相同病态自我引用结构的任何表达式，使用其unify_with_occurs_check/2。
英文:
Prolog correctly rejects any expression having the same pathological self referential structure as the Liar Paradox with its unify_with_occurs_check/2.
通过集体智慧和协作来改善编程学习和解决问题的方式。致力于成为全球开发者共同参与的知识库，让每个人都能够通过互相帮助和分享经验来进步。
评论