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

ANN: Dogelog Player 1.3.5 (Cyclic Terms)

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 1.3.5 (Cyclic Terms)
Date	Sat, 2 Aug 2025 15:44:55 +0200
Message-ID	<106l4on$366q0$3@solani.org> (permalink)
MIME-Version	1.0
Content-Type	text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding	7bit
Injection-Date	Sat, 2 Aug 2025 13:44:55 -0000 (UTC)
Injection-Info	solani.org; logging-data="3349312"; 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.21
Cancel-Lock	sha1:PbWPZRWMkF7tRR9hEZK76H4qiPA=
X-User-ID	eJwFwYEBwCAIA7CXLNDWnTMd/H/CEqag6xJVHI6nluhG6ESKDXaz/MY5eBZyXHwKtd+VfQl9iBtjayPdPyRwFBI=
X-Mozilla-News-Host	news://news.solani.org:119
Xref	csiph.com comp.lang.java.programmer:53744

Show key headers only | View raw

Dear All,

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

- Enhanced Core:
We provide internally unify_cyclic() which implements
Hopcroft & Karp (1971) algorithm and can deal with
cyclic terms. It is accessible via the built-in
predicate (=)/2 and also used by the Prolog interpreter
for solving clauses. Similar there is an enhanced
(==)/2 available to the end-user.

- Enhanced library(tools):
The debugger is now cyclic term aware and uses a term
factoring based on a new same_term/2 before printing
a goal. The display is simply a conjunction Equation_1,
.., Equation_n, Goal, where the equations are necessary
to break cycles. As before Prolog variables are still
printed by their serial number.

- Enhanced library(session):
The answer display is now cyclic term aware and uses
the same term factoring as the debugger. Answer
substitutions and cycle breaking equations are
interspersed. We tried hard to not break old features,
such as fresh singleton variable names, fresh multiton
variable names and marked variables suppression.

Have Fun!

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

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

Thread

ANN: Dogelog Player 1.3.5 (Cyclic Terms) Mild Shock <janburse@fastmail.fm> - 2025-08-02 15:44 +0200
  Landin's Knot in Dogelog Player (Re: ANN: Dogelog Player 1.3.5 (Cyclic Terms)) Mild Shock <janburse@fastmail.fm> - 2025-08-15 19:57 +0200
    Program Sharing in Dogelog Player (Re: ANN: Dogelog Player 1.3.5 (Cyclic Terms)) Mild Shock <janburse@fastmail.fm> - 2025-08-20 15:12 +0200

csiph-web