Grothendieck-Group Rewriting in Dogelog Player (Re: π-WAM Assembly: Jump and Link for Tseytin Transform)

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.javascript
Subject	Grothendieck-Group Rewriting in Dogelog Player (Re: π-WAM Assembly: Jump and Link for Tseytin Transform)
Date	Tue, 25 Aug 2026 19:01:46 +0200
Message-ID	<116khq4$13lft$3@solani.org> (permalink)
References	<115ge57$aml4$3@solani.org> <115ntcr$fme2$1@solani.org> <116ag18$sc9v$3@solani.org>
MIME-Version	1.0
Content-Type	text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding	8bit
Injection-Date	Tue, 25 Aug 2026 17:01:56 -0000 (UTC)
Injection-Info	solani.org; logging-data="1168893"; mail-complaints-to="abuse@news.solani.org"
User-Agent	Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:140.0) Gecko/20100101 Firefox/140.0 SeaMonkey/2.53.24
Cancel-Lock	sha1:Y+mst1reQR1wZKqL0KcNqP5/K1E=
X-User-ID	eJwNyMEBwCAIA8CVUCDCOCBm/xHae54rFu4xOMzpLCZuzLjMv2/bq4hmeQs1xtWjU+IOOxeWhGpfWNnZRG5+cogV1Q==
In-Reply-To	<116ag18$sc9v$3@solani.org>
Xref	csiph.com comp.lang.javascript:124469

Show key headers only | View raw

Hi,

Since Prologers have their head full of DCG and
difference lists, using pairs to measure the Earth’s
circumference. They might also like the idea to use
difference pairs in rewriting. We attack the
commutative semiring N[x] where additive inverse
is missing, Grothendieck-Groups come handy.

The backtracking of Prolog is perfect to search
rewrite locations. Following Alexander Grothendieck
before category theory, a master in generalizing,
we apply rewriting on equations f = g and not only
individual terms f and g. The Lawvere example of
x⁷ = x from x = x² + 1 runs in less than 1 ms.

Bye

See also:

Grothendieck-Group Rewriting in Dogelog Player
https://medium.com/2989/51cccc82e3de

Mild Shock schrieb:
 > Hi,
 >
 > We can report some progress in the π-WAM
 > compilation using the recently introduced assembly
 > with labels. While we already showed disjunction
 > (;)/2 without resorting into TRY_ME_ELSE,
 > RETRY_ME_ELSE or TRUST_ME. In this take we show how
 > to do if-then-else (->)/2 .
 >
 > To aid in the compilation of (->)/2 we use the
 > front Dogelog VM transform that introduces
 > ‘$MARK’/1 and ‘$CUT’/1. While SWI-Prologs light
 > weight choice points store a link address, we
 > need also to do the same to call the fresh
 > Tseytin proposition. But we do so with
 > Jump and Link from RISC.
 >
 > Bye
 >
 > See also:
 >
 > π-WAM Assembly: Jump and Link for Tseytin Transformation
 > https://medium.com/2989/d81abe7cceb7

Back to comp.lang.javascript | Previous — Previous in thread | Find similar | Unroll thread

Thread

ANN: Dogelog Player 2.2.5 (π-WAM Channels) Mild Shock <janburse@fastmail.fm> - 2026-08-12 02:18 +0200
  Blum’s Speed-Up Theorem and Sudoku (Re: ANN: Dogelog Player 2.2.5 (π-WAM Channels)) Mild Shock <janburse@fastmail.fm> - 2026-08-14 22:21 +0200
    π-WAM Assembly: Jump and Link for Tseytin Transformation (Re: Blum’s Speed-Up Theorem and Sudoku) Mild Shock <janburse@fastmail.fm> - 2026-08-21 23:30 +0200
      Grothendieck-Group Rewriting in Dogelog Player (Re: π-WAM Assembly: Jump and Link for Tseytin Transform) Mild Shock <janburse@fastmail.fm> - 2026-08-25 19:01 +0200

csiph-web