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)

Show all headers | 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 | Next — Next 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