From: janburse@fastmail.fm   
      
   Dear All,   
      
   We are happy to announce a new edition   
   of the Dogelog Player:   
      
   - Enhanced library(compat):   
   We introduced a new built-in occurs_check/2.   
   The predicate could be bootstrapped from   
   unify_with_occurs_check/2 via occurs_check(V,T)   
   :- \+ unify_with_occurs_check(V, T). But   
   tapping into the native check gives better performance.   
      
   - Enhanced library(math):   
   We introduced sqrtrem/3 and isqrt/2 built-ins,   
   for integer square root. The former is a predicate   
   that also computes a reminder, and the later is   
   an evaluable predicate, that suppresses the reminder.   
      
   - New Railgun CLP:   
   What began as a sport in December 2025 to explore   
   a constraint solver that only uses ISO core   
   standard Prolog. Is now a full project with   
   iterative milestones. In this release we provide   
   the basic vocabulary of CLP(FD), and an enhanced   
   solver that uses min/max based partial consistency.   
      
   Have Fun!   
      
   Jan Burse, https://www.herbrand.ai/ , 22.01.2026   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)