Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > sci.logic > #345733

Logtalk just creates its own island of PlUnit (Was: Logtalk is over engineered in a bad sense)

Show all headers | View raw

Hi,

Logtalk just creates its own island of PlUnit.
A mixture of bloat combined with bloat, and
on top of it some cherry bloat:

	test(lgt_format_2_tab_table_pip_0110_01, true(Assertion)) :-
		^^set_text_output(''),
		{format("left~tright", [])},
		^^text_output_assertion('leftright', Assertion).

Woa! Its not that invoking a clause would be
used, which can succeed and fail. No a truth
value needs to be reified. Many frameworks do

that and then compute an expect (*) style DSL.
Meaning we have suddently two languages, the
Prolog language which can deal with with success

and failure, and then a DSL which will deal
with success and failure. Now put the whole thing
into classes, where a default method needs to

be invoked via (^^)/1 because Logtalk is too
stupid to resolve default methods without the
need to write (^^)/1. It might make sense here,

where its practically a super:

init :-
     assertz(counter(0)),
     ^^init.

But otherwise, why?

Bye

https://linux.die.net/man/1/expect
Mild Shock schrieb:
> 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! 🎭
>>>
>>
> 

Back to sci.logic | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

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