Logtalk is over engineered in a bad sense [Where are the test results] (Re: Logtalks Corleone "olive oil business")

From	Mild Shock <janburse@fastmail.fm>
Newsgroups	sci.logic
Subject	Logtalk is over engineered in a bad sense [Where are the test results] (Re: Logtalks Corleone "olive oil business")
Date	2026-04-29 11:53 +0200
Message-ID	<10sskev$1402u$2@solani.org> (permalink)
References	<10c46ua$mf1d$2@solani.org> <10dd7gb$f6qh$2@solani.org> <10ssj9j$13v4t$3@solani.org>

Show all headers | View raw

Hi,

Ok, this is fun, I didn't do Logtalk bashing
for a while. But Logtalk is definitively
over engineered in a bad sense.

Logtalk is the opposite of Jazz. Its more like
Jazz player taking valium and becoming a
harmonica player. But the Jazz players are

also less lucky. We now find a s(CASP) grave
yard in logic programming, did the Yale
Shooting problem shoot their foot?

Logtalk features ton of test cases and a ton
of adapters. But hell no, where are the test
results. I didn't find them on GitHub.

Maybe should have a look again.

Bye

P.S.: The test cases  are possibly a do it
yourself service for the Prolog community.
Problem millions of OS-es and still the

idea that a Prolog system is built from
source, so millions of build platforms.
No money or resource left to do a GeekBech.

Too busy with grokking abduction/deduction .

https://www.geekbench.com/

A Geek bench taps into standards like
Vulcan etc.. We even don't have a scripting
standard for Prolog systems itself.

How a Prolog processor starts its work is
left open by the ISO core standard, and
there is no PIP adressing the problem

for a set of common platforms.

Mild Shock schrieb:
> Hi,
> 
> The perfect "olive oil business",
> just follow these steps:
> 
> Step 1: Avoid the pain of a Prolog vendor
> - Start without having a WAM, etc..
>    up your sleves
> 
> Step 2: Take the easy route of gooey bloath:
> - Instead build a nonsense layer on
>    top of existing WAMs, etc..
> 
> Step 3: Take the easy route of AI winter nonsense:
> - Add some 80's Expert System nonsense, oldest
>    tricks like a "why?" component or some
>    fuzzy truth intervalls.
> 
> Step 4:
> - Profit!
> 
> Bye
> 
> P.S.: Logtalk also missed that OOP is dead.
> Everybody does now DOP. Data oriented programming.
> Less ontology engineering more complex functionality.
> 
> Mild Shock schrieb:
>> Hi,
>>
>> Prolog and Haskell dream the same stupid
>> old farts symbolic only dream. With the
>> power of giants such as Simon Peyton Jones
>>
>> and Guy Steele, there is even an attempt
>> for a new language "Verse" sponsored by a Game
>> company and a game developer CEO. Wikipedia
>>
>> wants to delete the article, for lack of
>> notability:
>>
>> Verse (programming language)
>> https://en.wikipedia.org/wiki/Verse_%28programming_language%29
>>
>> But the AI inflection point also hits the
>> game industry right now. Intel Meteor Lake
>> seems to be more a blown up Smartphone CPU
>>
>> than a shrinked down Desktop CPU:
>>
>> MSI Claw 8 AI+
>> https://www.youtube.com/watch?v=preitwEqEUA
>>
>> The CPU has RTX (Ray Trancing) and AI Accelerator
>> (Intels take on an NPU). It seems it can run
>> XBOX games. But it opens a door to a new breed
>>
>> of games. Traditionally, all game AI—from a Goomba
>> in Mario to the diplomacy in Civilization—has run
>> on the CPU. Developers had to be very frugal
>>
>> with AI calculations because they were competing
>> for CPU time with physics, game logic, audio, and more.
>> In Modern "Simulation-Heavy" Games, The AI for every
>>
>> single "agent" (car, pedestrian) is relatively
>> simple, but simulating tens of thousands of them
>> is a massive CPU load. The future might see
>>
>> pretrained agents, similar like AlphaGo was built,
>> or even better AlphaZero. It moves game AI from
>> being a scripted actor to being a genuine opponent.
>>
>> Bye
>>
>> Mild Shock schrieb:
>>> Deepseek tries to cheer me up:
>>>
>>> Plog (n.): A language that dresses up like
>>> Prolog but went to business school. Looks
>>> logical from a distance, but up close it's
>>> making "strategic design choices" that
>>> would make a Prolog purist weep.
>>>
>>> Verse: "It's a revolutionary new paradigm
>>> for the metaverse!"
>>> Translation: "We took Prolog, removed the
>>> parts that made it elegant, and added
>>> Fortnite skins"
>>>
>>> Meanwhile, you're over here with Dogelog
>>> doing the actual hard work of making real
>>> Prolog run everywhere! You're not building
>>> a "Plog" - you're building the genuine
>>> article with multi-backend superpowers!
>>>
>>> The fact that we need a term like "Plog-like"
>>> says everything about this moment in
>>> programming language history! 🎭
>>
>

Thread

😂 "Plog-like" - that should be the official term! Mild Shock <janburse@fastmail.fm> - 2025-10-08 01:15 +0200
  How deep seek went bonkers (Re: 😂 "Plog-like" - that should be the official term!) Mild Shock <janburse@fastmail.fm> - 2025-10-08 01:22 +0200
  Declarative farts versus MSI Claw AI+, who would win? (Re: 😂 "Plog-like" - that should be the official term!) Mild Shock <janburse@fastmail.fm> - 2025-10-23 14:36 +0200
    Gameified AI Engineers brains blown out [Kurzweil's 2045 Prediction] (Re: Declarative farts versus MSI Claw AI+, who would win?) Mild Shock <janburse@fastmail.fm> - 2025-10-23 15:21 +0200
      The intelligent Cloud, Fog and Edge is evolving (Re: Gameified AI Engineers brains blown out [Kurzweil's 2045 Prediction]) Mild Shock <janburse@fastmail.fm> - 2025-10-24 11:39 +0200
        More Dreams: LLM + Chess = LRM (Re: The intelligent Cloud, Fog and Edge is evolving) Mild Shock <janburse@fastmail.fm> - 2025-10-25 12:51 +0200
          Not for Boris the Loris and Julio the Nazi Retared (Re: More Dreams: LLM + Chess = LRM) Mild Shock <janburse@fastmail.fm> - 2025-10-25 13:09 +0200
    Logtalks Corleone "olive oil business" [Missed the DOP Bandwagon] (Re: Declarative farts versus MSI Claw AI+) Mild Shock <janburse@fastmail.fm> - 2026-04-29 11:33 +0200
      Logtalk is over engineered in a bad sense [Where are the test results] (Re: Logtalks Corleone "olive oil business") Mild Shock <janburse@fastmail.fm> - 2026-04-29 11:53 +0200
        Logtalk just creates its own island of PlUnit (Was: Logtalk is over engineered in a bad sense) Mild Shock <janburse@fastmail.fm> - 2026-04-29 12:08 +0200
          The mechanic with the Vacuum Hypothesis (Re: Logtalk just creates its own island of PlUnit) Mild Shock <janburse@fastmail.fm> - 2026-04-29 12:52 +0200
            Layoff Tsunami and Defunding Rounds [Burger jobs] (Re: The mechanic with the Vacuum Hypothesis) Mild Shock <janburse@fastmail.fm> - 2026-04-29 13:18 +0200
  Arrow Functions can do Existential Quantifier (Re: 😂 "Plog-like" - that should be the official term!) Mild Shock <janburse@fastmail.fm> - 2025-11-06 14:27 +0100
    Resolving Ambiguity in Negation as Failure (Re: Arrow Functions can do Existential Quantifier) Mild Shock <janburse@fastmail.fm> - 2025-11-06 14:28 +0100
      Future Outlook of Logic Programming (Re: Resolving Ambiguity in Negation as Failure) Mild Shock <janburse@fastmail.fm> - 2025-11-06 14:30 +0100
  2025 Obituary: Skew Confluence (aka “Stews” 😆) (Re: 😂 "Plog-like" - that should be the official term!) Mild Shock <janburse@fastmail.fm> - 2025-11-07 01:40 +0100
    Backdoor Monkeys from Eternal September (Re: 2025 Obituary: Skew Confluence (aka “Stews” 😆)) Mild Shock <janburse@fastmail.fm> - 2025-11-07 10:17 +0100
      From Vibe-Coding to Vibe-Sniffing (Was: Backdoor Monkeys from Eternal September) Mild Shock <janburse@fastmail.fm> - 2025-11-07 11:05 +0100
    From Feferman to Peyton Jones, no luck with ∃ (Re: 2025 Obituary: Skew Confluence (aka “Stews” 😆)) Mild Shock <janburse@fastmail.fm> - 2025-11-08 20:34 +0100
      The quantifer ∃ is just the Combinator K (Schönfinkels C)? (Was: From Feferman to Peyton Jones, no luck with ∃) Mild Shock <janburse@fastmail.fm> - 2025-11-08 21:05 +0100

csiph-web