Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

Friction is a drag.


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

SubjectAuthor
* 50 Years of Prolog NonsenseMostowski Collapse
`* 50 Years of Prolog NonsenseMostowski Collapse
 `* 50 Years of Prolog NonsenseMostowski Collapse
  `* 50 Years of Prolog NonsenseMostowski Collapse
   `- 50 Years of Prolog NonsenseMostowski Collapse

1
Re: 50 Years of Prolog Nonsense

<41aa8728-09e9-4823-b4b7-ad57c86d1678n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a37:f50b:0:b0:680:d577:baf6 with SMTP id l11-20020a37f50b000000b00680d577baf6mr8415558qkk.328.1650836958340;
Sun, 24 Apr 2022 14:49:18 -0700 (PDT)
X-Received: by 2002:a25:2653:0:b0:648:6d08:b4f2 with SMTP id
m80-20020a252653000000b006486d08b4f2mr1864155ybm.414.1650836958053; Sun, 24
Apr 2022 14:49:18 -0700 (PDT)
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: Sun, 24 Apr 2022 14:49:17 -0700 (PDT)
In-Reply-To: <a8f57e18-c3cf-4e3f-b589-29401db904d6n@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: <db903ba2-8ccd-418e-bd18-a9eb381cd222n@googlegroups.com>
<f556f96e-c529-4fa7-a2aa-9e64914fa587n@googlegroups.com> <01cd804e-ed22-4bd5-becc-7e40d02355b3n@googlegroups.com>
<c657fedb-baea-4e8f-a0ec-31ef0dd40aadn@googlegroups.com> <e977c06f-7bc4-48b4-be84-819c9deee22bn@googlegroups.com>
<d6891d67-ac96-4ac2-b0a4-05eabd2c9196n@googlegroups.com> <22deb94e-8ea7-4186-b54c-f62acf6bfc21n@googlegroups.com>
<8480178f-c543-4991-8852-7fab3ae36513n@googlegroups.com> <7b455313-f626-4b28-91d3-815c97845f25n@googlegroups.com>
<7358eb33-9ac9-4594-97a4-68b9447459cfn@googlegroups.com> <stttcm$scdj$1@solani.org>
<94f2c74b-f639-43f7-b0a7-3fb19474b8b6n@googlegroups.com> <cffd0ca3-ae91-45c3-941d-357fbb16ea5cn@googlegroups.com>
<93d9c233-ebc8-41f0-bce9-134b89c1c6d1n@googlegroups.com> <cb4d0cda-50b3-4ad7-9af3-240a3582a064n@googlegroups.com>
<1d869c34-e4eb-4e93-898e-0b01f3ffb09dn@googlegroups.com> <cd6b0691-c25c-4867-917b-7d48340b2798n@googlegroups.com>
<fd44ed01-3f23-48ad-9035-ca3a02720ea0n@googlegroups.com> <6751a872-9893-4bb4-9fdf-f7491d1ba826n@googlegroups.com>
<627b1680-c118-4df7-bf0e-f7b1fb885e51n@googlegroups.com> <35a3e608-d22c-4606-9617-25681e7aec08n@googlegroups.com>
<26c9dce5-cd9d-4ee9-a6d1-f02c5ebeb84bn@googlegroups.com> <24fc2a11-ba45-4e95-8e00-9f9d030a9f2cn@googlegroups.com>
<1634fa1b-bb79-41a2-b3ea-78704adb3bc9n@googlegroups.com> <1e65b2ec-c913-47cc-8f48-c2d75ca8ebffn@googlegroups.com>
<46f1a6ed-b7cf-46ef-b743-385f73ee8bc8n@googlegroups.com> <4cf6cb3d-4215-4ac9-a4f7-c1be67849b55n@googlegroups.com>
<a8f57e18-c3cf-4e3f-b589-29401db904d6n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <41aa8728-09e9-4823-b4b7-ad57c86d1678n@googlegroups.com>
Subject: Re: 50 Years of Prolog Nonsense
From: burse...@gmail.com (Mostowski Collapse)
Injection-Date: Sun, 24 Apr 2022 21:49:18 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Lines: 71
 by: Mostowski Collapse - Sun, 24 Apr 2022 21:49 UTC

Finally on YouTube

ALAIN COLMERAUER L'AVENTURE PROLOG
11.04.2022 - Prolog Heritage
https://www.youtube.com/watch?v=74Ig_QKndvE

Mostowski Collapse schrieb am Sonntag, 24. April 2022 um 20:47:05 UTC+2:
> Practically the example can be made run on most Prolog
> systems by replacing call/1 by Vanilla Interpreter solve/1.
> When I use this here:
>
> solve(X=X).
> solve(solve(A)) :- solve(A).
> solve((A,B)) :- solve(A), solve(B).
>
> I can run this query:
>
> ?- A=(1=1, solve(A)), solve(A).
>
> Indefinitely. The test results are now:
>
> SWI Prolog: Pass ✓
> SICStus Prolog: Pass ✓
> Formerly Jekejeke Prolog: Pass ✓
> Dogelog Player: Pass ✓
> Scryer Prolog: Pass ✓
> Mostowski Collapse schrieb am Sonntag, 24. April 2022 um 14:32:07 UTC+2:
> > There are many libraries that use meta calls. For example
> > Bart Demoen et al. “Tor” and Ulrich Neumerkels “indexing dif”:
> >
> > Tor: Extensible Search with Hookable Disjunction
> > https://www.swi-prolog.org/pack/list?p=tor
> >
> > Many Prolog programs are unnecessarily impure
> > https://arxiv.org/abs/1607.01590
> >
> > But the issue needs of course be also examined for call/n
> > and not only call/1. Currently Dogelog Player doesn’t have call/n,
> > only call/1, so I don’t know. I also don’t know why it doesn’t
> >
> > work in formerly Jekejeke Prolog or in SWI-Prolog. In SWI-Prolog
> > if you create a temporary clause, last call optimization could skip
> > it, but you need also a mechanism to garbage collect it.
> >
> > In formerly Jekejeke Prolog I create a temporary half clause,
> > only the body of a clause. I thought I made it so that it gets skip
> > and garbage collected, maybe there is a bug somewhere.
> > Mostowski Collapse schrieb am Samstag, 23. April 2022 um 22:57:29 UTC+2:
> > > This could run for ever:
> > >
> > > ?- A=(1=1, call(A)), A.
> > > But so far I find:
> > >
> > > SWI Prolog: Fail ✗
> > > SICStus Prolog: Pass ✓
> > > Formerly Jekejeke Prolog: Fail ✗
> > > Dogelog Player: Pass ✓
> > > Scryer Prolog: Fail ✗
> > >
> > > Maybe I can bring the same from Dogelog Player to formerly Jekejeke
> > > Prolog as well? To see the Scryer Prolog Fail, you need to watch the
> > > memory growing and growing.
> > >
> > > The other Prolog systems that do Pass have constant memory.

Re: 50 Years of Prolog Nonsense

<t4gi2o$1j1id$1@solani.org>

  copy mid

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

  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 (Mostowski Collapse)
Newsgroups: comp.lang.prolog
Subject: Re: 50 Years of Prolog Nonsense
Date: Fri, 29 Apr 2022 13:27:20 +0200
Message-ID: <t4gi2o$1j1id$1@solani.org>
References: <db903ba2-8ccd-418e-bd18-a9eb381cd222n@googlegroups.com>
<93d9c233-ebc8-41f0-bce9-134b89c1c6d1n@googlegroups.com>
<cb4d0cda-50b3-4ad7-9af3-240a3582a064n@googlegroups.com>
<1d869c34-e4eb-4e93-898e-0b01f3ffb09dn@googlegroups.com>
<cd6b0691-c25c-4867-917b-7d48340b2798n@googlegroups.com>
<fd44ed01-3f23-48ad-9035-ca3a02720ea0n@googlegroups.com>
<6751a872-9893-4bb4-9fdf-f7491d1ba826n@googlegroups.com>
<627b1680-c118-4df7-bf0e-f7b1fb885e51n@googlegroups.com>
<35a3e608-d22c-4606-9617-25681e7aec08n@googlegroups.com>
<26c9dce5-cd9d-4ee9-a6d1-f02c5ebeb84bn@googlegroups.com>
<24fc2a11-ba45-4e95-8e00-9f9d030a9f2cn@googlegroups.com>
<1634fa1b-bb79-41a2-b3ea-78704adb3bc9n@googlegroups.com>
<1e65b2ec-c913-47cc-8f48-c2d75ca8ebffn@googlegroups.com>
<46f1a6ed-b7cf-46ef-b743-385f73ee8bc8n@googlegroups.com>
<4cf6cb3d-4215-4ac9-a4f7-c1be67849b55n@googlegroups.com>
<a8f57e18-c3cf-4e3f-b589-29401db904d6n@googlegroups.com>
<41aa8728-09e9-4823-b4b7-ad57c86d1678n@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 29 Apr 2022 11:27:20 -0000 (UTC)
Injection-Info: solani.org;
logging-data="1672781"; 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.11.1
Cancel-Lock: sha1:CUQwxHT8HTSjpXxWSnqZ4PQne7Y=
In-Reply-To: <41aa8728-09e9-4823-b4b7-ad57c86d1678n@googlegroups.com>
X-User-ID: eJwFwYEBwCAIA7CXZLZYzgGU/09Ywu3mfeB0cDiDs7hDq2+YQnRHcj7sD49XsNW0rPGaSN0ooiBXMF9r/ylzFMY=
 by: Mostowski Collapse - Fri, 29 Apr 2022 11:27 UTC

Why is there no coverage of the ISO core standard, maybe
I didn't watch it closely... ? Do the French hate the British
so much, that they would like to beton the Channel Tunnel?

LoL

P.S.: I slowly start hating the Portuguese because of
Logtalk Nonsense. And recently a math troll...

Mostowski Collapse schrieb:
>
> Finally on YouTube
>
> ALAIN COLMERAUER L'AVENTURE PROLOG
> 11.04.2022 - Prolog Heritage
> https://www.youtube.com/watch?v=74Ig_QKndvE

Re: 50 Years of Prolog Nonsense

<t4gim2$1j1ud$1@solani.org>

  copy mid

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

  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 (Mostowski Collapse)
Newsgroups: comp.lang.prolog
Subject: Re: 50 Years of Prolog Nonsense
Date: Fri, 29 Apr 2022 13:37:38 +0200
Message-ID: <t4gim2$1j1ud$1@solani.org>
References: <db903ba2-8ccd-418e-bd18-a9eb381cd222n@googlegroups.com>
<cb4d0cda-50b3-4ad7-9af3-240a3582a064n@googlegroups.com>
<1d869c34-e4eb-4e93-898e-0b01f3ffb09dn@googlegroups.com>
<cd6b0691-c25c-4867-917b-7d48340b2798n@googlegroups.com>
<fd44ed01-3f23-48ad-9035-ca3a02720ea0n@googlegroups.com>
<6751a872-9893-4bb4-9fdf-f7491d1ba826n@googlegroups.com>
<627b1680-c118-4df7-bf0e-f7b1fb885e51n@googlegroups.com>
<35a3e608-d22c-4606-9617-25681e7aec08n@googlegroups.com>
<26c9dce5-cd9d-4ee9-a6d1-f02c5ebeb84bn@googlegroups.com>
<24fc2a11-ba45-4e95-8e00-9f9d030a9f2cn@googlegroups.com>
<1634fa1b-bb79-41a2-b3ea-78704adb3bc9n@googlegroups.com>
<1e65b2ec-c913-47cc-8f48-c2d75ca8ebffn@googlegroups.com>
<46f1a6ed-b7cf-46ef-b743-385f73ee8bc8n@googlegroups.com>
<4cf6cb3d-4215-4ac9-a4f7-c1be67849b55n@googlegroups.com>
<a8f57e18-c3cf-4e3f-b589-29401db904d6n@googlegroups.com>
<41aa8728-09e9-4823-b4b7-ad57c86d1678n@googlegroups.com>
<t4gi2o$1j1id$1@solani.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 29 Apr 2022 11:37:38 -0000 (UTC)
Injection-Info: solani.org;
logging-data="1673165"; 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.11.1
Cancel-Lock: sha1:fvPBbm5Urg2lx4sRf8SV303Txwk=
X-User-ID: eJwFwYEBwCAIA7CXqtA6zgHE/09YQtNSHxflfHxytIQQCwN47usnyCqNzf3y+tT9Guhl9pj7oA27J2S54gc/CxUa
In-Reply-To: <t4gi2o$1j1id$1@solani.org>
 by: Mostowski Collapse - Fri, 29 Apr 2022 11:37 UTC

Blame it on Robert Kowalski, he even creates
an artificial Schism between Edinburgh Prolog
and Colmerauer Prolog in the video,

But guess what the name "Kowalski" is not
British, thats rather something Polish.
There really exists something

like an academic Prolog idiot...

LMAO

P.S.: Please make an extended version of
the video, if you have more material. And
say something about the ISO core standard.

Mostowski Collapse schrieb:
>
> Why is there no coverage of the ISO core standard, maybe
> I didn't watch it closely... ? Do the French hate the British
> so much, that they would like to beton the Channel Tunnel?
>
> LoL
>
> P.S.: I slowly start hating the Portuguese because of
> Logtalk Nonsense. And recently a math troll...
>
> Mostowski Collapse schrieb:
>>
>> Finally on YouTube
>>
>> ALAIN COLMERAUER L'AVENTURE PROLOG
>> 11.04.2022 -  Prolog Heritage
>> https://www.youtube.com/watch?v=74Ig_QKndvE

Re: 50 Years of Prolog Nonsense

<cdea6c44-18a5-4650-9675-e0295ea5d275n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a05:6214:d48:b0:446:3a33:2dba with SMTP id 8-20020a0562140d4800b004463a332dbamr3470262qvr.78.1651333120837;
Sat, 30 Apr 2022 08:38:40 -0700 (PDT)
X-Received: by 2002:a25:2653:0:b0:648:6d08:b4f2 with SMTP id
m80-20020a252653000000b006486d08b4f2mr4106203ybm.414.1651333120642; Sat, 30
Apr 2022 08:38:40 -0700 (PDT)
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: Sat, 30 Apr 2022 08:38:40 -0700 (PDT)
In-Reply-To: <t4gim2$1j1ud$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: <db903ba2-8ccd-418e-bd18-a9eb381cd222n@googlegroups.com>
<cb4d0cda-50b3-4ad7-9af3-240a3582a064n@googlegroups.com> <1d869c34-e4eb-4e93-898e-0b01f3ffb09dn@googlegroups.com>
<cd6b0691-c25c-4867-917b-7d48340b2798n@googlegroups.com> <fd44ed01-3f23-48ad-9035-ca3a02720ea0n@googlegroups.com>
<6751a872-9893-4bb4-9fdf-f7491d1ba826n@googlegroups.com> <627b1680-c118-4df7-bf0e-f7b1fb885e51n@googlegroups.com>
<35a3e608-d22c-4606-9617-25681e7aec08n@googlegroups.com> <26c9dce5-cd9d-4ee9-a6d1-f02c5ebeb84bn@googlegroups.com>
<24fc2a11-ba45-4e95-8e00-9f9d030a9f2cn@googlegroups.com> <1634fa1b-bb79-41a2-b3ea-78704adb3bc9n@googlegroups.com>
<1e65b2ec-c913-47cc-8f48-c2d75ca8ebffn@googlegroups.com> <46f1a6ed-b7cf-46ef-b743-385f73ee8bc8n@googlegroups.com>
<4cf6cb3d-4215-4ac9-a4f7-c1be67849b55n@googlegroups.com> <a8f57e18-c3cf-4e3f-b589-29401db904d6n@googlegroups.com>
<41aa8728-09e9-4823-b4b7-ad57c86d1678n@googlegroups.com> <t4gi2o$1j1id$1@solani.org>
<t4gim2$1j1ud$1@solani.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <cdea6c44-18a5-4650-9675-e0295ea5d275n@googlegroups.com>
Subject: Re: 50 Years of Prolog Nonsense
From: burse...@gmail.com (Mostowski Collapse)
Injection-Date: Sat, 30 Apr 2022 15:38:40 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 44
 by: Mostowski Collapse - Sat, 30 Apr 2022 15:38 UTC

Maybe the war between French and British is nevertheless
over, the Lady showed in one scene a logic booklet by Lewis
Caroll. Or maybe the lady though Caroll is a french name?

Dont know where this name is from. Could be Czech?

P.S.: Could be also an interesting booklet for Dan Christensen,
too improve his skills in basic logic.

Mostowski Collapse schrieb am Freitag, 29. April 2022 um 13:37:40 UTC+2:
> Blame it on Robert Kowalski, he even creates
> an artificial Schism between Edinburgh Prolog
> and Colmerauer Prolog in the video,
>
> But guess what the name "Kowalski" is not
> British, thats rather something Polish.
> There really exists something
>
> like an academic Prolog idiot...
>
> LMAO
>
> P.S.: Please make an extended version of
> the video, if you have more material. And
> say something about the ISO core standard.
>
> Mostowski Collapse schrieb:
> >
> > Why is there no coverage of the ISO core standard, maybe
> > I didn't watch it closely... ? Do the French hate the British
> > so much, that they would like to beton the Channel Tunnel?
> >
> > LoL
> >
> > P.S.: I slowly start hating the Portuguese because of
> > Logtalk Nonsense. And recently a math troll...
> >
> > Mostowski Collapse schrieb:
> >>
> >> Finally on YouTube
> >>
> >> ALAIN COLMERAUER L'AVENTURE PROLOG
> >> 11.04.2022 - Prolog Heritage
> >> https://www.youtube.com/watch?v=74Ig_QKndvE

Re: 50 Years of Prolog Nonsense

<bb6eede9-fdae-4063-b4b9-e860144ea327n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a05:620a:2886:b0:699:bab7:ae78 with SMTP id j6-20020a05620a288600b00699bab7ae78mr3073230qkp.618.1651333550894;
Sat, 30 Apr 2022 08:45:50 -0700 (PDT)
X-Received: by 2002:a05:6902:1c2:b0:63e:6bd:3a5b with SMTP id
u2-20020a05690201c200b0063e06bd3a5bmr4063731ybh.424.1651333550725; Sat, 30
Apr 2022 08:45:50 -0700 (PDT)
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: Sat, 30 Apr 2022 08:45:50 -0700 (PDT)
In-Reply-To: <cdea6c44-18a5-4650-9675-e0295ea5d275n@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: <db903ba2-8ccd-418e-bd18-a9eb381cd222n@googlegroups.com>
<cb4d0cda-50b3-4ad7-9af3-240a3582a064n@googlegroups.com> <1d869c34-e4eb-4e93-898e-0b01f3ffb09dn@googlegroups.com>
<cd6b0691-c25c-4867-917b-7d48340b2798n@googlegroups.com> <fd44ed01-3f23-48ad-9035-ca3a02720ea0n@googlegroups.com>
<6751a872-9893-4bb4-9fdf-f7491d1ba826n@googlegroups.com> <627b1680-c118-4df7-bf0e-f7b1fb885e51n@googlegroups.com>
<35a3e608-d22c-4606-9617-25681e7aec08n@googlegroups.com> <26c9dce5-cd9d-4ee9-a6d1-f02c5ebeb84bn@googlegroups.com>
<24fc2a11-ba45-4e95-8e00-9f9d030a9f2cn@googlegroups.com> <1634fa1b-bb79-41a2-b3ea-78704adb3bc9n@googlegroups.com>
<1e65b2ec-c913-47cc-8f48-c2d75ca8ebffn@googlegroups.com> <46f1a6ed-b7cf-46ef-b743-385f73ee8bc8n@googlegroups.com>
<4cf6cb3d-4215-4ac9-a4f7-c1be67849b55n@googlegroups.com> <a8f57e18-c3cf-4e3f-b589-29401db904d6n@googlegroups.com>
<41aa8728-09e9-4823-b4b7-ad57c86d1678n@googlegroups.com> <t4gi2o$1j1id$1@solani.org>
<t4gim2$1j1ud$1@solani.org> <cdea6c44-18a5-4650-9675-e0295ea5d275n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <bb6eede9-fdae-4063-b4b9-e860144ea327n@googlegroups.com>
Subject: Re: 50 Years of Prolog Nonsense
From: burse...@gmail.com (Mostowski Collapse)
Injection-Date: Sat, 30 Apr 2022 15:45:50 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 55
 by: Mostowski Collapse - Sat, 30 Apr 2022 15:45 UTC

Okay, typo Carroll, and only a clever artist name:

Charles Lutwidge Dodgson
https://de.m.wikipedia.org/wiki/Lewis_Carroll

Do I have permission from
https://math.stackexchange.com/users/742/arturo-magidin
To cite wikipedia?

Mostowski Collapse schrieb am Samstag, 30. April 2022 um 17:38:41 UTC+2:
> Maybe the war between French and British is nevertheless
> over, the Lady showed in one scene a logic booklet by Lewis
> Caroll. Or maybe the lady though Caroll is a french name?
>
> Dont know where this name is from. Could be Czech?
>
> P.S.: Could be also an interesting booklet for Dan Christensen,
> too improve his skills in basic logic.
> Mostowski Collapse schrieb am Freitag, 29. April 2022 um 13:37:40 UTC+2:
> > Blame it on Robert Kowalski, he even creates
> > an artificial Schism between Edinburgh Prolog
> > and Colmerauer Prolog in the video,
> >
> > But guess what the name "Kowalski" is not
> > British, thats rather something Polish.
> > There really exists something
> >
> > like an academic Prolog idiot...
> >
> > LMAO
> >
> > P.S.: Please make an extended version of
> > the video, if you have more material. And
> > say something about the ISO core standard.
> >
> > Mostowski Collapse schrieb:
> > >
> > > Why is there no coverage of the ISO core standard, maybe
> > > I didn't watch it closely... ? Do the French hate the British
> > > so much, that they would like to beton the Channel Tunnel?
> > >
> > > LoL
> > >
> > > P.S.: I slowly start hating the Portuguese because of
> > > Logtalk Nonsense. And recently a math troll...
> > >
> > > Mostowski Collapse schrieb:
> > >>
> > >> Finally on YouTube
> > >>
> > >> ALAIN COLMERAUER L'AVENTURE PROLOG
> > >> 11.04.2022 - Prolog Heritage
> > >> https://www.youtube.com/watch?v=74Ig_QKndvE


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

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor