Full Multiply in Railgun CLP (Re: ANN: Dogelog Player 2.1.4 (Railgun CLP))

Path	csiph.com!news.swapon.de!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From	Mild Shock <janburse@fastmail.fm>
Newsgroups	comp.lang.javascript
Subject	Full Multiply in Railgun CLP (Re: ANN: Dogelog Player 2.1.4 (Railgun CLP))
Date	Sat, 31 Jan 2026 00:00:03 +0100
Message-ID	<10ljd5j$16ti$3@solani.org> (permalink)
References	<10ktcu7$gfeg$2@solani.org>
MIME-Version	1.0
Content-Type	text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding	7bit
Injection-Date	Fri, 30 Jan 2026 23:00:03 -0000 (UTC)
Injection-Info	solani.org; logging-data="39858"; 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.23
Cancel-Lock	sha1:4XryPMQgLRUd3UwFfY7dm5uRrLw=
X-User-ID	eJwNx8kBwCAIBMCWBGVxy5Gr/xKS+Y1tCNIPDMfGhkjVYNcgkfvuV4UgLLT/ChiuS3Q4fS1V+FZw6jXTjscHY40WCQ==
In-Reply-To	<10ktcu7$gfeg$2@solani.org>
Xref	csiph.com comp.lang.javascript:124424

Show key headers only | View raw

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

Back to comp.lang.javascript | Previous | Next — Previous in thread | 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-31 00:00 +0100
    Special Values for Dogelog Player (Re: Full Multiply in Railgun CLP) Mild Shock <janburse@fastmail.fm> - 2026-02-18 00:01 +0100

csiph-web