XPost: comp.theory, sci.math, comp.lang.prolog   
   From: mikko.levanto@iki.fi   
      
   On 09/01/2026 01:28, olcott wrote:   
      
   > Non-programmers and non-Prolog programmers only   
   > understand Occurs‑check failure as “Prolog doesn’t like it”.   
      
   I don't know about non-programmers but everyone who knows enough about   
   programming to be able to read the definition of the predicate   
   unify_with_occurs_check/2 can understand that its failure means that   
   the programmer does not like a cyclic structure at that point.   
      
   --   
   Mikko   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)