1. Forum
  2. Usenet
  3. COMP.LANG.JAVASCRIPT

  • ANN: Dogelog Player 1.0.0

    From Mostowski Collapse@21:1/5 to All on Thu Jun 2 10:13:40 2022
    Dear All,

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

    - Self Hosting:
    Dogelog player can now cross compile itself. This was made
    possible by further providing ISO core standard predicates
    such as open/3 with write and append mode, and some non ISO
    core standard predicates such as last_sub_atom/5.

    - Variable Sernos:
    The Dogelog player now supports lexical comparison of
    Prolog logical variables. This was made possible through
    a simple heuristic combination of the serial number generator
    with the garbage collector, so that serial numbers
    can be reused.

    - Runtime Compatibility:
    We provide more alignment. For example the Dogelog player
    got a new working directory Prolog flag base_url and the
    same existing Prolog flag in the Dogelog runtime, formerly
    Jekejeke Prolog, can now be set relatively.

    Have Fun!

    Jan Burse, 02.06.2022
    http://www.xlog.ch/

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mostowski Collapse@21:1/5 to Mostowski Collapse on Sun Jun 26 13:44:42 2022
    Prolog to the Moon! Dogelog Player is preparing for touch
    down. We report some first steps in literate programming with
    the Dogelog player. A simple utility allows converting Prolog

    texts into live HTML Pages. See also:

    Literate Programming with the Dogelog Player https://twitter.com/dogelogch/status/1541155313478418439

    Literate Programming with the Dogelog Player https://www.facebook.com/groups/dogelog

    Mostowski Collapse schrieb am Donnerstag, 2. Juni 2022 um 10:13:49 UTC+2:
    Dear All,

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

    - Self Hosting:
    Dogelog player can now cross compile itself. This was made
    possible by further providing ISO core standard predicates
    such as open/3 with write and append mode, and some non ISO
    core standard predicates such as last_sub_atom/5.

    - Variable Sernos:
    The Dogelog player now supports lexical comparison of
    Prolog logical variables. This was made possible through
    a simple heuristic combination of the serial number generator
    with the garbage collector, so that serial numbers
    can be reused.

    - Runtime Compatibility:
    We provide more alignment. For example the Dogelog player
    got a new working directory Prolog flag base_url and the
    same existing Prolog flag in the Dogelog runtime, formerly
    Jekejeke Prolog, can now be set relatively.

    Have Fun!

    Jan Burse, 02.06.2022
    http://www.xlog.ch/

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mostowski Collapse@21:1/5 to Mostowski Collapse on Sat Jul 2 22:26:39 2022
    This was fun!

    The Monkey King was asked by Buddha to jump out of
    its hand, and failed to do so. We made a little experiment
    in extending the reach of Dogelog players rollback hand.
    Given the new clause rollback we added further new
    feature in the form of a new predicate rollback.

    The Monkey King could not leave since Buddha is one
    with the world. We went on to extend the Dogelog player
    rollback mechanism so that the end-user does not
    experience gaps in the Prolog world. Surprisingly the
    predicates solution is a little bit different from the
    clauses solution.

    Buddha’s Hand: Rollback of Abolished Predicates https://twitter.com/dogelogch/status/1543463690430734337

    Buddha’s Hand: Rollback of Abolished Predicates https://www.facebook.com/groups/dogelog

    Mostowski Collapse schrieb am Sonntag, 26. Juni 2022 um 22:44:51 UTC+2:
    Prolog to the Moon! Dogelog Player is preparing for touch
    down. We report some first steps in literate programming with
    the Dogelog player. A simple utility allows converting Prolog

    texts into live HTML Pages. See also:

    Literate Programming with the Dogelog Player https://twitter.com/dogelogch/status/1541155313478418439

    Literate Programming with the Dogelog Player https://www.facebook.com/groups/dogelog
    Mostowski Collapse schrieb am Donnerstag, 2. Juni 2022 um 10:13:49 UTC+2:
    Dear All,

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

    - Self Hosting:
    Dogelog player can now cross compile itself. This was made
    possible by further providing ISO core standard predicates
    such as open/3 with write and append mode, and some non ISO
    core standard predicates such as last_sub_atom/5.

    - Variable Sernos:
    The Dogelog player now supports lexical comparison of
    Prolog logical variables. This was made possible through
    a simple heuristic combination of the serial number generator
    with the garbage collector, so that serial numbers
    can be reused.

    - Runtime Compatibility:
    We provide more alignment. For example the Dogelog player
    got a new working directory Prolog flag base_url and the
    same existing Prolog flag in the Dogelog runtime, formerly
    Jekejeke Prolog, can now be set relatively.

    Have Fun!

    Jan Burse, 02.06.2022
    http://www.xlog.ch/

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mostowski Collapse@21:1/5 to Mostowski Collapse on Mon Jul 4 04:27:37 2022
    One more new Browser Prolog in town: prolog.run https://twitter.com/guregu/status/1543655911876874240

    Mostowski Collapse schrieb am Sonntag, 3. Juli 2022 um 07:26:44 UTC+2:
    This was fun!

    The Monkey King was asked by Buddha to jump out of
    its hand, and failed to do so. We made a little experiment
    in extending the reach of Dogelog players rollback hand.
    Given the new clause rollback we added further new
    feature in the form of a new predicate rollback.

    The Monkey King could not leave since Buddha is one
    with the world. We went on to extend the Dogelog player
    rollback mechanism so that the end-user does not
    experience gaps in the Prolog world. Surprisingly the
    predicates solution is a little bit different from the
    clauses solution.

    Buddha’s Hand: Rollback of Abolished Predicates https://twitter.com/dogelogch/status/1543463690430734337

    Buddha’s Hand: Rollback of Abolished Predicates https://www.facebook.com/groups/dogelog
    Mostowski Collapse schrieb am Sonntag, 26. Juni 2022 um 22:44:51 UTC+2:
    Prolog to the Moon! Dogelog Player is preparing for touch
    down. We report some first steps in literate programming with
    the Dogelog player. A simple utility allows converting Prolog

    texts into live HTML Pages. See also:

    Literate Programming with the Dogelog Player https://twitter.com/dogelogch/status/1541155313478418439

    Literate Programming with the Dogelog Player https://www.facebook.com/groups/dogelog
    Mostowski Collapse schrieb am Donnerstag, 2. Juni 2022 um 10:13:49 UTC+2:
    Dear All,

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

    - Self Hosting:
    Dogelog player can now cross compile itself. This was made
    possible by further providing ISO core standard predicates
    such as open/3 with write and append mode, and some non ISO
    core standard predicates such as last_sub_atom/5.

    - Variable Sernos:
    The Dogelog player now supports lexical comparison of
    Prolog logical variables. This was made possible through
    a simple heuristic combination of the serial number generator
    with the garbage collector, so that serial numbers
    can be reused.

    - Runtime Compatibility:
    We provide more alignment. For example the Dogelog player
    got a new working directory Prolog flag base_url and the
    same existing Prolog flag in the Dogelog runtime, formerly
    Jekejeke Prolog, can now be set relatively.

    Have Fun!

    Jan Burse, 02.06.2022
    http://www.xlog.ch/

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mostowski Collapse@21:1/5 to Mostowski Collapse on Fri Jul 8 06:05:34 2022
    One more new Browser Prolog in town: ciao playground https://twitter.com/CiaoProlog/status/1544397192965791744

    Mostowski Collapse schrieb am Montag, 4. Juli 2022 um 13:27:41 UTC+2:
    One more new Browser Prolog in town: prolog.run https://twitter.com/guregu/status/1543655911876874240
    Mostowski Collapse schrieb am Sonntag, 3. Juli 2022 um 07:26:44 UTC+2:
    This was fun!

    The Monkey King was asked by Buddha to jump out of
    its hand, and failed to do so. We made a little experiment
    in extending the reach of Dogelog players rollback hand.
    Given the new clause rollback we added further new
    feature in the form of a new predicate rollback.

    The Monkey King could not leave since Buddha is one
    with the world. We went on to extend the Dogelog player
    rollback mechanism so that the end-user does not
    experience gaps in the Prolog world. Surprisingly the
    predicates solution is a little bit different from the
    clauses solution.

    Buddha’s Hand: Rollback of Abolished Predicates https://twitter.com/dogelogch/status/1543463690430734337

    Buddha’s Hand: Rollback of Abolished Predicates https://www.facebook.com/groups/dogelog
    Mostowski Collapse schrieb am Sonntag, 26. Juni 2022 um 22:44:51 UTC+2:
    Prolog to the Moon! Dogelog Player is preparing for touch
    down. We report some first steps in literate programming with
    the Dogelog player. A simple utility allows converting Prolog

    texts into live HTML Pages. See also:

    Literate Programming with the Dogelog Player https://twitter.com/dogelogch/status/1541155313478418439

    Literate Programming with the Dogelog Player https://www.facebook.com/groups/dogelog
    Mostowski Collapse schrieb am Donnerstag, 2. Juni 2022 um 10:13:49 UTC+2:
    Dear All,

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

    - Self Hosting:
    Dogelog player can now cross compile itself. This was made
    possible by further providing ISO core standard predicates
    such as open/3 with write and append mode, and some non ISO
    core standard predicates such as last_sub_atom/5.

    - Variable Sernos:
    The Dogelog player now supports lexical comparison of
    Prolog logical variables. This was made possible through
    a simple heuristic combination of the serial number generator
    with the garbage collector, so that serial numbers
    can be reused.

    - Runtime Compatibility:
    We provide more alignment. For example the Dogelog player
    got a new working directory Prolog flag base_url and the
    same existing Prolog flag in the Dogelog runtime, formerly
    Jekejeke Prolog, can now be set relatively.

    Have Fun!

    Jan Burse, 02.06.2022
    http://www.xlog.ch/

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mostowski Collapse@21:1/5 to All on Fri Jul 29 00:53:26 2022
    Sofar we have resisted in adding a Next or Abort
    button to any of our Dogelog Player HTML pages.
    Behind the lack of these buttons is a method of

    exploring sequence meta-predicates and what
    they could do for user interfaces. Here is a little
    new article about the topic:

    Enumerating Solutions with Dogelog Payer https://twitter.com/dogelogch/status/1552802997247303680

    Enumerating Solutions with Dogelog Payer https://www.facebook.com/groups/dogelog

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mostowski Collapse@21:1/5 to Mostowski Collapse on Wed Aug 3 15:44:30 2022
    Tarski’s World is a computer-based introduction to
    first-order logic permitting the student to construct
    and query block worlds. We made a similar experiment

    with Dogelog Player where the query language is Prolog.
    We could combine the chess board output with a text
    field input. Situations are then modelled as king/1 and #

    knight/1 facts in the text field input and represented in
    the chess board output. The text field input does also
    provide space for queries, replicating some of Tarski’s World features.

    Dogelog Player meets Tarski's World https://twitter.com/dogelogch/status/1554398619972796418

    Dogelog Player meets Tarski's World
    https://www.facebook.com/groups/dogelog

    Mostowski Collapse schrieb am Freitag, 29. Juli 2022 um 09:53:30 UTC+2:
    Sofar we have resisted in adding a Next or Abort
    button to any of our Dogelog Player HTML pages.
    Behind the lack of these buttons is a method of

    exploring sequence meta-predicates and what
    they could do for user interfaces. Here is a little
    new article about the topic:

    Enumerating Solutions with Dogelog Payer https://twitter.com/dogelogch/status/1552802997247303680

    Enumerating Solutions with Dogelog Payer https://www.facebook.com/groups/dogelog

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mostowski Collapse@21:1/5 to Mostowski Collapse on Sun Aug 7 01:37:14 2022
    Getting rid of some annoying SWISH nonsense:

    Dogelog player is a Prolog system 100% written in Prolog
    targeting JavaScript and Python. We recently provided a
    webifyer that can convert a Prolog text into a HTML page.
    To exercise this utility we turned half of a Learn Prolog Now!
    section into a Dogelog Notebook.

    The new utility allowed us to rapidly create subsections
    for some Learn Prolog Now! text. The result are better
    than the automatic on the fly conversion towards SWISH
    in terms of screen real estate. We could also additionally
    demonstrate some non-monotonic tampering by the end-user.

    Learn Prolog Now! as a Dogelog Notebook https://twitter.com/dogelogch/status/1556193360678895616

    Learn Prolog Now! as a Dogelog Notebook
    https://www.facebook.com/groups/dogelog

    Mostowski Collapse schrieb am Donnerstag, 4. August 2022 um 00:44:34 UTC+2:
    Tarski’s World is a computer-based introduction to
    first-order logic permitting the student to construct
    and query block worlds. We made a similar experiment

    with Dogelog Player where the query language is Prolog.
    We could combine the chess board output with a text
    field input. Situations are then modelled as king/1 and #

    knight/1 facts in the text field input and represented in
    the chess board output. The text field input does also
    provide space for queries, replicating some of Tarski’s World features.

    Dogelog Player meets Tarski's World https://twitter.com/dogelogch/status/1554398619972796418

    Dogelog Player meets Tarski's World
    https://www.facebook.com/groups/dogelog
    Mostowski Collapse schrieb am Freitag, 29. Juli 2022 um 09:53:30 UTC+2:
    Sofar we have resisted in adding a Next or Abort
    button to any of our Dogelog Player HTML pages.
    Behind the lack of these buttons is a method of

    exploring sequence meta-predicates and what
    they could do for user interfaces. Here is a little
    new article about the topic:

    Enumerating Solutions with Dogelog Payer https://twitter.com/dogelogch/status/1552802997247303680

    Enumerating Solutions with Dogelog Payer https://www.facebook.com/groups/dogelog

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)