Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » sci.math.* » sci.math.independent

Topic: The LIAR PARADOX in Action!
Replies: 0  

Advanced Search

Back to Topic List Back to Topic List  
Graham Cooper

Posts: 4,280
Registered: 5/20/10
The LIAR PARADOX in Action!
Posted: Jul 13, 2013 7:11 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply


SEE THE PROGRAM HERE:

http://phpprolog.com/demo/ASIMOV-3LAWS-OF-ROBOTICS.png





X 5 % logic demo

X 6 true X :-
assert P X
truther P

X 7 false X :-
assert P X
liar P

X 8 truther X :-
assert P [ liar X ]
liar P

X 9 liar X :-
assert P [ liar X ]
truther P

X 10 assert bethy [ liar tom ]

X 11 assert tom [ liar bethy ]





TRACE
liar tom ?

HEAD 1
liar X
TAIL 1
assert P liar X
assert P liar [ tom ]
HEAD 1
assert bethy [ liar tom ]
MATCH
TRUE 1
TAIL 2
truther P
truther [ bethy ]
HEAD 1
truther X
TAIL 1
assert P liar X
assert P liar [ bethy ]
HEAD 1
assert tom [ liar bethy ]
MATCH
TRUE 1
TAIL 2
liar P
liar [ tom ]
HEAD 1
liar X
TAIL 1
assert P liar X
assert P liar [ tom ]
HEAD 1
assert bethy [ liar tom ]
MATCH
TRUE 1
TAIL 2
truther P
truther [ bethy ]
HEAD 1
truther X
TAIL 1
assert P liar X
assert P liar [ bethy ]
HEAD 1
assert tom [ liar bethy ]
MATCH
TRUE 1
TAIL 2
liar P
liar [ tom ]
HEAD 1
liar X
TAIL 1
assert P liar X
assert P liar [ tom ]
HEAD 1
assert bethy [ liar tom ]
MATCH
TRUE 1
TAIL 2
truther P
truther [ bethy ]
HEAD 1
truther X
TAIL 1
assert P liar X
assert P liar [ bethy ]
HEAD 1
assert tom [ liar bethy ]
MATCH
TRUE 1
TAIL 2
liar P
liar [ tom ]
HEAD 1
liar X
TAIL 1
assert P liar X
assert P liar [ tom ]
HEAD 1
assert bethy [ liar tom ]
MATCH
TRUE 1
TAIL 2
truther P
truther [ bethy ]
HEAD 1
truther X
TAIL 1
assert P liar X
assert P liar [ bethy ]
HEAD 1
assert tom [ liar bethy ]
MATCH
TRUE 1
TAIL 2
liar P
liar [ tom ]
HEAD 1
liar X
TAIL 1
assert P liar X
assert P liar [ tom ]
HEAD 1
assert bethy [ liar tom ]
MATCH
TRUE 1
TAIL 2
truther P
truther [ bethy ]
HEAD 1
truther X
TAIL 1
assert P liar X
assert P liar [ bethy ]
HEAD 1
assert tom [ liar bethy ]
MATCH
TRUE 1
TAIL 2
liar P
liar [ tom ]
HEAD 1
liar X
TAIL 1
assert P liar X
assert P liar [ tom ]
HEAD 1
assert bethy [ liar tom ]
MATCH
TRUE 1
TAIL 2
truther P
truther [ bethy ]
HEAD 1
truther X
TAIL 1
assert P liar X
assert P liar [ bethy ]
HEAD 1
assert tom [ liar bethy ]
MATCH
TRUE 1
TAIL 2
liar P
liar [ tom ]
HEAD 1
liar X
TAIL 1
assert P liar X
assert P liar [ tom ]
HEAD 1
assert bethy [ liar tom ]
MATCH
TRUE 1
TAIL 2
truther P
truther [ bethy ]
HEAD 1
truther X
TAIL 1
assert P liar X
assert P liar [ bethy ]
HEAD 1
assert tom [ liar bethy ]
MATCH
TRUE 1
TAIL 2
liar P
liar [ tom ]
HEAD 1
liar X
TAIL 1
assert P liar X
assert P liar [ tom ]
HEAD 1
assert bethy [ liar tom ]
MATCH
TRUE 1
TAIL 2
truther P
truther [ bethy ]
HEAD 1
truther X
TAIL 1
assert P liar X
assert P liar [ bethy ]
HEAD 1
assert tom [ liar bethy ]
MATCH
TRUE 1
TAIL 2
liar P
liar [ tom ]
HEAD 1
liar X
TAIL 1
assert P liar X
assert P liar [ tom ]
HEAD 1
assert bethy [ liar tom ]
MATCH
TRUE 1
TAIL 2
truther P
truther [ bethy ]
HEAD 1
truther X
TAIL 1
assert P liar X
assert P liar [ bethy ]
HEAD 1
assert tom [ liar bethy ]
MATCH
TRUE 1
TAIL 2
liar P
liar [ tom ]
HEAD 1
liar X
TAIL 1
assert P liar X
assert P liar [ tom ]
HEAD 1
assert bethy [ liar tom ]
MATCH
TRUE 1
TAIL 2
truther P
truther [ bethy ]
HEAD 1
truther X
TAIL 1
assert P liar X
assert P liar [ bethy ]
HEAD 1
assert tom [ liar bethy ]
MATCH
TRUE 1
TAIL 2
liar P
liar [ tom ]
HEAD 1
liar X
TAIL 1
assert P liar X
assert P liar [ tom ]
HEAD 1
assert bethy [ liar tom ]
MATCH
TRUE 1
TAIL 2
truther P
truther [ bethy ]
HEAD 1
truther X
TAIL 1
assert P liar X
assert P liar [ bethy ]
HEAD 1
assert tom [ liar bethy ]
MATCH
TRUE 1
TAIL 2
liar P
liar [ tom ]
HEAD 1
liar X
TAIL 1
assert P liar X
assert P liar [ tom ]
HEAD 1
assert bethy [ liar tom ]
MATCH
TRUE 1
TAIL 2
truther P
truther [ bethy ]
HEAD 1
truther X
TAIL 1
assert P liar X
assert P liar [ bethy ]
HEAD 1
assert tom [ liar bethy ]
MATCH
TRUE 1
TAIL 2
liar P
liar [ tom ]
HEAD 1
liar X
TAIL 1
assert P liar X
assert P liar [ tom ]
HEAD 1
assert bethy [ liar tom ]
MATCH
TRUE 1
TAIL 2
truther P
truther [ bethy ]
HEAD 1
truther X
TAIL 1
assert P liar X
assert P liar [ bethy ]
HEAD 1
assert tom [ liar bethy ]
MATCH
TRUE 1
TAIL 2
liar P
liar [ tom ]
HEAD 1
liar X
TAIL 1
assert P liar X
assert P liar [ tom ]
HEAD 1
assert bethy [ liar tom ]
MATCH
TRUE 1
TAIL 2
truther P
truther [ bethy ]
HEAD 1
truther X
TAIL 1
assert P liar X
assert P liar [ bethy ]
HEAD 1
assert tom [ liar bethy ]
MATCH
TRUE 1
TAIL 2
liar P
liar [ tom ]
HEAD 1
liar X
TAIL 1
assert P liar X
assert P liar [ tom ]
HEAD 1
assert bethy [ liar tom ]
MATCH
TRUE 1
TAIL 2
truther P
truther [ bethy ]
HEAD 1
truther X
TAIL 1
assert P liar X
assert P liar [ bethy ]
HEAD 1
assert tom [ liar bethy ]
MATCH
TRUE 1
TAIL 2
liar P
liar [ tom ]
HEAD 1
liar X
TAIL 1
assert P liar X
assert P liar [ tom ]


.
.
.
.
.

<<<< BIG SNIP >>>

.
.
.
.
.


TAIL 1
assert P liar X
assert P liar [ bethy ]
HEAD 1
assert tom [ liar bethy ]
MATCH
TRUE 1
TAIL 2
liar P
liar [ tom ]
HEAD 1
liar X
TAIL 1
assert P liar X
assert P liar [ tom ]
FALSE 1
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL
FALSE 2
FAIL

liar tom ?
NOT FOUND!





> if you always lie, and you say that I am a liar, then I must be telling
> the truth, which means that you do always lie (?).

~ Bethy




http://phpprolog.com/demo/ASIMOV-3LAWS-OF-ROBOTICS.png





Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.