home bbs files messages ]

Forums before death by AOL, social media and spammers... "We can't have nice things"

   sci.logic      Logic -- math, philosophy & computationa      262,912 messages   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]

   Message 262,102 of 262,912   
   Kaz Kylheku to Richard Damon   
   Re: Carol's question + my Prolog are a c   
   22 Dec 25 19:30:32   
   
   XPost: comp.theory, comp.lang.prolog, sci.math   
   From: 046-301-5902@kylheku.com   
      
   On 2025-12-22, Richard Damon  wrote:   
   > Which is irrelevent, as Prolog is not Turing Complete.   
      
   Oh, Prolog is definitely Turing Complete.   
      
   (In the abstract, not as implemented in a resource-constrained   
   machine.)   
      
   --   
   TXR Programming Language: http://nongnu.org/txr   
   Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal   
   Mastodon: @Kazinator@mstdn.ca   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]


(c) 1994,  bbs@darkrealms.ca