Is the structure of my Prolog expression isomorphic to the structure of the Liar Paradox?
Is the structure of my Prolog expression isomorphic to the structure of the Liar Paradox?
We assume that Prolog does not evaluate the meanings of the term "not" and "true" and only evaluates the the structure of the expression.
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.
After careful review by others it seems correct to say that the above expression is isomorphic to the (structure of the) Liar Paradox.
Experts seem to think that Prolog is taking "not" and "true" as meaningless and is only evaluating the structure of the expression.
?- LP = foo(bar(LP)).
LP = foo(bar(LP)).
?- unify_with_occurs_check(LP, foo(bar(LP))).
false.
The SWI-Prolog implementation of unify_with_occurs_check/2 is cycle-safe and only guards against creating cycles, not against cycles that may already be present in one of the arguments. https://www.swi-prolog.org/pldoc/man?predicate=unify_with_occurs_check/2
My understanding of this is that Prolog detects a cycle in the directed graph of the evaluation sequence of the expression.
The Clocksin & Mellish text in my answer explains the details of why unify_with_occurs_check rejects LP. ---
Prolog correctly rejects any expression having the same pathological self referential structure as the Liar Paradox with its unify_with_occurs_check/2.
- I wrote a program to handle unit conversions in Prolog, but I always get stack-overflows: Do you know why?
- Eliminating three-valued logic predicates choice points with if_/3
- What are the best Prolog programming practices and style guidelines?
- Prolog, could not derive which predicate may be called
- How to make this predicate enumerate trees fairly?
- Embedding a Prolog engine in Obj-C projects
- Are HiLog terms still useful in modern Prolog?
- How do I pass parameters to ichiban/prolog's Query function?
- Prolog binary addition without cuts(!)
- Scheduling Exercise
- Underscore followed by numbers instead of solution
- Age Constraint Finding
- what does this error message in swi prolog mean?
- Sicstus CLPFD labeling time discrepancy
- Meaning of instantiation mode indicators in arguments of Prolog predicates
- Parsing from char to digit Prolog
- Module expansion of goals passed to library meta-predicates
- Using Prolog to solve a brain teaser (Master Mind)
- Better definition of the reifying memberd_t/3
- read file and construct facts in prolog
- How to express "not" in Prolog DCG without using a cut
- Pure append/3 for mode (-,+,+) that wouldn't leave a Choice Point
- Prolog count the number of times a predicate is true
- Turbo Prolog: Create a palindrome by adding the smallest number of characters to the list
- Blocks-World Problem in Prolog keeps oscillating between the same two states
- How can I "associate" vars to terms in Prolog
- Unexpected Behavior in Prolog Water Sort Puzzle Solver: Duplicate Results, Persistent State, and GoalCheck Inconsistencies
- Prolog Binary Addition Issue?
- Prolog Design Pattern to extend module predicates
- What's the SLD tree for this query?