XPost: comp.theory, sci.math, comp.ai.philosophy   
   From: chris.m.thomasson.1@gmail.com   
      
   On 11/27/2025 12:22 AM, Mikko wrote:   
   > Tristan Wibberley kirjoitti 26.11.2025 klo 21.46:   
   >> On 26/11/2025 15:27, olcott wrote:   
   >>> This is formalized in the Prolog programming language   
   >>> ?- LP = not(true(LP)).   
   >>> LP = not(true(LP)).   
   >>> ?- unify_with_occurs_check(LP, not(true(LP))).   
   >>> false.   
   >>   
   >> Why do you keep posting that?   
   >   
   > In order to distract from the facts he doesn't want to face.   
   >   
      
   ditto.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)