Path: ...!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.prolog
Subject: Re: ANN: Dogelog Player 1.2.6 (Segmented Fileaccess)
Date: Thu, 6 Feb 2025 16:28:08 +0100
Message-ID: <vo2ke7$11mi6$1@solani.org>
References: <vmt1k9$bokb$1@solani.org> <vmtonr$c5ui$1@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 6 Feb 2025 15:28:07 -0000 (UTC)
Injection-Info: solani.org;
	logging-data="1104454"; 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.20
Cancel-Lock: sha1:f/I52eK+2AOci2nqlltY7Yfy9v0=
In-Reply-To: <vmtonr$c5ui$1@solani.org>
X-User-ID: eJwNyskBwCAMA7CVcjphHDBk/xFavZUOBSuQiJyce7mIivHz1PmwPLYabunQhgPvLbSyt7yboi2O3Yr6D84HYwwVPw==
Bytes: 3863
Lines: 79


Among algebraic approaches to logic we find binary
decision diagrams. The approach is syntactical and not
semantical, since it focuses on a certain formulas to
represent truth tables. Unlike matrix like disjunctive
or conjunctive normal forms, they give tree
like normal forms.

Donald Knuth also popularized zero-suppressed
decision diagrams, a binary decision diagram variant
developed by Shin-Ichi Minato. Their appeal results
from "jump" where nodes are omitted. We focused more
on the cost of negation and arrived at zero-less
decision diagram. They might have different niche
application areas.

See also:

Zero-Less Decision Diagrams in Dogelog Player
https://x.com/dogelogch/status/1887521934348374204

Zero-Less Decision Diagrams in Dogelog Player
https://www.facebook.com/groups/dogelog

Mild Shock schrieb:
> 
> The examined Prolog Notebook projects SWI for Sharing,
> Ciao Notebooks and Tau Prolog all offer some Prolog
> text coloring. We conducted an experiment whether we
> can utilize some synergies in Dogelog Player to provide
> a colorizer without using any 3rd party library.
> 
> Since the batch processing slowed down the experience
> of notebooks we changed our mind and started developping
> a dynamic filter. Passive Logic Documents (PLD) are turned
> into Active Logic Documents (ALD) via an asynchronous
> call into a 100% in Prolog realized colorizer library.
> 
> See also:
> 
> Dogelog Notebooks with Prolog Coloring
> https://x.com/dogelogch/status/1882455350739337230
> 
> Dogelog Notebooks with Prolog Coloring
> https://www.facebook.com/groups/dogelog
> 
> Mild Shock schrieb:
>> Dear All,
>>
>> We are happy to announce a new edition of the Dogelog player:
>>
>> - Segmented Fileaccess:
>>    Due to UTF-8 problems, files were read completely into
>> memory in order to then allow stream access.  In order to be
>> able to use HTTP Transfer-Encoding: chunked, the UTF-8 problem
>> has been solved and only individual blocks will be
>> read into memory.
>>
>> - New library(crypto):
>>    Segmented file access is supported not only for text files
>> but also for binary files.  This allows hash digests to be
>> calculated in a memory-saving manner.  The library implements
>> a binding to the SHA-256 algorithms of JavaScript,
>> Python and Java.
>>
>> - Backtracking Datastructures:
>>    The libraries library(hash) and library(tree), which
>> were only realized non-backtracking so far, have been
>> expanded to include further predicates that allow
>> backtracking updates.  library(hash) has been completely
>> rewritten to open lists and only provides partial persistence,
>> whereas library(tree) provides full persistence.
>>
>> For more details: Dogelog
>>
>> Have Fun!
>>
>> Jan Burse, http://www.xlog.ch/ , 23.01.2025
>