Probably something that would make Alain
Colmerauer happy. By way of EricGT on
SWI-Prolog discourse:

"Prolog broke into the top 20 again a few months ago
(should have captured it then for historical use).
As of June 2022 it is still at 20."
https://www.tiobe.com/tiobe-index/

I guess we can overtake Ruby, which is on 19,
if we provide some "Prolog on Rails". Anybody up to it?

Mostowski Collapse schrieb am Samstag, 9. Juli 2022 um 10:12:37 UTC+2:
> Probably something that would make Alain
> Colmerauer happy. By way of EricGT on
> SWI-Prolog discourse:
>
> "Prolog broke into the top 20 again a few months ago
> (should have captured it then for historical use).
> As of June 2022 it is still at 20."
> https://www.tiobe.com/tiobe-index/

(P.S.: The idea would be to provide and base the Rails
functionality in 100% Prolog programming language)

Mostowski Collapse schrieb am Samstag, 9. Juli 2022 um 10:36:49 UTC+2:
> I guess we can overtake Ruby, which is on 19,
> if we provide some "Prolog on Rails". Anybody up to it?
>
> Mostowski Collapse schrieb am Samstag, 9. Juli 2022 um 10:12:37 UTC+2:
> > Probably something that would make Alain
> > Colmerauer happy. By way of EricGT on
> > SWI-Prolog discourse:
> >
> > "Prolog broke into the top 20 again a few months ago
> > (should have captured it then for historical use).
> > As of June 2022 it is still at 20."
> > https://www.tiobe.com/tiobe-index/

Biologicians have found a new animal, speedy exit saurus
aka ruZZian soldier, its the fastest animal on this planet:

The fastest animals in the world...
https://twitter.com/Igor_from_Kyiv_/status/1569758364783054849

You can learn a lot from this animal, for example:

- Rule 1 of speedy exit:
for maximum speed, washing machine trophy, just drop it.

- Rule 2 of speedy exit:
same holds for tank, ammunition, riffle, etc.. etc..

Mostowski Collapse schrieb am Mittwoch, 14. September 2022 um 18:21:08 UTC+2:
> Biologicians have found a new animal, speedy exit saurus
> aka ruZZian soldier, its the fastest animal on this planet:
>
> The fastest animals in the world...
> https://twitter.com/Igor_from_Kyiv_/status/1569758364783054849

Disclaimer: Source of OSTINT, 9gag.com head quarters.
(one should not praise the morning before the evening)

Mostowski Collapse schrieb am Mittwoch, 14. September 2022 um 18:25:25 UTC+2:
> You can learn a lot from this animal, for example:
>
> - Rule 1 of speedy exit:
> for maximum speed, washing machine trophy, just drop it.
>
> - Rule 2 of speedy exit:
> same holds for tank, ammunition, riffle, etc.. etc..
> Mostowski Collapse schrieb am Mittwoch, 14. September 2022 um 18:21:08 UTC+2:
> > Biologicians have found a new animal, speedy exit saurus
> > aka ruZZian soldier, its the fastest animal on this planet:
> >
> > The fastest animals in the world...
> > https://twitter.com/Igor_from_Kyiv_/status/1569758364783054849

Somebody said:

> I think probabilistic reasoning itself is borken

Well I was a purist like that also in the past. And I am still a
kind of purist like that in the present, avoiding probability
whenever possible. But its a nice little

mathematical model, which you can map to constraint logic
programming CLP(R). So if for example you have an
equation involving probability:

P(A & B) < P(C)

Then this says nothing else than the CLP(R) constraint:

w + z < z + y + x + c

Pitty ProbLog doesn’t work like that. How would we name
this new logic programming language, that can deal with
probability constraints? Would it be new?

What about quantum logic programming (QLP)? Would
possibly need some entanglement equations as well.
I think there is really the need for the Prolog community

to do something, there is no logic programming entry here yet:

Quantum programming languages
https://en.wikipedia.org/wiki/Quantum_programming#Quantum_programming_languages

LoL

Mostowski Collapse schrieb am Donnerstag, 12. Januar 2023 um 14:16:15 UTC+1:
> Somebody said:
>
> > I think probabilistic reasoning itself is borken
>
> Well I was a purist like that also in the past. And I am still a
> kind of purist like that in the present, avoiding probability
> whenever possible. But its a nice little
>
> mathematical model, which you can map to constraint logic
> programming CLP(R). So if for example you have an
> equation involving probability:
>
> P(A & B) < P(C)
>
> Then this says nothing else than the CLP(R) constraint:
>
> w + z < z + y + x + c

It is the royal We, as in “We, the Boris of Prolog”

Yeah, this makes a lot of sense. And ChatGPT is the Agent 007,
On Her Majesty’s Secret Service. I was thinking of another “we”,
the “we” from the Dijkstra interview:

Q: Is the field of computer science approaching maturity in any sense, or where are we?

A: Well, we is a rather mixed lot aren’t we?
https://www.cs.utexas.edu/users/EWD/misc/vanVlissingenInterview.html

Today I suggrested somebody that somebody should make
interviews of Jan Wielemaker, Robert Kowalski, etc… I suggested
some people also working in Philosophy and Logic.

An interview in the similar vain, but just now at that time of moment,
although 100 years after the “formal logic” revolution of Boole, Frege, etc…
but before what OpenAI etc… might bring. Mostlikely

“formal logic” will have more impact to society than we think now.
But I don’t have time for that, and I am also not a journalist by profession.
Maybe the questions by Boris should make it into such interviews.

I guess such interviews would be gold in the future. But you see
I am more into responses from flesh and bone right now. Although
one could colage some ChatGPT or other bot inverviews into

such a booklet as well.

Is Canada also France? Seems I am not the only one who got
into struggle with Logtalk sooner or later. LoL

How its started:
Ticket raised by me Aug 9, 2021 (when I was "ghost")
Feature request flag dialect, maybe version and version_data
https://github.com/mthom/scryer-prolog/issues/1017

How its going:
Commit by pmoura last week
Delete Scryer Prolog support due to this system refusal to
support the de facto standard `version_data` flag
https://github.com/LogtalkDotOrg/logtalk3/commit/d93883c5a8b014af09bd0e11439eaff30e1c1a5c

What happened?

LoL

version_data turned out quite useful. I am currently using
it across Dogelog Player to also return the release date:

?- current_prolog_flag(version_data, X).
X = dogelog(1, 1, 3, [date(1696761013577)]).

The date is currenty a long integer time stamp. I am not
using date/3 or datetime/6 compounds for time.

Mild Shock schrieb am Mittwoch, 11. Oktober 2023 um 00:54:43 UTC+2:
> Is Canada also France? Seems I am not the only one who got
> into struggle with Logtalk sooner or later. LoL
>
> How its started:
> Ticket raised by me Aug 9, 2021 (when I was "ghost")
> Feature request flag dialect, maybe version and version_data
> https://github.com/mthom/scryer-prolog/issues/1017
>
> How its going:
> Commit by pmoura last week
> Delete Scryer Prolog support due to this system refusal to
> support the de facto standard `version_data` flag
> https://github.com/LogtalkDotOrg/logtalk3/commit/d93883c5a8b014af09bd0e11439eaff30e1c1a5c
>
> What happened?
>
> LoL