Rocksolid Light

Welcome to RetroBBS

mail  files  register  newsreader  groups  login

Message-ID:  

finlandia:~> apropos win win: nothing appropriate.


devel / comp.lang.prolog / ANN: Dogelog, Invitation to the Moon!

SubjectAuthor
* ANN: Dogelog, Invitation to the Moon!Mostowski Collapse
`* Re: ANN: Dogelog, Invitation to the Moon!Mostowski Collapse
 +* Re: ANN: Dogelog, Invitation to the Moon!Mostowski Collapse
 |`- Re: ANN: Dogelog, Invitation to the Moon!Mostowski Collapse
 `* Re: ANN: Dogelog, Invitation to the Moon!Mostowski Collapse
  `* Re: ANN: Dogelog, Invitation to the Moon!Mostowski Collapse
   `- Re: ANN: Dogelog, Invitation to the Moon!Mostowski Collapse

1
ANN: Dogelog, Invitation to the Moon!

<sonhn6$o0i$1@solani.org>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=1035&group=comp.lang.prolog#1035

  copy link   Newsgroups: comp.lang.prolog
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: janburse@fastmail.fm (Mostowski Collapse)
Newsgroups: comp.lang.prolog
Subject: ANN: Dogelog, Invitation to the Moon!
Date: Tue, 7 Dec 2021 12:48:53 +0100
Message-ID: <sonhn6$o0i$1@solani.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 7 Dec 2021 11:48:54 -0000 (UTC)
Injection-Info: solani.org;
logging-data="24594"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:68.0) Gecko/20100101
Firefox/68.0 SeaMonkey/2.53.10
X-Mozilla-News-Host: news://news.solani.org:119
Cancel-Lock: sha1:lPSe46PS7GpPwVhAeOj1kQv58Oc=
X-User-ID: eJwNycEBwCAIA8CVQEgo4yDi/iPY+x6Myg4n6Li4O/XUJxbLquHSXa50ch1TXFOz0ZgtsxeT+H8cwgyZycIDPAwU8A==
 by: Mostowski Collapse - Tue, 7 Dec 2021 11:48 UTC

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

Re: ANN: Dogelog, Invitation to the Moon!

<b8bdcf92-2e6f-43c1-b66e-8417e0875b8bn@googlegroups.com>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=1039&group=comp.lang.prolog#1039

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a05:620a:bc8:: with SMTP id s8mr23486388qki.367.1639178255938;
Fri, 10 Dec 2021 15:17:35 -0800 (PST)
X-Received: by 2002:a25:b599:: with SMTP id q25mr17151214ybj.618.1639178255709;
Fri, 10 Dec 2021 15:17:35 -0800 (PST)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.prolog
Date: Fri, 10 Dec 2021 15:17:35 -0800 (PST)
In-Reply-To: <sonhn6$o0i$1@solani.org>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.53.70; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.53.70
References: <sonhn6$o0i$1@solani.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <b8bdcf92-2e6f-43c1-b66e-8417e0875b8bn@googlegroups.com>
Subject: Re: ANN: Dogelog, Invitation to the Moon!
From: bursejan@gmail.com (Mostowski Collapse)
Injection-Date: Fri, 10 Dec 2021 23:17:35 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 64
 by: Mostowski Collapse - Fri, 10 Dec 2021 23:17 UTC

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

Re: ANN: Dogelog, Invitation to the Moon!

<b5d1052b-3e23-452e-847f-8be28539023an@googlegroups.com>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=1040&group=comp.lang.prolog#1040

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a05:620a:a09:: with SMTP id i9mr22837739qka.768.1639178411929;
Fri, 10 Dec 2021 15:20:11 -0800 (PST)
X-Received: by 2002:a25:dc42:: with SMTP id y63mr16131285ybe.402.1639178411739;
Fri, 10 Dec 2021 15:20:11 -0800 (PST)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.prolog
Date: Fri, 10 Dec 2021 15:20:11 -0800 (PST)
In-Reply-To: <b8bdcf92-2e6f-43c1-b66e-8417e0875b8bn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.53.70; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.53.70
References: <sonhn6$o0i$1@solani.org> <b8bdcf92-2e6f-43c1-b66e-8417e0875b8bn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <b5d1052b-3e23-452e-847f-8be28539023an@googlegroups.com>
Subject: Re: ANN: Dogelog, Invitation to the Moon!
From: bursejan@gmail.com (Mostowski Collapse)
Injection-Date: Fri, 10 Dec 2021 23:20:11 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 79
 by: Mostowski Collapse - Fri, 10 Dec 2021 23:20 UTC

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" rel="nofollow" target="_blank">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

Re: ANN: Dogelog, Invitation to the Moon!

<a32e10ec-8fde-4141-b132-1dd48247c1f8n@googlegroups.com>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=1041&group=comp.lang.prolog#1041

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a05:622a:410:: with SMTP id n16mr29938504qtx.369.1639179293695;
Fri, 10 Dec 2021 15:34:53 -0800 (PST)
X-Received: by 2002:a25:9a84:: with SMTP id s4mr17353550ybo.405.1639179293416;
Fri, 10 Dec 2021 15:34:53 -0800 (PST)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.prolog
Date: Fri, 10 Dec 2021 15:34:53 -0800 (PST)
In-Reply-To: <b5d1052b-3e23-452e-847f-8be28539023an@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.53.70; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.53.70
References: <sonhn6$o0i$1@solani.org> <b8bdcf92-2e6f-43c1-b66e-8417e0875b8bn@googlegroups.com>
<b5d1052b-3e23-452e-847f-8be28539023an@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <a32e10ec-8fde-4141-b132-1dd48247c1f8n@googlegroups.com>
Subject: Re: ANN: Dogelog, Invitation to the Moon!
From: bursejan@gmail.com (Mostowski Collapse)
Injection-Date: Fri, 10 Dec 2021 23:34:53 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 84
 by: Mostowski Collapse - Fri, 10 Dec 2021 23:34 UTC

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" rel="nofollow" target="_blank">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

Re: ANN: Dogelog, Invitation to the Moon!

<75a2c715-8629-467e-adac-a3b3dda3659cn@googlegroups.com>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=1042&group=comp.lang.prolog#1042

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a05:622a:50d:: with SMTP id l13mr30402343qtx.75.1639180101424;
Fri, 10 Dec 2021 15:48:21 -0800 (PST)
X-Received: by 2002:a25:8284:: with SMTP id r4mr18873072ybk.47.1639180101261;
Fri, 10 Dec 2021 15:48:21 -0800 (PST)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.prolog
Date: Fri, 10 Dec 2021 15:48:21 -0800 (PST)
In-Reply-To: <b8bdcf92-2e6f-43c1-b66e-8417e0875b8bn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.53.70; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.53.70
References: <sonhn6$o0i$1@solani.org> <b8bdcf92-2e6f-43c1-b66e-8417e0875b8bn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <75a2c715-8629-467e-adac-a3b3dda3659cn@googlegroups.com>
Subject: Re: ANN: Dogelog, Invitation to the Moon!
From: bursejan@gmail.com (Mostowski Collapse)
Injection-Date: Fri, 10 Dec 2021 23:48:21 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 73
 by: Mostowski Collapse - Fri, 10 Dec 2021 23:48 UTC

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" rel="nofollow" target="_blank">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

Re: ANN: Dogelog, Invitation to the Moon!

<14c33198-36ef-4c10-9e40-8436e4c62c90n@googlegroups.com>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=1043&group=comp.lang.prolog#1043

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:ac8:5c45:: with SMTP id j5mr36784340qtj.58.1639256522813;
Sat, 11 Dec 2021 13:02:02 -0800 (PST)
X-Received: by 2002:a25:ab42:: with SMTP id u60mr22325630ybi.361.1639256522607;
Sat, 11 Dec 2021 13:02:02 -0800 (PST)
Path: i2pn2.org!rocksolid2!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.prolog
Date: Sat, 11 Dec 2021 13:02:02 -0800 (PST)
In-Reply-To: <75a2c715-8629-467e-adac-a3b3dda3659cn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.53.70; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.53.70
References: <sonhn6$o0i$1@solani.org> <b8bdcf92-2e6f-43c1-b66e-8417e0875b8bn@googlegroups.com>
<75a2c715-8629-467e-adac-a3b3dda3659cn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <14c33198-36ef-4c10-9e40-8436e4c62c90n@googlegroups.com>
Subject: Re: ANN: Dogelog, Invitation to the Moon!
From: bursejan@gmail.com (Mostowski Collapse)
Injection-Date: Sat, 11 Dec 2021 21:02:02 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 83
 by: Mostowski Collapse - Sat, 11 Dec 2021 21:02 UTC

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" rel="nofollow" target="_blank">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

Re: ANN: Dogelog, Invitation to the Moon!

<f4c0155b-045d-47e0-a4db-60c524f6f721n@googlegroups.com>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=1045&group=comp.lang.prolog#1045

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a05:622a:1112:: with SMTP id e18mr15106421qty.226.1639615526050;
Wed, 15 Dec 2021 16:45:26 -0800 (PST)
X-Received: by 2002:a25:b599:: with SMTP id q25mr9224502ybj.618.1639615525823;
Wed, 15 Dec 2021 16:45:25 -0800 (PST)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.prolog
Date: Wed, 15 Dec 2021 16:45:25 -0800 (PST)
In-Reply-To: <14c33198-36ef-4c10-9e40-8436e4c62c90n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.53.70; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.53.70
References: <sonhn6$o0i$1@solani.org> <b8bdcf92-2e6f-43c1-b66e-8417e0875b8bn@googlegroups.com>
<75a2c715-8629-467e-adac-a3b3dda3659cn@googlegroups.com> <14c33198-36ef-4c10-9e40-8436e4c62c90n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <f4c0155b-045d-47e0-a4db-60c524f6f721n@googlegroups.com>
Subject: Re: ANN: Dogelog, Invitation to the Moon!
From: bursejan@gmail.com (Mostowski Collapse)
Injection-Date: Thu, 16 Dec 2021 00:45:26 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 12
 by: Mostowski Collapse - Thu, 16 Dec 2021 00:45 UTC

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


devel / comp.lang.prolog / ANN: Dogelog, Invitation to the Moon!

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor