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

  • ANN: Dogelog Player 2.1.2 (Arrow Functions)

    From Mild Shock@janburse@fastmail.fm to comp.lang.prolog on Mon Oct 27 13:09:53 2025
    From Newsgroup: comp.lang.prolog

    Dear All,

    We are happy to announce a new edition of
    the Dogelog Player:

    - Arrow Functions:
    Using superintelligence in the loop, our development
    cycle has reached new hights of innovation and
    unprecedent delivery speed. Dogelog Player now has
    arrow functions using a (=>)/2 operator. The semantics
    is different from other offerings and based on ISO
    core standard witness calculation [7.1.1.4].

    - Arrow Compilation:
    But we did not stop at interpreted arrow functions,
    the Prolog system also offers ahead of time
    compilation, which covers both library(yall) and
    library(apply_macros) from SWI-Prolog. But it goes
    beyond, there is no need for meta predicate
    declarations, and compiled arrow functions can
    be stored inside Prolog facts.

    - Arrow Decompilation:
    The compilation compensates the additional effort
    of witness calculuation and we get same execution
    speed as SWI-Prolog. The code result is similarly
    cryptic. The good news is, the compilation can be
    easily undone. This is realized in Dogelog Player
    so that clause listing and the interactive debugger
    show the original arrow functions.

    Have Fun!
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From Mild Shock@janburse@fastmail.fm to comp.lang.prolog on Mon Oct 27 13:10:45 2025
    From Newsgroup: comp.lang.prolog

    Dear All,

    We are happy to announce a new edition of
    the Dogelog Player:

    - Arrow Functions:
    Using superintelligence in the loop, our development
    cycle has reached new hights of innovation and
    unprecedent delivery speed. Dogelog Player now has
    arrow functions using a (=>)/2 operator. The semantics
    is different from other offerings and based on ISO
    core standard witness calculation [7.1.1.4].

    - Arrow Compilation:
    But we did not stop at interpreted arrow functions,
    the Prolog system also offers ahead of time
    compilation, which covers both library(yall) and
    library(apply_macros) from SWI-Prolog. But it goes
    beyond, there is no need for meta predicate
    declarations, and compiled arrow functions can
    be stored inside Prolog facts.

    - Arrow Decompilation:
    The compilation compensates the additional effort
    of witness calculuation and we get same execution
    speed as SWI-Prolog. The code result is similarly
    cryptic. The good news is, the compilation can be
    easily undone. This is realized in Dogelog Player
    so that clause listing and the interactive debugger
    show the original arrow functions.

    Have Fun!

    Jan Burse, https://www.herbrand.ai/ , 27.10.2025
    --- Synchronet 3.21a-Linux NewsLink 1.2