Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.lang.prolog > #15896
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Newsgroups | comp.lang.prolog |
| Subject | ANN: Dogelog Player 2.2.6 (π-WAM if-then-else) |
| Date | 2026-08-30 14:59 +0200 |
| Message-ID | <11719f9$1cctk$1@solani.org> (permalink) |
Dear All, We are happy to announce a new edition of the Dogelog Player: - User Time: Our π-WAM channels are still pounding 1μ ping pong roundtrip between JavaScript workers, thanks to SharedArrayBuffer and Atomic.wait(). But while workers are busy with each other Dogelog Player main worker will wait. Therefore we introduced a new statistics "user" and time/1 shows user percentage for non-wait main. - Hack Instructions: What a π-WAM worker will drive, is the Hack VM an alternative to the Dogelog VM. Our first version of Hack VM instruction set had 10-bit jump operand and 10-bit arithmetic operand. This made it difficult to run larger CLP(Z) examples. So we redesigned the instuction set to have one 24-bit operand. - Hack Compilation: There is a new library(hack), which houses the emulator and a new disassembler by the predicate instructions/1, the later taking a goal argument. The Hack VM compiler can now emit jump and link instructions for disjunction. It can also digest '$MARK'/1 and '$CUT'/1 from the Dogelog Player surface translation, and therefor it is now able to compile if-then-else. Have Fun! Jan Burse, August 30, 2026, https://www.herbrand.ai/
Back to comp.lang.prolog | Previous | Next — Next in thread | Find similar | Unroll thread
ANN: Dogelog Player 2.2.6 (π-WAM if-then-else) Mild Shock <janburse@fastmail.fm> - 2026-08-30 14:59 +0200
Dogelog in the Park: A Barriered Statechart Simulator (Was: ANN: Dogelog Player 2.2.6 (π-WAM if-then-else)) Mild Shock <janburse@fastmail.fm> - 2026-09-04 16:39 +0200
5 Minutes Implementation of Prolog catch/3 and throw/1 (Was: Dogelog in the Park: A Barriered Statechart Simulator) Mild Shock <janburse@fastmail.fm> - 2026-09-14 19:24 +0200
csiph-web