Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.lang.java.programmer > #53761
| 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.2 (Unified Tabling) |
| Date | Fri, 1 May 2026 23:30:36 +0200 |
| Message-ID | <10t361t$18chr$3@solani.org> (permalink) |
| MIME-Version | 1.0 |
| Content-Type | text/plain; charset=UTF-8; format=flowed |
| Content-Transfer-Encoding | 7bit |
| Injection-Date | Fri, 1 May 2026 21:30:37 -0000 (UTC) |
| Injection-Info | solani.org; logging-data="1323579"; 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:VRLkfVduyEcGCGCzTLYLj0Xtx2E= |
| X-Mozilla-News-Host | news://news.solani.org:119 |
| X-User-ID | eJwFwQkBwDAIA0BLUEg65PAU/xJ2B6OyrxN0LPbJOyKz+Qhr2+qTO2RGt5J24prK0UxYdVThwofz2XLC5wdqoRXn |
| Xref | csiph.com comp.lang.java.programmer:53761 |
Show key headers only | View raw
Dear All, We are happy to announce a new edition of the Dogelog Player: - Tabling Directive: It turns out that our term expansion is fit enough to provide a tabling directive table/1. The directive will prepare a query and a answer cache for the given predicate, as well as a wrapper. The current version does not yet realize tabling of non-wellfounded recursion. - Hash Indexes: The tabling does not use a table space separate from the dynamic database, instead the caches are realized through dynamic predicates. To profit even more from our ground term sharing, we now offer pre-computed hash indexes. For large ground terms, the tabling mechanism can then exhibit emergent local interning. - Rubber Band: The format/[2,3] predicates got a facelift and we now support the rubber band ~`Ct and the column margin ~N|. The challenge was to keep the streaming behaviour, which we could keep for the first rubber band separated segment. A further challenge was scattering character richtext, which the format specifiers ~defgq can produce. Have Fun! Jan Burse, https://www.herbrand.ai/ , 01.05.2026
Back to comp.lang.java.programmer | Previous | Next — Next in thread | Find similar
ANN: Dogelog Player 2.2.2 (Unified Tabling) Mild Shock <janburse@fastmail.fm> - 2026-05-01 23:30 +0200 Re: ANN: Dogelog Player 2.2.2 (Unified Tabling) root <root@root.com> - 2026-05-07 15:58 -0300 Dogelog Player on a A18 Everest (Re: ANN: Dogelog Player 2.2.2 (Unified Tabling)) Mild Shock <janburse@fastmail.fm> - 2026-05-16 11:19 +0200
csiph-web