Now its clear, the Corona vaccine has had a side effect,
everbody got Alzheimer over the last months. The
SWI-Prolog discourse is a typical example, it has become

a retirement home for some self-talking veterans.

Thomas Alva Edison schrieb am Dienstag, 10. Juli 2018 um 15:28:05 UTC+2:
> Prolog Class Signpost - American Style 2018
> https://www.youtube.com/watch?v=CxQKltWI0NA

Don't do the LIPS.

/* SWI-Prolog 9.1.16 */
?- time(tarai(12, 11, 0, X)).
% 54,182,800 inferences, 2.625 CPU in 2.616 seconds (100% CPU, 20641067 Lips)
X = 12.

/* Guarded Horn Clauses */
$ ./tarai 12 11 0
% 196412655 inferences, 3.34256 CPU seconds (58761215.967661 Lips)
12

tadashi9e, 2023
https://qiita.com/tadashi9e/items/45cef62cda6d38dda0c7

Sanity No More - Only Chaos Here

Mild Shock schrieb am Samstag, 23. September 2023 um 22:51:13 UTC+2:
> Now its clear, the Corona vaccine has had a side effect,
> everbody got Alzheimer over the last months. The
> SWI-Prolog discourse is a typical example, it has become
>
> a retirement home for some self-talking veterans.
> Thomas Alva Edison schrieb am Dienstag, 10. Juli 2018 um 15:28:05 UTC+2:
> > Prolog Class Signpost - American Style 2018
> > https://www.youtube.com/watch?v=CxQKltWI0NA

Unfortunately I find nowhere the full source of this new
GHC Prolog by tadashi9e, which makes it a little dubious.
Then Dogelog Player yet generates another number:

tarai(X, Y, _, R) :- X =< Y, !, R = Y.
tarai(X, Y, Z, R) :- X_1 is X-1, tarai(X_1, Y, Z, R_X),
Y_1 is Y-1, tarai(Y_1, Z, X, R_Y),
Z_1 is Z-1, tarai(Z_1, X, Y, R_Z),
tarai(R_X, R_Y, R_Z, R).

?- statistics(calls, A), shield(tarai(12, 11, 0, _)), statistics(calls, B), C is B-A.
A = 115190487, B = 230328953, C = 115138466.

?- statistics(calls, A), tarai(12, 11, 0, _), statistics(calls, B), C is B-A.
A = 46911, B = 115187678, C = 115140767.

shield/1 does switch off auto-yield. Expectation was rather
that the second query gives 115138466 again, minus a few
inferences since shield/1 wasn't called. But it seems that

auto-yield leads to some phantom inferences which should
not be the case. So I guess we have a glitch somehere in the
bookkeeping. But why is GHC Prolog count higher? Maybe

because it has some constructs like (->)/2 in the second clause
of tarai. Also both clauses in GHC need (|)/2, and the second
clause has a true/0 guard. This could explain the higher count?

Mild Shock schrieb am Mittwoch, 27. September 2023 um 13:06:01 UTC+2:
> Don't do the LIPS.
>
> /* SWI-Prolog 9.1.16 */
> ?- time(tarai(12, 11, 0, X)).
> % 54,182,800 inferences, 2.625 CPU in 2.616 seconds (100% CPU, 20641067 Lips)
> X = 12.
>
> /* Guarded Horn Clauses */
> $ ./tarai 12 11 0
> % 196412655 inferences, 3.34256 CPU seconds (58761215.967661 Lips)
> 12
>
> tadashi9e, 2023
> https://qiita.com/tadashi9e/items/45cef62cda6d38dda0c7
>
> Sanity No More - Only Chaos Here
> Mild Shock schrieb am Samstag, 23. September 2023 um 22:51:13 UTC+2:
> > Now its clear, the Corona vaccine has had a side effect,
> > everbody got Alzheimer over the last months. The
> > SWI-Prolog discourse is a typical example, it has become
> >
> > a retirement home for some self-talking veterans.
> > Thomas Alva Edison schrieb am Dienstag, 10. Juli 2018 um 15:28:05 UTC+2:
> > > Prolog Class Signpost - American Style 2018
> > > https://www.youtube.com/watch?v=CxQKltWI0NA

So what is the issue that should be solved proactively.
A single person cannot indefinitely maintain a Prolog system.
Why? Not because the person will be dead at some time in

the future, the person might also get unable to continue
naintaining a Prolog system. Same holds for a community,
it cannot age indefinitely. See also:

Memory Loss, Alzheimer's Disease and Dementia, 3rd Edition
by Andrew E. Budson, MD and Paul R. Solomon, PhD
https://evolve.elsevier.com/cs/product/9780323795449

So what are the option? Exit strategies? Generational change
strategies? Where are the youngsters that will take over?
This is a call for action, for people < 30 years old:

- Please show us your Prolog interpreter

Mild Shock schrieb am Samstag, 23. September 2023 um 22:51:13 UTC+2:
> Now its clear, the Corona vaccine has had a side effect,
> everbody got Alzheimer over the last months. The
> SWI-Prolog discourse is a typical example, it has become
>
> a retirement home for some self-talking veterans.
> Thomas Alva Edison schrieb am Dienstag, 10. Juli 2018 um 15:28:05 UTC+2:
> > Prolog Class Signpost - American Style 2018
> > https://www.youtube.com/watch?v=CxQKltWI0NA

Could we say if life expectancy increases, senescence increases
as well? Not sure. Senescence (/sɪˈnɛsəns/) or biological aging is the
gradual deterioration of functional characteristics in living organisms.

BTW: Here A Chapter in Idiotic Gurus: Where is Dementia?
What if you your "Prana" goes missing via Dementia?

Secrets Revealed : 5 Stages of Death
https://www.youtube.com/watch?v=ZncdonlR5q8

Unfortunately this lunatic is quite popular, India and USA etc..:

New York Times bestsellers Inner Engineering: A Yogi's Guide to Joy
https://en.wikipedia.org/wiki/Sadhguru

Mild Shock schrieb am Dienstag, 3. Oktober 2023 um 13:37:15 UTC+2:
> So what is the issue that should be solved proactively.
> A single person cannot indefinitely maintain a Prolog system.
> Why? Not because the person will be dead at some time in
>
> the future, the person might also get unable to continue
> naintaining a Prolog system. Same holds for a community,
> it cannot age indefinitely. See also:
>
> Memory Loss, Alzheimer's Disease and Dementia, 3rd Edition
> by Andrew E. Budson, MD and Paul R. Solomon, PhD
> https://evolve.elsevier.com/cs/product/9780323795449
>
> So what are the option? Exit strategies? Generational change
> strategies? Where are the youngsters that will take over?
> This is a call for action, for people < 30 years old:
>
> - Please show us your Prolog interpreter
> Mild Shock schrieb am Samstag, 23. September 2023 um 22:51:13 UTC+2:
> > Now its clear, the Corona vaccine has had a side effect,
> > everbody got Alzheimer over the last months. The
> > SWI-Prolog discourse is a typical example, it has become
> >
> > a retirement home for some self-talking veterans.
> > Thomas Alva Edison schrieb am Dienstag, 10. Juli 2018 um 15:28:05 UTC+2:
> > > Prolog Class Signpost - American Style 2018
> > > https://www.youtube.com/watch?v=CxQKltWI0NA