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

Groups > sci.logic > #341590 > unrolled thread

😂 "Plog-like" - that should be the official term!

Back to article view | Back to sci.logic

Contents

  😂 "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

#341590 — 😂 "Plog-like" - that should be the official term!

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! 🎭

[toc] | [next] | [standalone]

#341591 — How deep seek went bonkers (Re: 😂 "Plog-like" - that should be the official term!)

Hi,

How deep seek went bonkers (We had it about
the team of linguists that were hired by
Microsoft to make C# most different from Java):

- Deek Seek: playing 4D chess while
      everyone else was playing checkers

- Me: I think they play alian chess checkers

- Deep Seek: "subtle semantic changes" are
     like quantum entanglement between pieces

- Me: Which even exists:
    https://rivo.itch.io/chess-vs-zombie-checkers

LoL

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! 🎭

[toc] | [prev] | [next] | [standalone]

#341768 — Declarative farts versus MSI Claw AI+, who would win? (Re: 😂 "Plog-like" - that should be the official term!)

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! 🎭

[toc] | [prev] | [next] | [standalone]

#341769 — Gameified AI Engineers brains blown out [Kurzweil's 2045 Prediction] (Re: Declarative farts versus MSI Claw AI+, who would win?)

Hi,

I made an experiment a few days ago with a
feedback loop, Java to C#, then error codes into
a chatbot, and then back to Java correcting the code.

It was extremly draining. I had to stop. Was
sleeping for 3 days couldn't do anything. Not
sure what cognitive science says whether humans

can do that over a long period. The best ist when
you learn to forget everything you did during the day.
Have everything in the repository, and just move on.

Forget and move on. Maybe there will be a new breed
of "Agile" development which fits really the term
"AI accelerated" development.

Bye

P.S.: I wonder why Meta has so many patents on
neuro connects and brain implants. Can we change our
brain to increase the bandwidth? What will be the future?

"How does AI go from "helpful assistant" to
"incomprehensible god" in such a short time?"
Singularity: Ray Kurzweil's 2045 Prediction
https://www.youtube.com/watch?v=aIcqDwWvIK0

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! 🎭
> 

[toc] | [prev] | [next] | [standalone]

#341797 — The intelligent Cloud, Fog and Edge is evolving (Re: Gameified AI Engineers brains blown out [Kurzweil's 2045 Prediction])

Hi,

Its tricky. Now I am getting back to the core question,
who  has an advantage in the AI race, AMD, Intel or
NVIDIA. Why did OpenAI choose AMD?

If one digs deeper and asks whether there exists
virtualization not only for GPUs, but also for
TPUs (Tensor CPUs) or NPUs (Neural CPUs).

This is all still very much in the dark. Some companies
even don't publish their APIs yet. For GPUs AMD
has MxGPU, is a PCIe-based GPU virtualization

technology using SR-IOV. But for NPUs AMD could
use FPGA fabric, which they acquired through Xilinx
in 2022. Quite amazing to watch what problems and

solutions cloud computing is currently facing.

Bye

Mild Shock schrieb:
> Hi,
> 
> I made an experiment a few days ago with a
> feedback loop, Java to C#, then error codes into
> a chatbot, and then back to Java correcting the code.
> 
> It was extremly draining. I had to stop. Was
> sleeping for 3 days couldn't do anything. Not
> sure what cognitive science says whether humans
> 
> can do that over a long period. The best ist when
> you learn to forget everything you did during the day.
> Have everything in the repository, and just move on.
> 
> Forget and move on. Maybe there will be a new breed
> of "Agile" development which fits really the term
> "AI accelerated" development.
> 
> Bye
> 
> P.S.: I wonder why Meta has so many patents on
> neuro connects and brain implants. Can we change our
> brain to increase the bandwidth? What will be the future?
> 
> "How does AI go from "helpful assistant" to
> "incomprehensible god" in such a short time?"
> Singularity: Ray Kurzweil's 2045 Prediction
> https://www.youtube.com/watch?v=aIcqDwWvIK0
> 
> 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! 🎭
>>
> 

[toc] | [prev] | [next] | [standalone]

#341799 — More Dreams: LLM + Chess = LRM (Re: The intelligent Cloud, Fog and Edge is evolving)

Hi,

How it started:

Sweet dreams are made of this
Who am I to disagree?
I travel the world and the seven seas
Everybody's looking for something
https://www.youtube.com/watch?v=qeMFqkcPYcg

How its going:

Towards Large Reasoning Models
“If there is a severe deficit of language,
there will be severe deficit of thought”
— Noam Chomsky
https://arxiv.org/abs/2501.09686

Bye

P.S.:
LLM = Large Language Model
LRM = Large Reasoning Model

Mild Shock schrieb:
> Hi,
> 
> Its tricky. Now I am getting back to the core question,
> who  has an advantage in the AI race, AMD, Intel or
> NVIDIA. Why did OpenAI choose AMD?
> 
> If one digs deeper and asks whether there exists
> virtualization not only for GPUs, but also for
> TPUs (Tensor CPUs) or NPUs (Neural CPUs).
> 
> This is all still very much in the dark. Some companies
> even don't publish their APIs yet. For GPUs AMD
> has MxGPU, is a PCIe-based GPU virtualization
> 
> technology using SR-IOV. But for NPUs AMD could
> use FPGA fabric, which they acquired through Xilinx
> in 2022. Quite amazing to watch what problems and
> 
> solutions cloud computing is currently facing.
> 
> Bye

[toc] | [prev] | [next] | [standalone]

#341800 — Not for Boris the Loris and Julio the Nazi Retared (Re: More Dreams: LLM + Chess = LRM)

Hi,

Well the approach is nothing for Boris
the Loris and Julio the Nazi Retared.
They already had their brains blown out,

by simple chess set-up:

Proponent: Kuniaki Mukai, claiming a compare/3
   implementation for rational trees
Opponent: Jan Burse, Using Fuzzy Testing to exhibt
   couter models

So I guess the Prolog community, especially
SWI-Prolog disciples that are payed trolls
by Putin, are not fit at all for LRM?

Bye

Mild Shock schrieb:
> Hi,
> 
> How it started:
> 
> Sweet dreams are made of this
> Who am I to disagree?
> I travel the world and the seven seas
> Everybody's looking for something
> https://www.youtube.com/watch?v=qeMFqkcPYcg
> 
> How its going:
> 
> Towards Large Reasoning Models
> “If there is a severe deficit of language,
> there will be severe deficit of thought”
> — Noam Chomsky
> https://arxiv.org/abs/2501.09686
> 
> Bye
> 
> P.S.:
> LLM = Large Language Model
> LRM = Large Reasoning Model
> 
> Mild Shock schrieb:
>> Hi,
>>
>> Its tricky. Now I am getting back to the core question,
>> who  has an advantage in the AI race, AMD, Intel or
>> NVIDIA. Why did OpenAI choose AMD?
>>
>> If one digs deeper and asks whether there exists
>> virtualization not only for GPUs, but also for
>> TPUs (Tensor CPUs) or NPUs (Neural CPUs).
>>
>> This is all still very much in the dark. Some companies
>> even don't publish their APIs yet. For GPUs AMD
>> has MxGPU, is a PCIe-based GPU virtualization
>>
>> technology using SR-IOV. But for NPUs AMD could
>> use FPGA fabric, which they acquired through Xilinx
>> in 2022. Quite amazing to watch what problems and
>>
>> solutions cloud computing is currently facing.
>>
>> Bye

[toc] | [prev] | [next] | [standalone]

#345731 — Logtalks Corleone "olive oil business" [Missed the DOP Bandwagon] (Re: Declarative farts versus MSI Claw AI+)

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! 🎭
> 

[toc] | [prev] | [next] | [standalone]

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

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! 🎭
>>
> 

[toc] | [prev] | [next] | [standalone]

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

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! 🎭
>>>
>>
> 

[toc] | [prev] | [next] | [standalone]

#345734 — The mechanic with the Vacuum Hypothesis (Re: Logtalk just creates its own island of PlUnit)

Hi,

It takes a lot of guts to related SLD failure of
an empty predicate to CWA:

closed-world assumption
The assumption that what cannot be proved
true is false. Therefore, sending a message
corresponding to a declared but not defined
predicate, or calling a declared predicate
with no clauses, fails. But messages or
calls to undeclared predicates generate an error.
https://logtalk.org/handbook/glossary.html#term-closed-world-assumption

I mean all he wants to say is that an empty
predicate doesn't have a throw catchall clause.

Nothing to do with CWA. CWA is a mathematical
concept postulating that from G |/- A we want
to jump to G |-_CWA ~A. Its not that the

predicate in questions would be called with
a negation in front, and that we would really
be interested in a "is false".

Even if SWI has rebranded "fail" into "false"
in the top-level, its still most often
a SLD result, and not a CWA result.

At least the key phrase still uses "fails",
when he writes "calling a declared predicate
with no clauses, fails". It could be worse

if he would really apply the CWA and write
calling a declared predicate with no clauses,
is false". Such a conclusion can only be

detected in logic by querying ~A, while he
still deals with a query A.

Bye

Mild Shock schrieb:
> 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! 🎭
>>>>
>>>
>>
> 

[toc] | [prev] | [next] | [standalone]

#345735 — Layoff Tsunami and Defunding Rounds [Burger jobs] (Re: The mechanic with the Vacuum Hypothesis)

Hi,

Ha Ha, the AI Boom leaves its traces:

The theme will be “Reimagining Resilience:
Empowering Local Communities in a Time of
Uncertain Federal Support” A follow-on event
will be held at the Pentagon from April 15th-16th, 2026.
https://star-tides.net/

Don't be afraid, of the sustained Layoff
Tsunamis and Defunding Rounds. There
are a lot of Burger jobs still around,

Sandwich artist is a respected job.

Bye

Mild Shock schrieb:
> Hi,
> 
> It takes a lot of guts to related SLD failure of
> an empty predicate to CWA:
> 
> closed-world assumption
> The assumption that what cannot be proved
> true is false. Therefore, sending a message
> corresponding to a declared but not defined
> predicate, or calling a declared predicate
> with no clauses, fails. But messages or
> calls to undeclared predicates generate an error.
> https://logtalk.org/handbook/glossary.html#term-closed-world-assumption
> 
> I mean all he wants to say is that an empty
> predicate doesn't have a throw catchall clause.
> 
> Nothing to do with CWA. CWA is a mathematical
> concept postulating that from G |/- A we want
> to jump to G |-_CWA ~A. Its not that the
> 
> predicate in questions would be called with
> a negation in front, and that we would really
> be interested in a "is false".
> 
> Even if SWI has rebranded "fail" into "false"
> in the top-level, its still most often
> a SLD result, and not a CWA result.
> 
> At least the key phrase still uses "fails",
> when he writes "calling a declared predicate
> with no clauses, fails". It could be worse
> 
> if he would really apply the CWA and write
> calling a declared predicate with no clauses,
> is false". Such a conclusion can only be
> 
> detected in logic by querying ~A, while he
> still deals with a query A.
> 
> Bye
> 
> Mild Shock schrieb:
>> 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! 🎭
>>>>>
>>>>
>>>
>>
> 

[toc] | [prev] | [next] | [standalone]

#341863 — Arrow Functions can do Existential Quantifier (Re: 😂 "Plog-like" - that should be the official term!)

Hi,

Why Arrow Functions make Verse irrelevant:

We use “∃” to bring a fresh logical variable
into scope, because we really mean “there
exists an x such that ···.”
https://simon.peytonjones.org/assets/pdfs/verse-March23.pdf

Its as easy as using a local variable in
an arrow functions. And since we use the hat
(^)/2 for local variables, borrowed from setof/3,

where it acts already as an existential quantor,
the usage is quite intuitive, and doesn't need
a new logical operator. (^)/2 is already in the

ISO core standard. Take this example:

likes(anna, bert).
likes(carlo, anna).

test(LikesSomething) :-

?- listing(test).
test(A) :-
    A = 0rReference.

And then do this:

?- test(_LS), call(_LS, bert).
fail.

?- test(_LS), call(_LS, anna).
true.

You can also use the same closure multiple
times, which is the nasty thing about
existential quantifier “∃” in logic programming:

?- test(_LS),
    (call(_LS, bert) -> B=1;B=0),
    (call(_LS, anna) -> A=1;A=0).
B = 0, A = 1.

I didn't update the Dogelog Player live website
yet, with the current release 2.1.3 of arrow
functions, that can also do nested arrow functions.

Might check the verse paper first, for a more
striking example.

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! 🎭

[toc] | [prev] | [next] | [standalone]

#341864 — Resolving Ambiguity in Negation as Failure (Re: Arrow Functions can do Existential Quantifier)

Hi,

Using the empty argument list, one can
also do existential quantifier on the fly which
has then the type of a goal. Take these additional facts:

people(anna).
people(carlo).
people(bert).

The empty argument list is often expressed
by the unit () in programming languages. SWI-Prolog
has even a syntax for it, we don't have a syntax

for it, so we simply use true as the empty
formal parameter list. Now one can do this
contraption. First without arrow function:

?- findall(X, (people(X), \+ likes(X, _)), L).
L = [bert].

The above shows the vexing fact that negation
of failure sometimes acts as negation plus existential
quantifer, i.e. ¬∃ and not only as negation, i.e. ¬:

?- findall(X, (people(X), \+ (true => Y^likes(X,Y))), L).
L = [bert].

Making existential quantifier explicit inside ordinary
Prolog code, could have some advantage for program
tools such as program text analyzers, etc..

Bye

Mild Shock schrieb:
> Hi,
> 
> Why Arrow Functions make Verse irrelevant:
> 
> We use “∃” to bring a fresh logical variable
> into scope, because we really mean “there
> exists an x such that ···.”
> https://simon.peytonjones.org/assets/pdfs/verse-March23.pdf
> 
> Its as easy as using a local variable in
> an arrow functions. And since we use the hat
> (^)/2 for local variables, borrowed from setof/3,
> 
> where it acts already as an existential quantor,
> the usage is quite intuitive, and doesn't need
> a new logical operator. (^)/2 is already in the
> 
> ISO core standard. Take this example:
> 
> likes(anna, bert).
> likes(carlo, anna).
> 
> test(LikesSomething) :-
> 
> ?- listing(test).
> test(A) :-
>     A = 0rReference.
> 
> And then do this:
> 
> ?- test(_LS), call(_LS, bert).
> fail.
> 
> ?- test(_LS), call(_LS, anna).
> true.
> 
> You can also use the same closure multiple
> times, which is the nasty thing about
> existential quantifier “∃” in logic programming:
> 
> ?- test(_LS),
>     (call(_LS, bert) -> B=1;B=0),
>     (call(_LS, anna) -> A=1;A=0).
> B = 0, A = 1.
> 
> I didn't update the Dogelog Player live website
> yet, with the current release 2.1.3 of arrow
> functions, that can also do nested arrow functions.
> 
> Might check the verse paper first, for a more
> striking example.
> 
> 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! 🎭
> 

[toc] | [prev] | [next] | [standalone]

#341865 — Future Outlook of Logic Programming (Re: Resolving Ambiguity in Negation as Failure)

Hi,

But we could also do it with less syntax, and
start supporting (^)/2 goals with exactly the
unit arrow semantics.

One problem of making existential quantifier explicit,
it is not clear which variant is more performant.
But this is currently work in progress, giving

if-then-else and other control constructs inside
a findall/3 an ahead of time compilation treatment.
The ISO core standard defines a dynamic behaviour

based on call/1 for things such as findall/3. But
just like arrow functions, if-then-else can be
also ahead of time compiled, without any meta-predicate

declarations, using a similar type-free approach
as for the arrow functions. But I havent yet fully
understood it. My current inlining of if-then-else

does some mini-scoping. So that it somehow emerges
that the ahead of time compilation of arrow functions
has to be done before the ahead of time compilation

of ubiquitious control constructs. Because the
mini-scoping cannot be computed when the arrow functions
are not yet bracket abstracted, and when the

term_variables/2 might give false positive the same
way that free_variables/3 can give false positives.

Bye

Mild Shock schrieb:
> Hi,
> 
> Using the empty argument list, one can
> also do existential quantifier on the fly which
> has then the type of a goal. Take these additional facts:
> 
> people(anna).
> people(carlo).
> people(bert).
> 
> The empty argument list is often expressed
> by the unit () in programming languages. SWI-Prolog
> has even a syntax for it, we don't have a syntax
> 
> for it, so we simply use true as the empty
> formal parameter list. Now one can do this
> contraption. First without arrow function:
> 
> ?- findall(X, (people(X), \+ likes(X, _)), L).
> L = [bert].
> 
> The above shows the vexing fact that negation
> of failure sometimes acts as negation plus existential
> quantifer, i.e. ¬∃ and not only as negation, i.e. ¬:
> 
> ?- findall(X, (people(X), \+ (true => Y^likes(X,Y))), L).
> L = [bert].
> 
> Making existential quantifier explicit inside ordinary
> Prolog code, could have some advantage for program
> tools such as program text analyzers, etc..
> 
> Bye
> 
> Mild Shock schrieb:
>> Hi,
>>
>> Why Arrow Functions make Verse irrelevant:
>>
>> We use “∃” to bring a fresh logical variable
>> into scope, because we really mean “there
>> exists an x such that ···.”
>> https://simon.peytonjones.org/assets/pdfs/verse-March23.pdf
>>
>> Its as easy as using a local variable in
>> an arrow functions. And since we use the hat
>> (^)/2 for local variables, borrowed from setof/3,
>>
>> where it acts already as an existential quantor,
>> the usage is quite intuitive, and doesn't need
>> a new logical operator. (^)/2 is already in the
>>
>> ISO core standard. Take this example:
>>
>> likes(anna, bert).
>> likes(carlo, anna).
>>
>> test(LikesSomething) :-
>>
>> ?- listing(test).
>> test(A) :-
>>     A = 0rReference.
>>
>> And then do this:
>>
>> ?- test(_LS), call(_LS, bert).
>> fail.
>>
>> ?- test(_LS), call(_LS, anna).
>> true.
>>
>> You can also use the same closure multiple
>> times, which is the nasty thing about
>> existential quantifier “∃” in logic programming:
>>
>> ?- test(_LS),
>>     (call(_LS, bert) -> B=1;B=0),
>>     (call(_LS, anna) -> A=1;A=0).
>> B = 0, A = 1.
>>
>> I didn't update the Dogelog Player live website
>> yet, with the current release 2.1.3 of arrow
>> functions, that can also do nested arrow functions.
>>
>> Might check the verse paper first, for a more
>> striking example.
>>
>> 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! 🎭
>>
> 

[toc] | [prev] | [next] | [standalone]

#341874 — 2025 Obituary: Skew Confluence (aka “Stews” 😆) (Re: 😂 "Plog-like" - that should be the official term!)

In halls of Cambridge, where catnip sways,
Sat pioneers lost in existential haze.
“Here lies a term!” they cried, “both bound and free,
A bag of possibilities, as far as we see.”

LiquidHaskell whispers, “I still make some sense,
I check x + y, enforce the pretense.
But only 1% — the rest, pure ado,
Existentials and predicates, I haven’t a clue.”

Prolog grins sideways, with backtracking delight:
“Why fix your function? Let each path take flight!
X and Y and Z — all three may roam,
I’ll find a solution, or many, for home.”

Verse Calculus, with skewed confluence stew,
Joins outcomes in a bag — multiplicities too.
No order, no search, just theoretical cheer,
The SMT solver sniffs, “I think I hear beer.”

Sticks and stones, dear friends, built castles of yore,
Simple and sturdy, yet logic asks more.
Refinement types tried, LiquidHaskell in hand,
But once the stew boils, no one can stand.

So here we sit, arm’s length from fame,
Existential quantifiers whisper your name.
A mockery? Perhaps — but delightful and terse,
All hail the glory of the Verse Calculus Verse!

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! 🎭

[toc] | [prev] | [next] | [standalone]

#341876 — Backdoor Monkeys from Eternal September (Re: 2025 Obituary: Skew Confluence (aka “Stews” 😆))

Hi,

Thats why open source slowly becomes a failure.
Because it is full of nickname shape shifters,
that hide behind anonymity. SWI-Prolog is no

exception. A bunch of anonymous crack heads.
Its not some Script Kiddies. They are basically
mafia hackers. And if you have some high CPU

process that doesn't automatically go away,
you possibly got a backdoor via an opensource project.
Sovereign Tech Fund (STF) will not help, since

they will shy away from loosing their anonymity.
And after all the mafia hackers are also well
endowed, have their own funding.

Bye

------------------ cut here ----------------

Hi,

Also fuck off nickname shape shifters.
Especially this asshole, which I
will soon *Plonk*:

Organization: A noiseless patient Spider
Injection-Info: dont-email.me; 
posting-host="89eb5213555265f5de5e65431b3817e6";
     logging-data="1360340"; 
mail-complaints-to="abuse@eternal-september.org"; 
posting-account="U2FsdGVkX1+74X4OBoKm5CsTcGnfiMiu"
From: Franz Sneijders <ee@ard.nl>

Organization: A noiseless patient Spider
Injection-Info: dont-email.me; 
posting-host="d11c789dab5cab76649f04ffd47020b6";
     logging-data="1532278"; 
mail-complaints-to="abuse@eternal-september.org"; 
posting-account="U2FsdGVkX18qJKVbq/ApuA5gOdGYcYvx"
From: Mariano Amelsvoort <aa@viollr.nl>

Bye

------------------ cut here ----------------

Mild Shock schrieb:
> 
> In halls of Cambridge, where catnip sways,
> Sat pioneers lost in existential haze.
> “Here lies a term!” they cried, “both bound and free,
> A bag of possibilities, as far as we see.”
> 
> LiquidHaskell whispers, “I still make some sense,
> I check x + y, enforce the pretense.
> But only 1% — the rest, pure ado,
> Existentials and predicates, I haven’t a clue.”
> 
> Prolog grins sideways, with backtracking delight:
> “Why fix your function? Let each path take flight!
> X and Y and Z — all three may roam,
> I’ll find a solution, or many, for home.”
> 
> Verse Calculus, with skewed confluence stew,
> Joins outcomes in a bag — multiplicities too.
> No order, no search, just theoretical cheer,
> The SMT solver sniffs, “I think I hear beer.”
> 
> Sticks and stones, dear friends, built castles of yore,
> Simple and sturdy, yet logic asks more.
> Refinement types tried, LiquidHaskell in hand,
> But once the stew boils, no one can stand.
> 
> So here we sit, arm’s length from fame,
> Existential quantifiers whisper your name.
> A mockery? Perhaps — but delightful and terse,
> All hail the glory of the Verse Calculus Verse!
> 
> 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! 🎭
> 

[toc] | [prev] | [next] | [standalone]

#341877 — From Vibe-Coding to Vibe-Sniffing (Was: Backdoor Monkeys from Eternal September)

Hi,

Ok the idea is trivial. Vibecoding is pair
programming, with an AI counterpart. But what
is Vibesniffing? Ok, now we finally hit the

critique expert system domain. First study this:

Mondrian Code Review On The Web
Google Tech Talks - Guido van Rossum
November 30, 2006
https://www.youtube.com/watch?v=sMql3Di4Kgc

Vibesniffing would be with an AI counterpart. Like
AI Gerrit etc.. Doesn’t look like LiquidHaskell
has made it an imprint here? ChatGPT thinks since

LiquidHaskell is not made for "how code feels".
I strongly oppose to this view. Code review
could be inherently fuzzy, since most

software evolves through:

- Imperfect requirements
- Imperfect code
- Iterative refinement
- Etc.. etc..

Bye

Mild Shock schrieb:
> Hi,
> 
> Thats why open source slowly becomes a failure.
> Because it is full of nickname shape shifters,
> that hide behind anonymity. SWI-Prolog is no
> 
> exception. A bunch of anonymous crack heads.
> Its not some Script Kiddies. They are basically
> mafia hackers. And if you have some high CPU
> 
> process that doesn't automatically go away,
> you possibly got a backdoor via an opensource project.
> Sovereign Tech Fund (STF) will not help, since
> 
> they will shy away from loosing their anonymity.
> And after all the mafia hackers are also well
> endowed, have their own funding.
> 
> Bye
> 
> ------------------ cut here ----------------
> 
> Hi,
> 
> Also fuck off nickname shape shifters.
> Especially this asshole, which I
> will soon *Plonk*:
> 
> Organization: A noiseless patient Spider
> Injection-Info: dont-email.me; 
> posting-host="89eb5213555265f5de5e65431b3817e6";
>      logging-data="1360340"; 
> mail-complaints-to="abuse@eternal-september.org"; 
> posting-account="U2FsdGVkX1+74X4OBoKm5CsTcGnfiMiu"
> From: Franz Sneijders <ee@ard.nl>
> 
> Organization: A noiseless patient Spider
> Injection-Info: dont-email.me; 
> posting-host="d11c789dab5cab76649f04ffd47020b6";
>      logging-data="1532278"; 
> mail-complaints-to="abuse@eternal-september.org"; 
> posting-account="U2FsdGVkX18qJKVbq/ApuA5gOdGYcYvx"
> From: Mariano Amelsvoort <aa@viollr.nl>
> 
> Bye
> 
> ------------------ cut here ----------------

[toc] | [prev] | [next] | [standalone]

#341883 — From Feferman to Peyton Jones, no luck with ∃ (Re: 2025 Obituary: Skew Confluence (aka “Stews” 😆))

Hi,

Now this is an interesting find. It seems
not only the Verse Calculus by Peyton Jones
hit a wall with existential quantifier ∃.

Especially the type free case. Its like in
Rossy Boys Russell thing, people are not
anymore trained to think about "individuals",

the are more bothered by "bags", because this
is what the Antinomies of the formal revolution
tought us. But the formal revolution has also

some nice easter eggs, like Fefermans OST
("Operational Set Theory"), an early form of
Predicte Abstraction. With each formula A is

associated a term t_A such that:

     ∀x[A(x) <=> t_A(x) = tt]

https://math.stanford.edu/~feferman/papers/OperationalST-I.pdf

The nice thing about the t_A, its a term,
possibly a open or closed term, depending
on whether there are parameters, and thats

what I am now doing for Arrow Functions, when
the Prolog systems compiles 0rReference(P1,..,Pk),
its basically a term, an individual, that

later gets called by call/n, which makes the
translation for individual to proposition.

Bye

P.S.: But somehow Feferman shyed away from
definition the unbounded existential quantifier
as a projection, there is a easy geometric

intution, and every SQL database can do it.
Instead he falls back to some Hilber Epsilon
analogue such as:

Given A(x) = ∃yB(x, y) and t_B for B(x, y);
then we can take t_A = λx.t_Bx(C(λyt_Bxy)),
using the general choice operator C.

https://math.stanford.edu/~feferman/papers/OperationalST-I.pdf

Funny!

Mild Shock schrieb:
> 
> In halls of Cambridge, where catnip sways,
> Sat pioneers lost in existential haze.
> “Here lies a term!” they cried, “both bound and free,
> A bag of possibilities, as far as we see.”
> 
> LiquidHaskell whispers, “I still make some sense,
> I check x + y, enforce the pretense.
> But only 1% — the rest, pure ado,
> Existentials and predicates, I haven’t a clue.”
> 
> Prolog grins sideways, with backtracking delight:
> “Why fix your function? Let each path take flight!
> X and Y and Z — all three may roam,
> I’ll find a solution, or many, for home.”
> 
> Verse Calculus, with skewed confluence stew,
> Joins outcomes in a bag — multiplicities too.
> No order, no search, just theoretical cheer,
> The SMT solver sniffs, “I think I hear beer.”
> 
> Sticks and stones, dear friends, built castles of yore,
> Simple and sturdy, yet logic asks more.
> Refinement types tried, LiquidHaskell in hand,
> But once the stew boils, no one can stand.
> 
> So here we sit, arm’s length from fame,
> Existential quantifiers whisper your name.
> A mockery? Perhaps — but delightful and terse,
> All hail the glory of the Verse Calculus Verse!
> 
> 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! 🎭
> 

[toc] | [prev] | [next] | [standalone]

#341885 — The quantifer ∃ is just the Combinator K (Schönfinkels C)? (Was: From Feferman to Peyton Jones, no luck with ∃)

Hi,

Lets say we have an ost term t_A for
some sets of pairs such that:

   t_A(x,y) = tt <=> A(x,y)

Question is what is the term t_B for:

   B(x) <=> ∃y A(x,y)

In the Arrow Functions to Horn Clause
translation. The existential quantifier
is a feature of the Clark Completion.

In terms of Cabezas notion:

   t_B = { ''(x) :- t_a(x,y) }

Bye

P.S.: Why does it remind me of the
K Combinator? Well we have:

∃y t_B(K(x,y)) = ∃y t_A(x,y)

Not sure whether this is useful.
Although the above is true because the
combinator K is defined as Kxy = x,

it can be quite misleading, since
this here does not necessarely hold:

/* Not necessarely */
{ y | t_B(K(x,y)) } = { y | t_A(x,y) }

So if Feferman had the empty set, he could
also check for inhabitation, and bootstrap
existential quantifier via parameterized bags:

t_B(x) = ( { y | t_A(x,y) } =/= {} )

But we don't like bags here..

Mild Shock schrieb:
> Hi,
> 
> Now this is an interesting find. It seems
> not only the Verse Calculus by Peyton Jones
> hit a wall with existential quantifier ∃.
> 
> Especially the type free case. Its like in
> Rossy Boys Russell thing, people are not
> anymore trained to think about "individuals",
> 
> the are more bothered by "bags", because this
> is what the Antinomies of the formal revolution
> tought us. But the formal revolution has also
> 
> some nice easter eggs, like Fefermans OST
> ("Operational Set Theory"), an early form of
> Predicte Abstraction. With each formula A is
> 
> associated a term t_A such that:
> 
>      ∀x[A(x) <=> t_A(x) = tt]
> 
> https://math.stanford.edu/~feferman/papers/OperationalST-I.pdf
> 
> The nice thing about the t_A, its a term,
> possibly a open or closed term, depending
> on whether there are parameters, and thats
> 
> what I am now doing for Arrow Functions, when
> the Prolog systems compiles 0rReference(P1,..,Pk),
> its basically a term, an individual, that
> 
> later gets called by call/n, which makes the
> translation for individual to proposition.
> 
> Bye
> 
> P.S.: But somehow Feferman shyed away from
> definition the unbounded existential quantifier
> as a projection, there is a easy geometric
> 
> intution, and every SQL database can do it.
> Instead he falls back to some Hilber Epsilon
> analogue such as:
> 
> Given A(x) = ∃yB(x, y) and t_B for B(x, y);
> then we can take t_A = λx.t_Bx(C(λyt_Bxy)),
> using the general choice operator C.
> 
> https://math.stanford.edu/~feferman/papers/OperationalST-I.pdf
> 
> Funny!
> 
> Mild Shock schrieb:
>>
>> In halls of Cambridge, where catnip sways,
>> Sat pioneers lost in existential haze.
>> “Here lies a term!” they cried, “both bound and free,
>> A bag of possibilities, as far as we see.”
>>
>> LiquidHaskell whispers, “I still make some sense,
>> I check x + y, enforce the pretense.
>> But only 1% — the rest, pure ado,
>> Existentials and predicates, I haven’t a clue.”
>>
>> Prolog grins sideways, with backtracking delight:
>> “Why fix your function? Let each path take flight!
>> X and Y and Z — all three may roam,
>> I’ll find a solution, or many, for home.”
>>
>> Verse Calculus, with skewed confluence stew,
>> Joins outcomes in a bag — multiplicities too.
>> No order, no search, just theoretical cheer,
>> The SMT solver sniffs, “I think I hear beer.”
>>
>> Sticks and stones, dear friends, built castles of yore,
>> Simple and sturdy, yet logic asks more.
>> Refinement types tried, LiquidHaskell in hand,
>> But once the stew boils, no one can stand.
>>
>> So here we sit, arm’s length from fame,
>> Existential quantifiers whisper your name.
>> A mockery? Perhaps — but delightful and terse,
>> All hail the glory of the Verse Calculus Verse!
>>
>> 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! 🎭
>>
> 

[toc] | [prev] | [standalone]

Back to top | Article view | sci.logic

csiph-web