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.

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

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

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

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