From Newsgroup: sci.math

Hi,

Just a quick take on the Prolog pulse:

- SWI-Prolog: Dead Horse, LISP / MeTTa is it.

- Scyer: Dead Horse, no core commits

- Ciao Prolog: Dead Horse, no core commits

- Who else?

So I guess its back to Strawberry Prolog for teaching!

They are also building AGI:

https://dobrev.com/AI/Think_in_mind.pdf

Bye
--- Synchronet 3.21b-Linux NewsLink 1.2

From Newsgroup: sci.math

Hi,

Spies and Playboys: Don't use insecure E-mail.
Its too much laugh for everybody:

A woman's history of vaginal orgasm is discernible from her walk. https://www.jmail.world/thread/EFTA02421406?view=inbox

Cudos to whoever did that(*), it has even PDF
backlings, like this here;

A woman's history of vaginal orgasm is discernible from her walk https://assets.getkino.com/documents/EFTA02421406.pdf

P.S.: Who did it:

The Jmail Suite
https://www.jmail.world/about#built-by

P.P.S.: Eurpeans be careful using USA E-mail.

Mild Shock schrieb:

Hi,

Just a quick take on the Prolog pulse:

- SWI-Prolog: Dead Horse, LISP / MeTTa is it.

- Scyer: Dead Horse, no core commits

- Ciao Prolog: Dead Horse, no core commits

- Who else?

So I guess its back to Strawberry Prolog for teaching!

They are also building AGI:

https://dobrev.com/AI/Think_in_mind.pdf

Bye

--- Synchronet 3.21b-Linux NewsLink 1.2

From Newsgroup: sci.math

Hi,

How it started:

TPTP World Anthem [The TPTP World Needs Money] https://drive.google.com/file/d/1otJ8FxCiwVTIMoEDMW98puuTKIUH7BYF/view?pli=1

How its going:

ANTHEM 2.0: Automated Reasoning for Answer Set Programming https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/anthem-20-automated-reasoning-for-answer-set-programming/69D4B6430617A334906A99F787FA2727

Bye

P.S.: Would be fine if the TPTP sublanguages, were
lean, just some operator definitions, and not some
bloathed nonsense. Going such a Lean path would

allow to stay in the ISO core standard, instead of
inventing one new language after the other, Gringo,
who knows what, with horrible eval semantics of

(=)/2 and silly (=>)/2 rules for example in Picat.
Also translating ASP to FOL, when there are no
cardinality heads, is rather trivial.

Mild Shock schrieb:

Hi,

Just a quick take on the Prolog pulse:

- SWI-Prolog: Dead Horse, LISP / MeTTa is it.

- Scyer: Dead Horse, no core commits

- Ciao Prolog: Dead Horse, no core commits

- Who else?

So I guess its back to Strawberry Prolog for teaching!

They are also building AGI:

https://dobrev.com/AI/Think_in_mind.pdf

Bye

--- Synchronet 3.21b-Linux NewsLink 1.2

From Newsgroup: sci.math


Hi,

Another example of a Dead Horse, Gecode,
no commit for 7 years:

https://github.com/Gecode/gecode

So what is it, a historical footnote? Why
does research not produce little

ISO core standard capsules, that I can
run even with Strawberry Prolog?

Bye

P.S.: So the real ANTHEM is:

Guns N' Roses - Dead Horse
https://www.youtube.com/watch?v=u8X76NRiQLQ

Mild Shock schrieb:

Hi,

How it started:

TPTP World Anthem [The TPTP World Needs Money] https://drive.google.com/file/d/1otJ8FxCiwVTIMoEDMW98puuTKIUH7BYF/view?pli=1

How its going:

ANTHEM 2.0: Automated Reasoning for Answer Set Programming https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/anthem-20-automated-reasoning-for-answer-set-programming/69D4B6430617A334906A99F787FA2727

Bye

P.S.: Would be fine if the TPTP sublanguages, were
lean, just some operator definitions, and not some
bloathed nonsense. Going such a Lean path would

allow to stay in the ISO core standard, instead of
inventing one new language after the other, Gringo,
who knows what, with horrible eval semantics of

(=)/2 and silly (=>)/2 rules for example in Picat.
Also translating ASP to FOL, when there are no
cardinality heads, is rather trivial.

Mild Shock schrieb:

Hi,

Just a quick take on the Prolog pulse:

- SWI-Prolog: Dead Horse, LISP / MeTTa is it.

- Scyer: Dead Horse, no core commits

- Ciao Prolog: Dead Horse, no core commits

- Who else?

So I guess its back to Strawberry Prolog for teaching!

They are also building AGI:

https://dobrev.com/AI/Think_in_mind.pdf

Bye

--- Synchronet 3.21b-Linux NewsLink 1.2

From Newsgroup: sci.math

Hi,

Just a quick take on the golang pulse:

How it started:

A Comparative Study of Language Implementations https://www.arxiv.org/abs/2502.01651

How its going:

Co-Creator of Go Language is Rightly Furious https://itsfoss.com/news/rob-pike-furious/

Rob Pike going bonkers over AI.

Bye

See especially, ca factor 4x-5x behind:

Go < Julia < Rust < C < Zig < Mojo < C++
(a): Average tokens per second for stories15M.bin model

Go < Julia < Rust < Zig < C < C++ < Mojo
(c): Average tokens per second for stories42M.bin model

So I guess its back to Fortran.

Mild Shock schrieb:

Hi,

Just a quick take on the Prolog pulse:

- SWI-Prolog: Dead Horse, LISP / MeTTa is it.

- Scyer: Dead Horse, no core commits

- Ciao Prolog: Dead Horse, no core commits

- Who else?

So I guess its back to Strawberry Prolog for teaching!

They are also building AGI:

https://dobrev.com/AI/Think_in_mind.pdf

Bye

--- Synchronet 3.21b-Linux NewsLink 1.2