Groups > comp.lang.python > #197659

ANN: Dogelog Player 2.1.4 (Railgun CLP)

Path	csiph.com!server.example.net!weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From	Mild Shock <janburse@fastmail.fm>
Newsgroups	comp.lang.python
Subject	ANN: Dogelog Player 2.1.4 (Railgun CLP)
Date	Thu, 22 Jan 2026 15:41:30 +0100
Message-ID	<10ktcup$gfeg$3@solani.org> (permalink)
MIME-Version	1.0
Content-Type	text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding	7bit
Injection-Date	Thu, 22 Jan 2026 14:41:29 -0000 (UTC)
Injection-Info	solani.org; logging-data="540112"; mail-complaints-to="abuse@news.solani.org"
User-Agent	Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:128.0) Gecko/20100101 Firefox/128.0 SeaMonkey/2.53.22
Cancel-Lock	sha1:spbKPeoT3sFouSu4ATHh5bbvcKk=
X-User-ID	eJwNy8EBwCAIA8CVBEOAcSrg/iPY+59tCstBI+zabe2Q8eOSaNTi5ByWyZKw+GprNaDOCAeYKbrz9Ey1/iMeQ0gU7w==
X-Mozilla-News-Host	news://news.solani.org:119
Xref	csiph.com comp.lang.python:197659

Show key headers only | View raw

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

Back to comp.lang.python | Previous | Next — Next in thread | Find similar

Thread

ANN: Dogelog Player 2.1.4 (Railgun CLP) Mild Shock <janburse@fastmail.fm> - 2026-01-22 15:41 +0100
  Full Multiply in Railgun CLP (Re: ANN: Dogelog Player 2.1.4 (Railgun CLP)) Mild Shock <janburse@fastmail.fm> - 2026-01-30 23:58 +0100
    Basic Indexicals for Railgun CLP(Z) (Re: Full Multiply in Railgun CLP) Mild Shock <janburse@fastmail.fm> - 2026-02-04 23:01 +0100

csiph-web