Hi,

Although Paulo Moura followed the lead of Bart
Demoen and started mobbing me. Many people were
rather shaking their head over Bart Demoen.

When Bart Demoen posted:

Programming vs. Specification

?- X = a, setof(Y, p(X, Y), S).
and
?- setof(Y, p(X, Y), S), X = a.

not for the following definition of p/2:

p(b,1) :- ! .
p(_,2) .

Fernando Pereira, sighted:

Sigh... We were discussing *logical* advantages.
Of course setof cannot give a declarative reading
to a program that doesn't have one to start with.

https://groups.google.com/g/comp.lang.prolog/c/-oerQs4l2Zw/m/v0kjwLIwuI0J

Bye

Mild Shock schrieb:

Hi,

That Prolog missed the AI Boom is quite amazing,
given that neural networks have a lot to do
with physics, and there were even Prologers with

a physics PhD, well almost if there werent a typo:

Name: Bart Demoen
Dissertation: Stability and Equilibrium for Clasical infinite Systems Advisor:  Andre Frans Maria Verbeure https://www.genealogy.math.ndsu.nodak.edu/id.php?id=70951

What does Clasical mean? But then there is a famous
test case, which can melt Bart Demoen's brain:

Gap in Section 7.6.2 and some Insecurity Arising from it

?- call((Z=!, a(X), Z)).
Z = !
X = 1 ?;
Z = !
X = 2
yes

?- findall(Z-X,call((Z=!, a(X), Z)),L).
L = [!-1]

https://groups.google.com/g/comp.lang.prolog/c/FNou9Z-A_Zs/m/NSSTmbx4E4wJ

Bart Demoen's memorable reaction in 04.11.2011, 23:06:47 was:

PLEASE, DO NOT ALARM THIS NEWSGROUP ABOUT "FUNNY" RESULTS
WITHOUT TELLING US WHICH SYSTEM CAUSED THE RESULTS

LoL

Bye

Mild Shock schrieb:

Inductive logic programming at 30
https://arxiv.org/abs/2102.10556

The paper contains not a single reference to autoencoders!

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)

Hi,

Ok, one last sample, barty boy in full swing:

Oh, but you did much better: you tried to ridicule
my research, my home country and the size of my
Prolog programs. I can't match that.

https://groups.google.com/g/comp.lang.prolog/c/uh_HUytRGJE/m/tXc7euv1KngJ

So he got into struggle with industry? I would
add not only small programms, but also a micro
penis and an empty head.

LoL

Bye

Mild Shock schrieb:

Hi,

Although Paulo Moura followed the lead of Bart
Demoen and started mobbing me. Many people were
rather shaking their head over Bart Demoen.

When Bart Demoen posted:

Programming vs. Specification

?- X = a, setof(Y, p(X, Y), S).
and
?- setof(Y, p(X, Y), S), X = a.

not for the following definition of p/2:

p(b,1) :- ! .
p(_,2) .

Fernando Pereira, sighted:

Sigh... We were discussing *logical* advantages.
Of course setof cannot give a declarative reading
to a program that doesn't have one to start with.

https://groups.google.com/g/comp.lang.prolog/c/-oerQs4l2Zw/m/v0kjwLIwuI0J

Bye

Mild Shock schrieb:

Hi,

That Prolog missed the AI Boom is quite amazing,
given that neural networks have a lot to do
with physics, and there were even Prologers with

a physics PhD, well almost if there werent a typo:

Name: Bart Demoen
Dissertation: Stability and Equilibrium for Clasical infinite Systems
Advisor:  Andre Frans Maria Verbeure
https://www.genealogy.math.ndsu.nodak.edu/id.php?id=70951

What does Clasical mean? But then there is a famous
test case, which can melt Bart Demoen's brain:

Gap in Section 7.6.2 and some Insecurity Arising from it
;
?- call((Z=!, a(X), Z)).
Z = !
X = 1 ?;
Z = !
X = 2
yes
;
?- findall(Z-X,call((Z=!, a(X), Z)),L).
L = [!-1]
;
;

https://groups.google.com/g/comp.lang.prolog/c/FNou9Z-A_Zs/m/NSSTmbx4E4wJ

Bart Demoen's memorable reaction in 04.11.2011, 23:06:47 was:

PLEASE, DO NOT ALARM THIS NEWSGROUP ABOUT "FUNNY" RESULTS
WITHOUT TELLING US WHICH SYSTEM CAUSED THE RESULTS

LoL

Bye

Mild Shock schrieb:

Inductive logic programming at 30
https://arxiv.org/abs/2102.10556

The paper contains not a single reference to autoencoders!

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)

Hi,

I hope he doesn't get a heart attack.
But he really made it too easy for me:

Isaiah 30:8 (NIV): “Go now, write it
on a tablet for them, inscribe it on a
scroll, that for days to come it may
be an everlasting witness.”

Enjoy your free time:

Bart Demoen retired ...
I retired on 1 october 2018.
https://people.cs.kuleuven.be/~bart.demoen/

Its not that comp.lang.prolog would somehow
track people and their biography. This
was my little contribution.

Bye

Mild Shock schrieb:

Hi,

Ok, one last sample, barty boy in full swing:

Oh, but you did much better: you tried to ridicule
my research, my home country and the size of my
Prolog programs. I can't match that.

https://groups.google.com/g/comp.lang.prolog/c/uh_HUytRGJE/m/tXc7euv1KngJ

So he got into struggle with industry? I would
add not only small programms, but also a micro
penis and an empty head.

LoL

Bye

Mild Shock schrieb:

Hi,

Although Paulo Moura followed the lead of Bart
Demoen and started mobbing me. Many people were
rather shaking their head over Bart Demoen.

When Bart Demoen posted:

Programming vs. Specification
;
?- X = a, setof(Y, p(X, Y), S).
and
?- setof(Y, p(X, Y), S), X = a.
;
not for the following definition of p/2:
;
p(b,1) :- ! .
p(_,2) .

Fernando Pereira, sighted:

Sigh... We were discussing *logical* advantages.
Of course setof cannot give a declarative reading
to a program that doesn't have one to start with.
;
;

https://groups.google.com/g/comp.lang.prolog/c/-oerQs4l2Zw/m/v0kjwLIwuI0J

Bye

Mild Shock schrieb:

Hi,

That Prolog missed the AI Boom is quite amazing,
given that neural networks have a lot to do
with physics, and there were even Prologers with

a physics PhD, well almost if there werent a typo:

Name: Bart Demoen
Dissertation: Stability and Equilibrium for Clasical infinite Systems >>>  > Advisor:  Andre Frans Maria Verbeure
https://www.genealogy.math.ndsu.nodak.edu/id.php?id=70951

What does Clasical mean? But then there is a famous
test case, which can melt Bart Demoen's brain:

Gap in Section 7.6.2 and some Insecurity Arising from it
;
?- call((Z=!, a(X), Z)).
Z = !
X = 1 ?;
Z = !
X = 2
yes
;
?- findall(Z-X,call((Z=!, a(X), Z)),L).
L = [!-1]
;
;

https://groups.google.com/g/comp.lang.prolog/c/FNou9Z-A_Zs/m/NSSTmbx4E4wJ >>>

Bart Demoen's memorable reaction in 04.11.2011, 23:06:47 was:

PLEASE, DO NOT ALARM THIS NEWSGROUP ABOUT "FUNNY" RESULTS
WITHOUT TELLING US WHICH SYSTEM CAUSED THE RESULTS

LoL

Bye

Mild Shock schrieb:

Inductive logic programming at 30
https://arxiv.org/abs/2102.10556

The paper contains not a single reference to autoencoders!

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)