1. Forum
  2. FidoNet
  3. comp.lang.python

  • ANN: Dogelog Player 2.1.4 (Railgun CLP)

    From Mild Shock@3:633/10 to All on Thursday, January 22, 2026 15:41:30
    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

    --- PyGate Linux v1.5.2
    * Origin: Dragon's Lair, PyGate NNTP<>Fido Gate (3:633/10)
  • From Mild Shock@3:633/10 to All on Friday, January 30, 2026 23:58:32
    Subject: Full Multiply in Railgun CLP (Re: ANN: Dogelog Player 2.1.4 (Railgun CLP))



    Railgun CLP is a portable constraint solver
    library, developed in connection with Dogelog
    Player. It requires nothing more than ISO core
    standard Prolog and shows an amazing performance.
    We added full multiply.

    We discussed full multiply which can extend the
    constraint solver from positive intervals, to
    negative and zero centered intervals. The realized
    compilation scheme does incure a small penality
    and in examples such as Pythago and Euler we still
    see a 5x to 15x speed-up against SWI-Prolog.

    See also:

    Full Multiply in Railgun CLP
    https://medium.com/2989/26eb4445e5b1

    Mild Shock schrieb:
    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


    --- PyGate Linux v1.5.8
    * Origin: Dragon's Lair, PyGate NNTP<>Fido Gate (3:633/10)