ANN: Dogelog, Invitation to the Moon!

[Mostowski Collapse]

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

[Mostowski Collapse]

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]

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]

Ok, the large description was already approved.

Oki Doki, thanks!

[Mostowski Collapse]

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:

[Mostowski Collapse]

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]

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