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

Groups > comp.lang.python > #197229

Re: ANN: Dogelog Player 1.2.6 (Segmented Fileaccess)

Show key headers only | View raw

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
> 

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

Thread

ANN: Dogelog Player 1.2.6 (Segmented Fileaccess) Mild Shock <janburse@fastmail.fm> - 2025-01-23 10:20 +0100
  Re: ANN: Dogelog Player 1.2.6 (Segmented Fileaccess) Mild Shock <janburse@fastmail.fm> - 2025-01-23 16:55 +0100
    Re: ANN: Dogelog Player 1.2.6 (Segmented Fileaccess) Mild Shock <janburse@fastmail.fm> - 2025-02-06 16:30 +0100
      Re: ANN: Dogelog Player 1.2.6 (Segmented Fileaccess) Mild Shock <janburse@fastmail.fm> - 2025-02-11 12:15 +0100
        Re: ANN: Dogelog Player 1.2.6 (Segmented Fileaccess) Mild Shock <janburse@fastmail.fm> - 2025-02-13 19:12 +0100
          Re: ANN: Dogelog Player 1.2.6 (Segmented Fileaccess) Mild Shock <janburse@fastmail.fm> - 2025-02-20 11:19 +0100

csiph-web