Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

19 May, 2024: Line wrapping has been changed to be more consistent with Usenet standards.
 If you find that it is broken please let me know here rocksolid.nodes.help

devel / comp.lang.prolog / Re: 50 Years of Prolog Nonsense

SubjectAuthor
* 50 Years of Prolog NonsenseMarkus Triska
`* 50 Years of Prolog NonsenseMild Shock
 `* Re: 50 Years of Prolog NonsenseMild Shock
  `- Re: 50 Years of Prolog NonsenseMild Shock

1
Re: 50 Years of Prolog Nonsense

<m2msy7gg8d.fsf@logic.at>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!panix!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!fx34.iad.POSTED!not-for-mail
From: tri...@logic.at (Markus Triska)
Newsgroups: comp.lang.prolog
Subject: Re: 50 Years of Prolog Nonsense
Organization: man
References: <db903ba2-8ccd-418e-bd18-a9eb381cd222n@googlegroups.com>
<3cafa634-538b-40a3-a4a9-2f68abf240f5n@googlegroups.com>
<a9db6e9e-f0e8-49e0-9126-d14b9073ec58n@googlegroups.com>
<m2sfn6kzuc.fsf@logic.at>
<781b5836-4c51-4a7e-a074-85fa4ab490fbn@googlegroups.com>
<242e2f19-536c-48a5-b878-25a5203784dfn@googlegroups.com>
<e3e3ff06-25e4-402d-aee2-9b6cc7a55c44n@googlegroups.com>
<c06d38ce-e0bc-41cf-a047-31329c129a18n@googlegroups.com>
<922650d6-1ca0-4cd1-8792-e5a5a9382dd7n@googlegroups.com>
<9eddc0c6-1e9e-4d89-8486-1a7b6c74db7cn@googlegroups.com>
<db4884ea-268d-4d4b-9e1c-ee8e23d9633cn@googlegroups.com>
<776d1dff-fdbc-4f98-ac73-c7b987e66339n@googlegroups.com>
<98ad3212-8093-488e-998d-ebe8e5204c2en@googlegroups.com>
<fb646080-0f83-4ea0-b102-3a0cf6d0012fn@googlegroups.com>
<6c22406d-adb5-4116-8b4d-8c406959741an@googlegroups.com>
<06e0236a-4538-4b76-8206-c3041372d741n@googlegroups.com>
<ba2c670e-c040-49df-b98e-2d130488eeecn@googlegroups.com>
Message-ID: <m2msy7gg8d.fsf@logic.at>
User-Agent: Emacs/27.0.50
Cancel-Lock: sha1:BalaS/1l8uPNBkHSWVsbQSTKOzk=
MIME-Version: 1.0
Content-Type: text/plain
Lines: 20
X-Complaints-To: abuse@blocknews.net
NNTP-Posting-Date: Thu, 31 Aug 2023 19:25:48 UTC
Date: Thu, 31 Aug 2023 21:32:34 +0200
X-Received-Bytes: 2027
 by: Markus Triska - Thu, 31 Aug 2023 19:32 UTC

Mostowski Collapse <bursejan@gmail.com> writes:

> For Scryer Prolog the struggle is minutely documented:
>
> Compiling and running scryer as a WebAssembly binary?
> https://github.com/mthom/scryer-prolog/issues/615

Good news everyone: It's now possible to compile Scryer Prolog to WASM,
the build instructions are here:

https://github.com/mthom/scryer-prolog/pull/1966#issuecomment-1697974614

Enjoy!

All the best,
Markus

--
comp.lang.prolog FAQ: http://www.logic.at/prolog/faq/
The Power of Prolog: https://www.metalevel.at/prolog

Re: 50 Years of Prolog Nonsense

<7199a778-7b65-4d5a-8cac-908ab6d415adn@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a05:620a:9048:b0:76f:2990:2d88 with SMTP id rl8-20020a05620a904800b0076f29902d88mr63403qkn.9.1693594975474;
Fri, 01 Sep 2023 12:02:55 -0700 (PDT)
X-Received: by 2002:a05:6a00:414c:b0:68a:5e6f:9975 with SMTP id
bv12-20020a056a00414c00b0068a5e6f9975mr1126455pfb.1.1693594975047; Fri, 01
Sep 2023 12:02:55 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.prolog
Date: Fri, 1 Sep 2023 12:02:54 -0700 (PDT)
In-Reply-To: <m2msy7gg8d.fsf@logic.at>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.50.239; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.50.239
References: <db903ba2-8ccd-418e-bd18-a9eb381cd222n@googlegroups.com>
<3cafa634-538b-40a3-a4a9-2f68abf240f5n@googlegroups.com> <a9db6e9e-f0e8-49e0-9126-d14b9073ec58n@googlegroups.com>
<m2sfn6kzuc.fsf@logic.at> <781b5836-4c51-4a7e-a074-85fa4ab490fbn@googlegroups.com>
<242e2f19-536c-48a5-b878-25a5203784dfn@googlegroups.com> <e3e3ff06-25e4-402d-aee2-9b6cc7a55c44n@googlegroups.com>
<c06d38ce-e0bc-41cf-a047-31329c129a18n@googlegroups.com> <922650d6-1ca0-4cd1-8792-e5a5a9382dd7n@googlegroups.com>
<9eddc0c6-1e9e-4d89-8486-1a7b6c74db7cn@googlegroups.com> <db4884ea-268d-4d4b-9e1c-ee8e23d9633cn@googlegroups.com>
<776d1dff-fdbc-4f98-ac73-c7b987e66339n@googlegroups.com> <98ad3212-8093-488e-998d-ebe8e5204c2en@googlegroups.com>
<fb646080-0f83-4ea0-b102-3a0cf6d0012fn@googlegroups.com> <6c22406d-adb5-4116-8b4d-8c406959741an@googlegroups.com>
<06e0236a-4538-4b76-8206-c3041372d741n@googlegroups.com> <ba2c670e-c040-49df-b98e-2d130488eeecn@googlegroups.com>
<m2msy7gg8d.fsf@logic.at>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <7199a778-7b65-4d5a-8cac-908ab6d415adn@googlegroups.com>
Subject: Re: 50 Years of Prolog Nonsense
From: burse...@gmail.com (Mild Shock)
Injection-Date: Fri, 01 Sep 2023 19:02:55 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 3490
 by: Mild Shock - Fri, 1 Sep 2023 19:02 UTC

What can you demonstrate with your Scryer WASM?

Ok, I just see, I have nevertheless published my new Chinese
Remainder Theorem CLP(FD) solver, it even runs in a web page.
As a Dogelog Player program its a little slower than the 0.5 secs

in formerly Jekejeke Prolog, but its still faster than the ordinary
CLP(FD) in SWI-Prolog, which takes around 5 seconds. The web
page with the new CLP(FD) takes around 3 seconds,

you can try it here in JS FIiddle, it should also use Dogelog Player 1.1.1:

Example 71: Diophantine Modular
X = 216, Y = 52, Z = 217;
X = 52, Y = 216, Z = 217;
fail.
% Zeit 3574 ms, GC 7 ms, Lips 1696084, Uhr 01.09.2023 20:56 true.
https://jsfiddle.net/Jean_Luc_Picard_2021/d2njehtp/3/

Woa! It still runs unchanged, the code from 12 Months ago.

Markus Triska schrieb am Donnerstag, 31. August 2023 um 21:25:51 UTC+2:
> Mostowski Collapse <burs...@gmail.com> writes:
>
> > For Scryer Prolog the struggle is minutely documented:
> >
> > Compiling and running scryer as a WebAssembly binary?
> > https://github.com/mthom/scryer-prolog/issues/615
>
> Good news everyone: It's now possible to compile Scryer Prolog to WASM,
> the build instructions are here:
>
> https://github.com/mthom/scryer-prolog/pull/1966#issuecomment-1697974614
>
> Enjoy!
>
> All the best,
> Markus
>
> --
> comp.lang.prolog FAQ: http://www.logic.at/prolog/faq/
> The Power of Prolog: https://www.metalevel.at/prolog

Re: 50 Years of Prolog Nonsense

<uv1q99$b8o5$1@solani.org>

  copy mid

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

  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: janbu...@fastmail.fm (Mild Shock)
Newsgroups: comp.lang.prolog
Subject: Re: 50 Years of Prolog Nonsense
Date: Tue, 9 Apr 2024 00:15:04 +0200
Message-ID: <uv1q99$b8o5$1@solani.org>
References: <db903ba2-8ccd-418e-bd18-a9eb381cd222n@googlegroups.com>
<a9db6e9e-f0e8-49e0-9126-d14b9073ec58n@googlegroups.com>
<m2sfn6kzuc.fsf@logic.at>
<781b5836-4c51-4a7e-a074-85fa4ab490fbn@googlegroups.com>
<242e2f19-536c-48a5-b878-25a5203784dfn@googlegroups.com>
<e3e3ff06-25e4-402d-aee2-9b6cc7a55c44n@googlegroups.com>
<c06d38ce-e0bc-41cf-a047-31329c129a18n@googlegroups.com>
<922650d6-1ca0-4cd1-8792-e5a5a9382dd7n@googlegroups.com>
<9eddc0c6-1e9e-4d89-8486-1a7b6c74db7cn@googlegroups.com>
<db4884ea-268d-4d4b-9e1c-ee8e23d9633cn@googlegroups.com>
<776d1dff-fdbc-4f98-ac73-c7b987e66339n@googlegroups.com>
<98ad3212-8093-488e-998d-ebe8e5204c2en@googlegroups.com>
<fb646080-0f83-4ea0-b102-3a0cf6d0012fn@googlegroups.com>
<6c22406d-adb5-4116-8b4d-8c406959741an@googlegroups.com>
<06e0236a-4538-4b76-8206-c3041372d741n@googlegroups.com>
<ba2c670e-c040-49df-b98e-2d130488eeecn@googlegroups.com>
<m2msy7gg8d.fsf@logic.at>
<7199a778-7b65-4d5a-8cac-908ab6d415adn@googlegroups.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 8 Apr 2024 22:15:05 -0000 (UTC)
Injection-Info: solani.org;
logging-data="369413"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Firefox/91.0 SeaMonkey/2.53.18.2
Cancel-Lock: sha1:3HDbL9yeWIFpYMTo/5zwDrVKCwE=
In-Reply-To: <7199a778-7b65-4d5a-8cac-908ab6d415adn@googlegroups.com>
X-User-ID: eJwFwQkBwDAIA0BLsBAeOaUU/xJ2R7j6DXO6cbllEXgi6Ec4k3rSfVn7TqARdyzrk346R9NgMoAWqqcE+AEsxRRM
 by: Mild Shock - Mon, 8 Apr 2024 22:15 UTC

Remembering Joe Armstrong - 20. April 2024:
https://www.heise.de/news/Hello-Mike-hello-Robert-goodbye-Joe-Zum-Tode-von-Joe-Armstrong-4404170.html

Some quote:

"Make it work, then make it beautiful, then
if you really, really have to, make it fast.

90% of the time, if you make it beautiful,
it will already be fast.

So really, just make it beautiful!
-Joe Armstrong, Erlang"

Now I have a couple of questions:
- Was Jekejeke beautiful? [No! LoL]
- Is Trealla beautiful?
- Is Scryer beautiful?
- Is Dogelog beautiful? [Yes! LoL]
- Is SWI-Prolog beautiful?
- Is GNU Prolog beautiful?
- Is ECLiPSe Prolog beautiful?
- Is XSB Prolog beautiful?
- Is SICStus Prolog beautiful?
- Etc..

Re: 50 Years of Prolog Nonsense

<uv1qj9$b90p$1@solani.org>

  copy mid

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

  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: janbu...@fastmail.fm (Mild Shock)
Newsgroups: comp.lang.prolog
Subject: Re: 50 Years of Prolog Nonsense
Date: Tue, 9 Apr 2024 00:20:25 +0200
Message-ID: <uv1qj9$b90p$1@solani.org>
References: <db903ba2-8ccd-418e-bd18-a9eb381cd222n@googlegroups.com>
<m2sfn6kzuc.fsf@logic.at>
<781b5836-4c51-4a7e-a074-85fa4ab490fbn@googlegroups.com>
<242e2f19-536c-48a5-b878-25a5203784dfn@googlegroups.com>
<e3e3ff06-25e4-402d-aee2-9b6cc7a55c44n@googlegroups.com>
<c06d38ce-e0bc-41cf-a047-31329c129a18n@googlegroups.com>
<922650d6-1ca0-4cd1-8792-e5a5a9382dd7n@googlegroups.com>
<9eddc0c6-1e9e-4d89-8486-1a7b6c74db7cn@googlegroups.com>
<db4884ea-268d-4d4b-9e1c-ee8e23d9633cn@googlegroups.com>
<776d1dff-fdbc-4f98-ac73-c7b987e66339n@googlegroups.com>
<98ad3212-8093-488e-998d-ebe8e5204c2en@googlegroups.com>
<fb646080-0f83-4ea0-b102-3a0cf6d0012fn@googlegroups.com>
<6c22406d-adb5-4116-8b4d-8c406959741an@googlegroups.com>
<06e0236a-4538-4b76-8206-c3041372d741n@googlegroups.com>
<ba2c670e-c040-49df-b98e-2d130488eeecn@googlegroups.com>
<m2msy7gg8d.fsf@logic.at>
<7199a778-7b65-4d5a-8cac-908ab6d415adn@googlegroups.com>
<uv1q99$b8o5$1@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 8 Apr 2024 22:20:25 -0000 (UTC)
Injection-Info: solani.org;
logging-data="369689"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Firefox/91.0 SeaMonkey/2.53.18.2
Cancel-Lock: sha1:FAUddMWMygR7v49hl0dZmPzZqzI=
X-User-ID: eJwFwYEBwCAIA7CXBFuEcxTW/09Ywh0WfRAMUJS+/T1klFBmVwBXWz1cjA3b5FZLnTixsfwl/CSbPpMz/gNMARUH
In-Reply-To: <uv1q99$b8o5$1@solani.org>
 by: Mild Shock - Mon, 8 Apr 2024 22:20 UTC

Hey Scryer Prolog, whats up?
Why the tooltip "Artificial Intelligence" over "AI"

Scryer Prolog Meetup 2024
https://www.digitalaustria.gv.at/eng/insights/Digital-Austria-Events-EN/Scryer-Prolog-Meetup-2024.html

What does AI mean in Austria, Austrian Idiotism?
Why don't you simply write:

Artificial Inteligence (AI) in the first occurence,
then in every other occurence you can write AI.
And then the thingy gets also printable.

Mild Shock schrieb:
> Remembering Joe Armstrong - 20. April 2024:
> https://www.heise.de/news/Hello-Mike-hello-Robert-goodbye-Joe-Zum-Tode-von-Joe-Armstrong-4404170.html
>
>
> Some quote:
>
> "Make it work, then make it beautiful, then
> if you really, really have to, make it fast.
>
> 90% of the time, if you make it beautiful,
> it will already be fast.
>
> So really, just make it beautiful!
> -Joe Armstrong, Erlang"
>
>
> Now I have a couple of questions:
> - Was Jekejeke beautiful? [No! LoL]
> - Is Trealla beautiful?
> - Is Scryer beautiful?
> - Is Dogelog beautiful? [Yes! LoL]
> - Is SWI-Prolog beautiful?
> - Is GNU Prolog beautiful?
> - Is ECLiPSe Prolog beautiful?
> - Is XSB Prolog beautiful?
> - Is SICStus Prolog beautiful?
> - Etc..
>
>
>

devel / comp.lang.prolog / Re: 50 Years of Prolog Nonsense

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor