ANN: Dogelog Player 2.1.4 (Railgun CLP)

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!