• ANN: Dogelog, Invitation to the Moon!

    From Mostowski Collapse@21:1/5 to All on Tue Dec 7 12:48:53 2021
    Dear All,

    The website http://www.xlog.ch/ is now open for
    newsletter registration. What are the plans for
    the next 10 years (sic!):

    - Past: 100% Java Prolog
    We had the Jekejeke Suite consisting of Runtime,
    Minlog and Debugger. The Runtime was initially
    100% Java, including things like consult and top-level.

    - Present: 100% Prolog Prolog
    This year in 2021 we managed to deliver a new breed
    of Prolog, with the Dogelog Player we demonstrated
    a Prolog system which had most of it written in Prolog itself.
    The Dogelog Player is available for JavaScript and Python.

    - Future:
    The goal is to produce a Dogelog Suite consisting
    of Runtime, Minlog and Debugger, all based on the new
    100% Prolog approach of the Dogelog Player. It is planned
    that Dogelog Suite will again cover Java, but we could
    also try novel targets such as Steel Bank Common Lisp (SBCL), etc..

    Disclaimer: It might take some time till the new website
    http://www.xlog.ch/ shows some binaries, since we have
    removed us from GitHub. We are working on it.

    Have Fun! #StaySafe
    Jan Burse, 07.12.2021

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mostowski Collapse@21:1/5 to Mostowski Collapse on Fri Dec 10 15:17:35 2021
    Message for Ulrich Neumerkel:

    Hi,

    Please remove Jekejeke Runtime from here: http://www.complang.tuwien.ac.at/ulrich/iso-prolog/variable_names

    Jekejeke Runtime is discontinued. Because
    there is Dogelog Player now, there will be
    Dogelog Runtime in the future.

    The documentation is currently a mess,
    naming has not yet been update. But plans
    are that Dogelog Runtime will

    have same syntax and semantic as Dogelog
    Player. Some of it is already seen in the
    Dogelog Player:

    The Dogelog Player default is set_prolog_flag(back_quotes, variable). https://twitter.com/dogelogch/status/1466903973605122051

    You can also try the new syntax online, if
    you enter this here:

    ?- S=1+T,N='/*r*/V', write_term(S,[quoted(true),
    variable_names([N=T])]), nl. http://www.xlog.ch/izytab/doclet/en/docs/18_live/example01/package.html

    You get this output:
    1+`/*r*/V`

    Bye

    Mostowski Collapse schrieb am Dienstag, 7. Dezember 2021 um 12:49:54 UTC+1:
    Dear All,

    The website http://www.xlog.ch/ is now open for
    newsletter registration. What are the plans for
    the next 10 years (sic!):

    - Past: 100% Java Prolog
    We had the Jekejeke Suite consisting of Runtime,
    Minlog and Debugger. The Runtime was initially
    100% Java, including things like consult and top-level.

    - Present: 100% Prolog Prolog
    This year in 2021 we managed to deliver a new breed
    of Prolog, with the Dogelog Player we demonstrated
    a Prolog system which had most of it written in Prolog itself.
    The Dogelog Player is available for JavaScript and Python.

    - Future:
    The goal is to produce a Dogelog Suite consisting
    of Runtime, Minlog and Debugger, all based on the new
    100% Prolog approach of the Dogelog Player. It is planned
    that Dogelog Suite will again cover Java, but we could
    also try novel targets such as Steel Bank Common Lisp (SBCL), etc..

    Disclaimer: It might take some time till the new website
    http://www.xlog.ch/ shows some binaries, since we have
    removed us from GitHub. We are working on it.

    Have Fun! #StaySafe
    Jan Burse, 07.12.2021

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mostowski Collapse@21:1/5 to Mostowski Collapse on Fri Dec 10 15:48:21 2021
    Explanation: I don't need back_quotes for anything else,
    since atoms work fine as strings. See for example here:

    Dogelog and MathJax love at first sight https://medium.com/@janburse_2989/dogelog-and-mathjax-love-at-first-sight-56deb51d5cd

    But I still did not yet have time to upload the artefacts.
    Need more time to create a paste bin.

    Mostowski Collapse schrieb am Samstag, 11. Dezember 2021 um 00:17:36 UTC+1:
    Message for Ulrich Neumerkel:

    Hi,

    Please remove Jekejeke Runtime from here: http://www.complang.tuwien.ac.at/ulrich/iso-prolog/variable_names

    Jekejeke Runtime is discontinued. Because
    there is Dogelog Player now, there will be
    Dogelog Runtime in the future.

    The documentation is currently a mess,
    naming has not yet been update. But plans
    are that Dogelog Runtime will

    have same syntax and semantic as Dogelog
    Player. Some of it is already seen in the
    Dogelog Player:

    The Dogelog Player default is set_prolog_flag(back_quotes, variable). https://twitter.com/dogelogch/status/1466903973605122051

    You can also try the new syntax online, if
    you enter this here:

    ?- S=1+T,N='/*r*/V', write_term(S,[quoted(true),
    variable_names([N=T])]), nl. http://www.xlog.ch/izytab/doclet/en/docs/18_live/example01/package.html

    You get this output:
    1+`/*r*/V`

    Bye
    Mostowski Collapse schrieb am Dienstag, 7. Dezember 2021 um 12:49:54 UTC+1:
    Dear All,

    The website http://www.xlog.ch/ is now open for
    newsletter registration. What are the plans for
    the next 10 years (sic!):

    - Past: 100% Java Prolog
    We had the Jekejeke Suite consisting of Runtime,
    Minlog and Debugger. The Runtime was initially
    100% Java, including things like consult and top-level.

    - Present: 100% Prolog Prolog
    This year in 2021 we managed to deliver a new breed
    of Prolog, with the Dogelog Player we demonstrated
    a Prolog system which had most of it written in Prolog itself.
    The Dogelog Player is available for JavaScript and Python.

    - Future:
    The goal is to produce a Dogelog Suite consisting
    of Runtime, Minlog and Debugger, all based on the new
    100% Prolog approach of the Dogelog Player. It is planned
    that Dogelog Suite will again cover Java, but we could
    also try novel targets such as Steel Bank Common Lisp (SBCL), etc..

    Disclaimer: It might take some time till the new website http://www.xlog.ch/ shows some binaries, since we have
    removed us from GitHub. We are working on it.

    Have Fun! #StaySafe
    Jan Burse, 07.12.2021

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mostowski Collapse@21:1/5 to Mostowski Collapse on Fri Dec 10 15:20:11 2021
    Maybe somebody can also approve edit of this tag:

    https://stackoverflow.com/questions/tagged/jekejeke

    It reads:
    Jekejeke Prolog runtime library is an interpreter only
    implementation of Prolog written in 100% Java.

    But I edited to:
    Jekejeke Prolog runtime library was an interpreter only
    implementation of Prolog written in 100% Java.

    The new mojo is 100% Prolog, the old mojo 100% Java
    is a dead horse now. No need to flog it anymore.

    Mostowski Collapse schrieb am Samstag, 11. Dezember 2021 um 00:17:36 UTC+1:
    Message for Ulrich Neumerkel:

    Hi,

    Please remove Jekejeke Runtime from here: http://www.complang.tuwien.ac.at/ulrich/iso-prolog/variable_names

    Jekejeke Runtime is discontinued. Because
    there is Dogelog Player now, there will be
    Dogelog Runtime in the future.

    The documentation is currently a mess,
    naming has not yet been update. But plans
    are that Dogelog Runtime will

    have same syntax and semantic as Dogelog
    Player. Some of it is already seen in the
    Dogelog Player:

    The Dogelog Player default is set_prolog_flag(back_quotes, variable). https://twitter.com/dogelogch/status/1466903973605122051

    You can also try the new syntax online, if
    you enter this here:

    ?- S=1+T,N='/*r*/V', write_term(S,[quoted(true),
    variable_names([N=T])]), nl. http://www.xlog.ch/izytab/doclet/en/docs/18_live/example01/package.html

    You get this output:
    1+`/*r*/V`

    Bye
    Mostowski Collapse schrieb am Dienstag, 7. Dezember 2021 um 12:49:54 UTC+1:
    Dear All,

    The website http://www.xlog.ch/ is now open for
    newsletter registration. What are the plans for
    the next 10 years (sic!):

    - Past: 100% Java Prolog
    We had the Jekejeke Suite consisting of Runtime,
    Minlog and Debugger. The Runtime was initially
    100% Java, including things like consult and top-level.

    - Present: 100% Prolog Prolog
    This year in 2021 we managed to deliver a new breed
    of Prolog, with the Dogelog Player we demonstrated
    a Prolog system which had most of it written in Prolog itself.
    The Dogelog Player is available for JavaScript and Python.

    - Future:
    The goal is to produce a Dogelog Suite consisting
    of Runtime, Minlog and Debugger, all based on the new
    100% Prolog approach of the Dogelog Player. It is planned
    that Dogelog Suite will again cover Java, but we could
    also try novel targets such as Steel Bank Common Lisp (SBCL), etc..

    Disclaimer: It might take some time till the new website http://www.xlog.ch/ shows some binaries, since we have
    removed us from GitHub. We are working on it.

    Have Fun! #StaySafe
    Jan Burse, 07.12.2021

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mostowski Collapse@21:1/5 to Mostowski Collapse on Fri Dec 10 15:34:53 2021
    Ok, the large description was already approved.

    Oki Doki, thanks!

    Mostowski Collapse schrieb am Samstag, 11. Dezember 2021 um 00:20:12 UTC+1:
    Maybe somebody can also approve edit of this tag:

    https://stackoverflow.com/questions/tagged/jekejeke

    It reads:
    Jekejeke Prolog runtime library is an interpreter only
    implementation of Prolog written in 100% Java.

    But I edited to:
    Jekejeke Prolog runtime library was an interpreter only
    implementation of Prolog written in 100% Java.

    The new mojo is 100% Prolog, the old mojo 100% Java
    is a dead horse now. No need to flog it anymore.
    Mostowski Collapse schrieb am Samstag, 11. Dezember 2021 um 00:17:36 UTC+1:
    Message for Ulrich Neumerkel:

    Hi,

    Please remove Jekejeke Runtime from here: http://www.complang.tuwien.ac.at/ulrich/iso-prolog/variable_names

    Jekejeke Runtime is discontinued. Because
    there is Dogelog Player now, there will be
    Dogelog Runtime in the future.

    The documentation is currently a mess,
    naming has not yet been update. But plans
    are that Dogelog Runtime will

    have same syntax and semantic as Dogelog
    Player. Some of it is already seen in the
    Dogelog Player:

    The Dogelog Player default is set_prolog_flag(back_quotes, variable). https://twitter.com/dogelogch/status/1466903973605122051

    You can also try the new syntax online, if
    you enter this here:

    ?- S=1+T,N='/*r*/V', write_term(S,[quoted(true),
    variable_names([N=T])]), nl. http://www.xlog.ch/izytab/doclet/en/docs/18_live/example01/package.html

    You get this output:
    1+`/*r*/V`

    Bye
    Mostowski Collapse schrieb am Dienstag, 7. Dezember 2021 um 12:49:54 UTC+1:
    Dear All,

    The website http://www.xlog.ch/ is now open for
    newsletter registration. What are the plans for
    the next 10 years (sic!):

    - Past: 100% Java Prolog
    We had the Jekejeke Suite consisting of Runtime,
    Minlog and Debugger. The Runtime was initially
    100% Java, including things like consult and top-level.

    - Present: 100% Prolog Prolog
    This year in 2021 we managed to deliver a new breed
    of Prolog, with the Dogelog Player we demonstrated
    a Prolog system which had most of it written in Prolog itself.
    The Dogelog Player is available for JavaScript and Python.

    - Future:
    The goal is to produce a Dogelog Suite consisting
    of Runtime, Minlog and Debugger, all based on the new
    100% Prolog approach of the Dogelog Player. It is planned
    that Dogelog Suite will again cover Java, but we could
    also try novel targets such as Steel Bank Common Lisp (SBCL), etc..

    Disclaimer: It might take some time till the new website http://www.xlog.ch/ shows some binaries, since we have
    removed us from GitHub. We are working on it.

    Have Fun! #StaySafe
    Jan Burse, 07.12.2021

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mostowski Collapse@21:1/5 to Mostowski Collapse on Sat Dec 11 13:02:02 2021
    Ok, I found a paste bin:

    My SmartTV speaks Dogelog and MathJax https://twitter.com/dogelogch/status/1469772971128541195

    My SmartTV speaks Dogelog and MathJax
    https://www.facebook.com/groups/dogelog

    LoL

    Mostowski Collapse schrieb am Samstag, 11. Dezember 2021 um 00:48:21 UTC+1:
    Explanation: I don't need back_quotes for anything else,
    since atoms work fine as strings. See for example here:

    Dogelog and MathJax love at first sight https://medium.com/@janburse_2989/dogelog-and-mathjax-love-at-first-sight-56deb51d5cd

    But I still did not yet have time to upload the artefacts.
    Need more time to create a paste bin.
    Mostowski Collapse schrieb am Samstag, 11. Dezember 2021 um 00:17:36 UTC+1:
    Message for Ulrich Neumerkel:

    Hi,

    Please remove Jekejeke Runtime from here: http://www.complang.tuwien.ac.at/ulrich/iso-prolog/variable_names

    Jekejeke Runtime is discontinued. Because
    there is Dogelog Player now, there will be
    Dogelog Runtime in the future.

    The documentation is currently a mess,
    naming has not yet been update. But plans
    are that Dogelog Runtime will

    have same syntax and semantic as Dogelog
    Player. Some of it is already seen in the
    Dogelog Player:

    The Dogelog Player default is set_prolog_flag(back_quotes, variable). https://twitter.com/dogelogch/status/1466903973605122051

    You can also try the new syntax online, if
    you enter this here:

    ?- S=1+T,N='/*r*/V', write_term(S,[quoted(true),
    variable_names([N=T])]), nl. http://www.xlog.ch/izytab/doclet/en/docs/18_live/example01/package.html

    You get this output:
    1+`/*r*/V`

    Bye
    Mostowski Collapse schrieb am Dienstag, 7. Dezember 2021 um 12:49:54 UTC+1:
    Dear All,

    The website http://www.xlog.ch/ is now open for
    newsletter registration. What are the plans for
    the next 10 years (sic!):

    - Past: 100% Java Prolog
    We had the Jekejeke Suite consisting of Runtime,
    Minlog and Debugger. The Runtime was initially
    100% Java, including things like consult and top-level.

    - Present: 100% Prolog Prolog
    This year in 2021 we managed to deliver a new breed
    of Prolog, with the Dogelog Player we demonstrated
    a Prolog system which had most of it written in Prolog itself.
    The Dogelog Player is available for JavaScript and Python.

    - Future:
    The goal is to produce a Dogelog Suite consisting
    of Runtime, Minlog and Debugger, all based on the new
    100% Prolog approach of the Dogelog Player. It is planned
    that Dogelog Suite will again cover Java, but we could
    also try novel targets such as Steel Bank Common Lisp (SBCL), etc..

    Disclaimer: It might take some time till the new website http://www.xlog.ch/ shows some binaries, since we have
    removed us from GitHub. We are working on it.

    Have Fun! #StaySafe
    Jan Burse, 07.12.2021

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mostowski Collapse@21:1/5 to All on Wed Dec 15 16:45:25 2021
    Just invented the notion of light DCG.
    Also 100% Prolog in the case of Dogelog Player.

    "The current implementation is a compromise
    that matches the performance of Dogelog player.
    Further the MathJax example shows that a
    light DCG can nevertheless have interesting use cases."

    Light DCG transform of Dogelog Player https://twitter.com/dogelogch/status/1471277359668117506

    Light DCG transform of Dogelog Player
    https://www.facebook.com/groups/dogelog

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