1. Forum
  2. USENET
  3. comp.lang.prolog

  • =?UTF-8?Q?Grothendieck-Group_Rewriting_in_Dogelog_Player_=28Re:_?= =?UTF-8?Q?=cf=80-WAM_Assembly:_Jump_and_Link_for_Tseytin_Transfor=29?=

    From Mild Shock@janburse@fastmail.fm to comp.lang.prolog on Tue Aug 25 18:22:18 2026
    From Newsgroup: comp.lang.prolog

    Hi,

    Since Prologers have their head full of DCG and
    difference lists, using pairs to measure the EarthrCOs
    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
    xrU+ = 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 -C-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
    rCy$MARKrCO/1 and rCy$CUTrCO/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:

    -C-WAM Assembly: Jump and Link for Tseytin Transformation https://medium.com/2989/d81abe7cceb7
    --- Synchronet 3.22a-Linux NewsLink 1.2