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