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


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

ANN: Dogelog Player 2.2.1 (Just-in-Time Indexing)

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.1 (Just-in-Time Indexing)
Date Thu, 9 Apr 2026 20:00:23 +0200
Message-ID <10r8pfn$2dpk$3@solani.org> (permalink)
MIME-Version 1.0
Content-Type text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding 7bit
Injection-Date Thu, 9 Apr 2026 18:00:23 -0000 (UTC)
Injection-Info solani.org; logging-data="79668"; 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:Fgrd/0fNARiTwDH6/JrwMLCneKw=
X-User-ID eJwNy8kRACEMA8GU8CWKcLzCyj+EZd49FTBwJwpZKhmORcPZQx07wd6qF2iXlj5fQOs2jZ58E8afvIoVs/UDV2YV7A==
X-Mozilla-News-Host news://news.solani.org:119
Xref csiph.com comp.lang.java.programmer:53758

Show key headers only | View raw


Dear All,

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

- Enhanced core (IEEE Comparisons):
The special value 0rNaN received comparison
drawn from IEEE. The built-in (=\=)/2 now
implements not quiet, while the built-ins
(=:=)/2, (<)/2, etc. now implement quiet.
The built-ins (@<)/2, etc. now implement
quiet ordered, while the built-ins min/3
and max/3 now implement number.

- Goal Inlining/Outlining:
We noticed performance problems of negation
as failure (\+)/2 when the argument is a
complex goal. Many Prolog systems don't
suffer from this problem. We implemented
a form of goal expansion, but with reversibility,
so that rewritten (\+)/2 calls are seen
again in listing/[0,1] and trace/0.

- Just-in-Time Indexing:
The scope is currently MAX_INDEX = 2
indiscriminantly for static and dynamic
predicates. The system can dynamically
allocate 1st or 2nd argument indexes when
needed, and even create combined 1st+2nd
argument indexes. The enhancement comes
with a new jiti_list/[0,1] utilitiy.

Have Fun!

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

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


Thread

ANN: Dogelog Player 2.2.1 (Just-in-Time Indexing) Mild Shock <janburse@fastmail.fm> - 2026-04-09 20:00 +0200
  Tabling Directive for Dogelog Player (Re: ANN: Dogelog Player 2.2.1 (Just-in-Time Indexing)) Mild Shock <janburse@fastmail.fm> - 2026-04-16 12:38 +0200
    Scattering Richtext in Dogelog Player (Re: Egg SAT in Dogelog Player) Mild Shock <janburse@fastmail.fm> - 2026-05-01 12:53 +0200

csiph-web