Groups | Search | Server Info | Keyboard shortcuts | Login | Register

Groups > comp.lang.prolog > #15493

Stored Hashes for Dogelog Player (Was: ANN: Dogelog Player 2.1.5 (Basic Indexicals))

Show all headers | View raw

Hi,

Dogelog Player is a Prolog system for the JavaScript,
Python and Java target with libraries mostly written
in 100% Prolog. Among the libraries we find tree maps
library(util/tree) and hash maps library(util/hash).
To speed up hash maps for frozen compounds we
introduced precomputed hashes.

Stored .hash values are popular through the Java
.hashCode() contract. Prolog systems shy away because
of additional memory or in favor of other data structures.
We show that they can be also beneficial for frozen
compounds and demonstrate a 2x times speed-up
for distinct/1.

Bye

See also:

Stored Hashes for Dogelog Player
https://medium.com/2989/f440f2fe7d43

Mild Shock schrieb:
> Dear All,
> 
> We are happy to announce a new edition
> of the Dogelog Player:
> 
> - Enhanced core:
> Special values are numbers, but neither integer
> nor float. The introduced special values so far
> are positive and negative infinity denoted by
> 0rInf respectively -0rInf. Comparisons such as
> max/3, (<)/2, etc.. has been extended, but
> otherwise an error is thrown.
> 
> - Enhanced library(compat):
> We did some predicate reshuffling, like the
> predicate acyclic_term/1 went from library(compat)
> to library(cycle) and the predicate divmod/4 went
> from library(math) to library(compat). A new
> evaluable function in library(compat) is gcd/3,
> which has been natively realized for the JavaScript,
> Python and Java target.
> 
> - New Basic Indexicals:
> In search of the ultimate perfect crystal skull
> for some new Railgun CLP(Z) v11, that will compete
> with Z3 and Gecode, we found ghost patterns of
> Rina Dechters Bucket elimination. The buckets are
> now dancing and singing equipped with interval arithmetic
> and linear form detection, not running in circles
> because we do without propagation fixpoints.
> 
> Have Fun!
> 
> Jan Burse, https://www.herbrand.ai/ , 23.02.2026

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

Thread

ANN: Dogelog Player 2.1.5 (Basic Indexicals) Mild Shock <janburse@fastmail.fm> - 2026-02-23 19:15 +0100
  Stored Hashes for Dogelog Player (Was: ANN: Dogelog Player 2.1.5 (Basic Indexicals)) Mild Shock <janburse@fastmail.fm> - 2026-03-17 11:41 +0100
    Assertion Sharing in Dogelog Player (Was: ANN: Dogelog Player 2.1.5 (Basic Indexicals)) Mild Shock <janburse@fastmail.fm> - 2026-03-20 07:42 +0100

csiph-web