Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.prolog > #15496

ANN: Dogelog Player 2.1.6 (Assertion Sharing)

Show all headers | View raw

Dear All,

We are happy to announce a new edition
of the Dogelog Player:

- Enhanced core (0rNaN):
Special values are numbers, but neither
integer nor float. We introduced a further
special value, namely 0rNaN which stands
for not a number. Unlike the IEEE proposal,
we didn't extend arithmetic comparisons such
as max/3, (<)/2, etc... Only parsing/unparsing
and foreign function interface (FFI)
support was introduced.

- Precomputed Hashes:
Java programmers are familiar with the
hashCode() contract and with the programming
pattern of a cached hash. We went a step further
and gave the already existing frozen compounds
of Dogelog player an additional precomputed
.hash field. With amazing speed-up for built-ins
such as term_hash/2, (==)/2, etc..

- Assertion Sharing:
Precomputed hashes shine when combined with
NO-COPY mechanisms in the dynamic database,
notoriously difficult for WAM machines but
easy for Heap based Prolog systems such as
Dogelog Player. So far we provided only
program sharing (PS), this release also
features assertion sharing (AS).

Have Fun!

Jan Burse, https://www.herbrand.ai/ , 20.03.2026

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

Thread

ANN: Dogelog Player 2.1.6 (Assertion Sharing) Mild Shock <janburse@fastmail.fm> - 2026-03-20 18:29 +0100
  Just-in-Time Indexing in Dogelog Player (Re: ANN: Dogelog Player 2.1.6 (Assertion Sharing)) Mild Shock <janburse@fastmail.fm> - 2026-04-01 00:26 +0200
    Goal Outlining for Dogelog Player (Was: Just-in-Time Indexing in Dogelog Player) Mild Shock <janburse@fastmail.fm> - 2026-04-09 12:50 +0200

csiph-web