Desperate Dan many contexts. A limited selection is mentioned here. Desperate Dan Desperate Dan is a wild west character in the British comic magazine "The Dandy" and has become their mascot. He made his appearance in the first issue which was dated 4 December 1937. He is apparently the world's strongest man, able to lift a cow with one hand. The pillow of his (reinforced) bed is filled with building rubble and his beard is so tough he shaves with a blowtorch. The character was created by Dudley D. Watkins, originally as an outlaw or ‘desperado’ (hence his name), but evolved into
Barber paradox :- person(X), not shaves(X,X). person(barber). where negation as failure is assumed. If we apply the stratification test known from Datalog, the predicate shaves is exposed as unstratifiable since it is defined recursively over its negation. In his book "Alice in Puzzleland", the logician Raymond Smullyan had the character Humpty Dumpty explain the apparent paradox to Alice. Smullyan argues that the paradox is akin to the statement "I know a man who is both five feet tall and six feet tall," in effect claiming that the "paradox" is merely a contradiction and not a true paradox at all, as the two