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


Groups > comp.lang.java.programmer > #53761

ANN: Dogelog Player 2.2.2 (Unified Tabling)

Path csiph.com!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.java.programmer
Subject ANN: Dogelog Player 2.2.2 (Unified Tabling)
Date Fri, 1 May 2026 23:30:36 +0200
Message-ID <10t361t$18chr$3@solani.org> (permalink)
MIME-Version 1.0
Content-Type text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding 7bit
Injection-Date Fri, 1 May 2026 21:30:37 -0000 (UTC)
Injection-Info solani.org; logging-data="1323579"; 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:VRLkfVduyEcGCGCzTLYLj0Xtx2E=
X-Mozilla-News-Host news://news.solani.org:119
X-User-ID eJwFwQkBwDAIA0BLUEg65PAU/xJ2B6OyrxN0LPbJOyKz+Qhr2+qTO2RGt5J24prK0UxYdVThwofz2XLC5wdqoRXn
Xref csiph.com comp.lang.java.programmer:53761

Show key headers only | View raw


Dear All,

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

- Tabling Directive:
It turns out that our term expansion is fit
enough to provide a tabling directive table/1.
The directive will prepare a query and a answer
cache for the given predicate, as well as a
wrapper. The current version does not yet
realize tabling of non-wellfounded recursion.

- Hash Indexes:
The tabling does not use a table space separate
from the dynamic database, instead the caches
are realized through dynamic predicates. To
profit even more from our ground term sharing,
we now offer pre-computed hash indexes. For
large ground terms, the tabling mechanism
can then exhibit emergent local interning.

- Rubber Band:
The format/[2,3] predicates got a facelift and
we now support the rubber band ~`Ct and the
column margin ~N|. The challenge was to keep
the streaming behaviour, which we could keep
for the first rubber band separated segment.
A further challenge was scattering character
richtext, which the format specifiers
~defgq can produce.

Have Fun!

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

Back to comp.lang.java.programmer | Previous | NextNext in thread | Find similar


Thread

ANN: Dogelog Player 2.2.2 (Unified Tabling) Mild Shock <janburse@fastmail.fm> - 2026-05-01 23:30 +0200
  Re: ANN: Dogelog Player 2.2.2 (Unified Tabling) root <root@root.com> - 2026-05-07 15:58 -0300
  Dogelog Player on a A18 Everest (Re: ANN: Dogelog Player 2.2.2 (Unified Tabling)) Mild Shock <janburse@fastmail.fm> - 2026-05-16 11:19 +0200

csiph-web