| Subject |
Author |
Date |
|
comp.lang.prolog Frequently Asked Questions
|
Markus Triska <triska@logic.at> |
2026-05-16 05:00 +0000 |
| |
|
ChatGPT 5.x so bad, it will give back jobs to Gen Z [Its the Shiiit]
(2 replies)
|
Mild Shock <janburse@fastmail.fm> |
2026-04-16 03:21 +0200 |
|
→
The small LLM revolution [Timothy Chow in your Poket] (Re: ChatGPT 5.x so bad, it will give back jobs to Gen Z [Its the Shiiit])
|
Mild Shock <janburse@fastmail.fm> |
2026-05-12 21:19 +0200 |
|
→
What is the Capital of Atlantis? [Chris Hays LARQL] (Re: The small LLM revolution [Timothy Chow in your Poket])
|
Mild Shock <janburse@fastmail.fm> |
2026-05-14 01:48 +0200 |
| |
|
Re: Simplifying the Church / Turing thesis
(3 replies)
|
olcott <polcott333@gmail.com> |
2026-05-10 14:06 -0500 |
|
→
Re: Simplifying the Church / Turing thesis
|
Mikko <mikko.levanto@iki.fi> |
2026-05-11 10:24 +0300 |
|
→
Re: Simplifying the Church / Turing thesis
|
olcott <polcott333@gmail.com> |
2026-05-12 08:32 -0500 |
|
→
Re: Simplifying the Church / Turing thesis
|
Mikko <mikko.levanto@iki.fi> |
2026-05-13 12:14 +0300 |
| |
|
Tensor Logic "Unifies" AI Paradigms [Pedro Domingos] (Re: From Framing to Mirroring [AI Boom])
(5 replies)
|
Mild Shock <janburse@fastmail.fm> |
2025-12-08 15:52 +0100 |
|
→
From Turing-Test to Birch++-Test [Professor Yang-Hui He] (Was: Tensor Logic "Unifies" AI Paradigms [Pedro Domingos])
|
Mild Shock <janburse@fastmail.fm> |
2025-12-10 14:54 +0100 |
|
→
Where did the Neuron in Turing Machine come from? (Was: From Turing-Test to Birch++-Test [Professor Yang-Hui He])
|
Mild Shock <janburse@fastmail.fm> |
2025-12-10 15:00 +0100 |
|
→
Buddos Waterloo: Checkpoint McCune (Was: Tensor Logic "Unifies" AI Paradigms [Pedro Domingos]=
|
Mild Shock <janburse@fastmail.fm> |
2026-05-10 16:18 +0200 |
|
→
Could ISAMORE anti-unification help? (Was: Buddos Waterloo: Checkpoint McCune)
|
Mild Shock <janburse@fastmail.fm> |
2026-05-10 16:33 +0200 |
|
→
Could ISAMORE anti-unification help? (Was: Buddos Waterloo: Checkpoint McCune)
|
Mild Shock <janburse@fastmail.fm> |
2026-05-10 16:43 +0200 |
| |
|
Paul Tarau versus Mr. Taskmanager, who would win? [A PDP-11 Humunkulus from 1979]
(6 replies)
|
Mild Shock <janburse@fastmail.fm> |
2026-04-24 02:43 +0200 |
|
→
AI dooms day escape: Güttinger Wald (Was: Paul Tarau versus Mr. Taskmanager, who would win?)
|
Mild Shock <janburse@fastmail.fm> |
2026-04-25 14:05 +0200 |
|
→
LISP consing in modern AI? (Re: AI dooms day escape: Güttinger Wald)
|
Mild Shock <janburse@fastmail.fm> |
2026-04-25 22:42 +0200 |
|
→
AI Slop: EU to age regulate internet (Was: AI dooms day escape: Güttinger Wald)
|
Mild Shock <janburse@fastmail.fm> |
2026-04-28 16:22 +0200 |
|
→
Elmos Fascist Dreams of a 365 Prolog (Re: AI dooms day escape: Güttinger Wald)
|
Mild Shock <janburse@fastmail.fm> |
2026-05-09 12:53 +0200 |
|
→
Even the Buddos are clueless [Did Tarau see Liliputians?] (Was: Elmos Fascist Dreams of a 365 Prolog)
|
Mild Shock <janburse@fastmail.fm> |
2026-05-09 15:17 +0200 |
|
→
Halfing the AI Laptop Budget: Ne-Meow sold out! (Was: Even the Buddos are clueless [Did Tarau see Liliputians?])
|
Mild Shock <janburse@fastmail.fm> |
2026-05-10 09:07 +0200 |
| |
|
Streamable DOM and obsolete put_code/[1,2]
(16 replies)
|
Mild Shock <janburse@fastmail.fm> |
2025-04-02 11:51 +0200 |
|
→
Re: Streamable DOM and obsolete put_code/[1,2]
|
Mild Shock <janburse@fastmail.fm> |
2025-04-02 11:56 +0200 |
|
→
Re: Streamable DOM and obsolete put_code/[1,2]
|
Mild Shock <janburse@fastmail.fm> |
2025-04-02 12:03 +0200 |
|
→
Space Junk might fall on your head [Scryer Prolog WASM] (Was: Streamable DOM and obsolete put_code/[1,2])
|
Mild Shock <janburse@fastmail.fm> |
2025-04-05 18:33 +0200 |
|
→
Editor’s Draf, 10 January 2025 - Trusted Types (Was: Space Junk might fall on your head [Scryer Prolog WASM])
|
Mild Shock <janburse@fastmail.fm> |
2025-04-05 19:00 +0200 |
|
→
*** 2025 Prolog Awards *** (Was: Space Junk might fall on your head [Scryer Prolog WASM])
|
Mild Shock <janburse@fastmail.fm> |
2025-05-25 13:48 +0200 |
|
→
Scryer Prolog has dethroned SWI-Prolog (Was: *** 2025 Prolog Awards ***)
|
Mild Shock <janburse@fastmail.fm> |
2025-05-26 12:22 +0200 |
|
→
Nevertheless I have bad news for Prolog (Was: Scryer Prolog has dethroned SWI-Prolog)
|
Mild Shock <janburse@fastmail.fm> |
2025-05-26 12:31 +0200 |
|
→
Cannot consult/1 after listing/1 (Was: Scryer Prolog has dethroned SWI-Prolog)
|
Mild Shock <janburse@fastmail.fm> |
2025-05-28 12:09 +0200 |
|
→
Tau-Prolog Code Mirror Integration has Flaws (Was: Space Junk might fall on your head)
|
Mild Shock <janburse@fastmail.fm> |
2025-06-05 09:54 +0200 |
|
→
Scryer Prolog: SLG Tabling not working across findall/3 ? (Was Space Junk might fall on your head [Scryer Prolog WASM])
|
Mild Shock <janburse@fastmail.fm> |
2026-04-16 00:29 +0200 |
|
→
Single-paradigm Logic Programming: CogitoAI System (Was: Scryer Prolog: SLG Tabling not working across findall/3 ?)
|
Mild Shock <janburse@fastmail.fm> |
2026-04-16 14:27 +0200 |
|
→
DeepSeek nearly as stupid as ChatGPT (Re: Single-paradigm Logic Programming: CogitoAI System)
|
Mild Shock <janburse@fastmail.fm> |
2026-04-16 14:43 +0200 |
|
→
Zero Storage for Witnesses: No Bread Crumbs (Re: DeepSeek nearly as stupid as ChatGPT)
|
Mild Shock <janburse@fastmail.fm> |
2026-04-16 15:01 +0200 |
|
→
NVIDIA Tribute to David Blackwell (1919 - 2010) (Re: Single-paradigm Logic Programming: CogitoAI System)
|
Mild Shock <janburse@fastmail.fm> |
2026-05-07 12:03 +0200 |
|
→
Hunting the Hanta Virus (MV Hondius) (Re: NVIDIA Tribute to David Blackwell (1919 - 2010))
|
Mild Shock <janburse@fastmail.fm> |
2026-05-07 12:29 +0200 |
|
→
Code Generation with write/[1,2] [Some Testcases] (Was: Streamable DOM and obsolete put_code/[1,2])
|
Mild Shock <janburse@fastmail.fm> |
2025-04-07 09:58 +0200 |
| |
|
Re: polcott wtf are you even arguing???
(1 reply)
|
olcott <polcott333@gmail.com> |
2026-05-06 08:54 -0500 |
|
→
Re: polcott wtf are you even arguing???
|
Mikko <mikko.levanto@iki.fi> |
2026-05-07 10:09 +0300 |
| |
|
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
(8 replies)
|
olcott <polcott333@gmail.com> |
2026-04-27 16:57 -0500 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
Mikko <mikko.levanto@iki.fi> |
2026-04-28 10:34 +0300 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
olcott <polcott333@gmail.com> |
2026-04-28 07:18 -0500 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
Mikko <mikko.levanto@iki.fi> |
2026-04-29 09:37 +0300 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
olcott <polcott333@gmail.com> |
2026-04-29 09:17 -0500 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
Mikko <mikko.levanto@iki.fi> |
2026-04-30 10:55 +0300 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
olcott <polcott333@gmail.com> |
2026-05-01 09:54 -0500 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
Mikko <mikko.levanto@iki.fi> |
2026-05-02 11:04 +0300 |
|
→
Re: Within Proof Theoretic Semantics Gödel's G has no meaning in PA
|
Alan Mackenzie <acm@muc.de> |
2026-04-28 10:22 +0000 |
| |
|
comp.lang.prolog Frequently Asked Questions
|
Markus Triska <triska@logic.at> |
2026-05-02 05:00 +0000 |
| |
|
ANN: Dogelog Player 2.2.2 (Unified Tabling)
|
Mild Shock <janburse@fastmail.fm> |
2026-05-01 23:28 +0200 |
| |
|
ANN: Dogelog Player 2.2.1 (Just-in-Time Indexing)
(3 replies)
|
Mild Shock <janburse@fastmail.fm> |
2026-04-09 19:59 +0200 |
|
→
Tabling Directive for Dogelog Player (Was: ANN: Dogelog Player 2.2.1 (Just-in-Time Indexing))
|
Mild Shock <janburse@fastmail.fm> |
2026-04-16 12:36 +0200 |
|
→
Egg SAT in Dogelog Player (Was: Tabling Directive for Dogelog Player)
|
Mild Shock <janburse@fastmail.fm> |
2026-04-18 16:14 +0200 |
|
→
Scattering Richtext in Dogelog Player (Was: Egg SAT in Dogelog Player)
|
Mild Shock <janburse@fastmail.fm> |
2026-05-01 12:48 +0200 |
| |
|
Scryer Prolog totally clueless how DCGs work
(15 replies)
|
Mild Shock <janburse@fastmail.fm> |
2025-07-09 11:33 +0200 |
|
→
Lets see what the "experts" say (Was: Scryer Prolog totally clueless how DCGs work)
|
Mild Shock <janburse@fastmail.fm> |
2025-07-09 11:36 +0200 |
|
→
Payed Ass-Lickers all around (Was: Lets see what the "experts" say)
|
Mild Shock <janburse@fastmail.fm> |
2025-07-09 11:38 +0200 |
|
→
Its all about the money, not about quality (Was: Payed Ass-Lickers all around)
|
Mild Shock <janburse@fastmail.fm> |
2025-07-09 11:42 +0200 |
|
→
A case of dumbification by committee membership? (Was: Its all about the money, not about quality)
|
Mild Shock <janburse@fastmail.fm> |
2025-07-09 20:01 +0200 |
|
→
The stack overflow user by the name false (Was: Lets see what the "experts" say)
|
Mild Shock <janburse@fastmail.fm> |
2025-07-15 11:50 +0200 |
|
→
The choice is a little arbitrary from one angle (Re: The stack overflow user by the name false)
|
Mild Shock <janburse@fastmail.fm> |
2025-07-15 11:59 +0200 |
|
→
Prolog PIP-0110: Its a Floating-Point Multiverse? [Stoic Grisu versus Rest of World] (Was: Lets see what the "experts" say)
|
Mild Shock <janburse@fastmail.fm> |
2026-04-29 00:38 +0200 |
|
→
Does Scryer Prolog have all tricks up its sleeves? [Occurs Check] (Was: Scryer Prolog totally clueless how DCGs work)
|
Mild Shock <janburse@fastmail.fm> |
2025-08-04 19:47 +0200 |
|
→
How hard is PIP-0110 to implement? (Was: Does Scryer Prolog have all tricks up its sleeves?)
|
Mild Shock <janburse@fastmail.fm> |
2026-04-26 22:43 +0200 |
|
→
What about the rubber band ~t (Was: How hard is PIP-0110 to implement?)
|
Mild Shock <janburse@fastmail.fm> |
2026-04-27 10:50 +0200 |
|
→
Addendum Bresenham yatter, yatter (Was: What about the rubber band ~t)
|
Mild Shock <janburse@fastmail.fm> |
2026-04-27 16:03 +0200 |
|
→
Testing NVIDIA A10G / XVM Engine v10.2.4 (Permion Federal AI) (Was: Addendum Bresenham yatter, yatter)
|
Mild Shock <janburse@fastmail.fm> |
2026-04-29 02:12 +0200 |
|
→
This could be a serious security vulnerability (Was: Testing NVIDIA A10G / XVM Engine v10.2.4)
|
Mild Shock <janburse@fastmail.fm> |
2026-04-29 02:22 +0200 |
|
→
Logtalk big time salami slicing [For "Whales" (ultra-high rollers)?] (Re: This could be a serious security vulnerability)
|
Mild Shock <janburse@fastmail.fm> |
2026-04-29 11:21 +0200 |
|
→
format/3 that does not have some Spaghetti logic (Was: How hard is PIP-0110 to implement?)
|
Mild Shock <janburse@fastmail.fm> |
2026-04-30 17:49 +0200 |
| |
|
Wait till they figure out that China has also AI
(12 replies)
|
Mild Shock <janburse@fastmail.fm> |
2025-01-02 20:03 +0100 |
|
→
Knock, knock, who is it? Yi-Lightning (Was: Wait till they figure out that China has also AI)
|
Mild Shock <janburse@fastmail.fm> |
2025-01-28 01:34 +0100 |
|
→
the asteroid that kills tech dinosaurs (Was: Knock, knock, who is it? Yi-Lightning)
|
Mild Shock <janburse@fastmail.fm> |
2025-01-31 16:23 +0100 |
|
→
Some modern heros of DeekSeek (Was: the asteroid that kills tech dinosaurs)
|
Mild Shock <janburse@fastmail.fm> |
2025-01-31 23:49 +0100 |
|
→
Some modern heros of DeepSeek (Re: the asteroid that kills tech dinosaurs)
|
Mild Shock <janburse@fastmail.fm> |
2025-01-31 23:51 +0100 |
|
→
How ELIZA 2.0 killed Wolfram Alpha (Was: Knock, knock, who is it? Yi-Lightning)
|
Mild Shock <janburse@fastmail.fm> |
2025-02-04 10:03 +0100 |
|
→
Machine Learning discovers Roman Numerals (Re: How ELIZA 2.0 killed Wolfram Alpha)
|
Mild Shock <janburse@fastmail.fm> |
2025-02-08 12:57 +0100 |
|
→
Logtalks Corleone "olive oil business" [Missed the DOP Bandwagon] (Was: Knock, knock, who is it? Yi-Lightning)
|
Mild Shock <janburse@fastmail.fm> |
2026-04-29 11:30 +0200 |
|
→
Logtalk is over engineered in a bad sense [Where are the test results] (Was: Logtalks Corleone "olive oil business")
|
Mild Shock <janburse@fastmail.fm> |
2026-04-29 11:52 +0200 |
|
→
Logtalk just creates its own island of PlUnit (Re: Logtalk is over engineered in a bad sense)
|
Mild Shock <janburse@fastmail.fm> |
2026-04-29 12:09 +0200 |
|
→
The mechanic with the Vacuum Hypothesis (Was: Logtalk just creates its own island of PlUnit)
|
Mild Shock <janburse@fastmail.fm> |
2026-04-29 12:50 +0200 |
|
→
Chinas secret weapon pulverizes Mira Murati (Was: Wait till they figure out that China has also AI)
|
Mild Shock <janburse@fastmail.fm> |
2025-02-02 16:35 +0100 |
|
→
Layoff Tsunami and Defunding Rounds [Burger jobs] (Re: Wait till they figure out that China has also AI)
|
Mild Shock <janburse@fastmail.fm> |
2026-04-29 13:11 +0200 |
| |
|
I always liked Paul Tarau / R.I.P. March 10th, 2026
|
Mild Shock <janburse@fastmail.fm> |
2026-04-24 01:37 +0200 |
| |
|
Univocity of AI: Cat Face Recognition (Was: Best way to use LLMs to augment academic research)
(1 reply)
|
Mild Shock <janburse@fastmail.fm> |
2026-04-16 22:00 +0200 |
|
→
Maybe buying AI Laptops is now amortisized? (Re: Univocity of AI: Cat Face Recognition)
|
Mild Shock <janburse@fastmail.fm> |
2026-04-16 22:40 +0200 |
| |
|
Nexpert Object: Realtime Abduction and Explanation [The glorious 80's Expertsystems]
|
Mild Shock <janburse@fastmail.fm> |
2026-04-16 16:23 +0200 |
| |
|
comp.lang.prolog Frequently Asked Questions
|
Markus Triska <triska@logic.at> |
2026-04-16 05:00 +0000 |
| |
|
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example
(21 replies)
|
olcott <polcott333@gmail.com> |
2026-04-03 08:35 -0500 |
|
→
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example
|
Mikko <mikko.levanto@iki.fi> |
2026-04-04 10:53 +0300 |
|
→
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example
|
olcott <polcott333@gmail.com> |
2026-04-04 10:58 -0500 |
|
→
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example
|
olcott <polcott333@gmail.com> |
2026-04-04 11:23 -0500 |
|
→
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example
|
olcott <polcott333@gmail.com> |
2026-04-04 14:55 -0500 |
|
→
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example
|
Mikko <mikko.levanto@iki.fi> |
2026-04-05 10:05 +0300 |
|
→
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example
|
olcott <polcott333@gmail.com> |
2026-04-05 06:25 -0500 |
|
→
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example
|
Ross Finlayson <ross.a.finlayson@gmail.com> |
2026-04-05 08:05 -0700 |
|
→
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example
|
olcott <polcott333@gmail.com> |
2026-04-05 12:01 -0500 |
|
→
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example
|
Mikko <mikko.levanto@iki.fi> |
2026-04-06 11:27 +0300 |
|
→
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example
|
olcott <polcott333@gmail.com> |
2026-04-06 06:21 -0500 |
|
→
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example
|
Mikko <mikko.levanto@iki.fi> |
2026-04-07 11:00 +0300 |
|
→
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example
|
olcott <polcott333@gmail.com> |
2026-04-07 09:49 -0500 |
|
→
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example
|
Mikko <mikko.levanto@iki.fi> |
2026-04-08 10:08 +0300 |
|
→
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example
|
olcott <polcott333@gmail.com> |
2026-04-08 06:52 -0500 |
|
→
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction
|
olcott <polcott333@gmail.com> |
2026-04-08 09:13 -0500 |
|
→
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction
|
Mikko <mikko.levanto@iki.fi> |
2026-04-09 12:17 +0300 |
|
→
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction
|
olcott <polcott333@gmail.com> |
2026-04-09 08:34 -0500 |
|
→
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction
|
Mikko <mikko.levanto@iki.fi> |
2026-04-10 10:30 +0300 |
|
→
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example
|
Mikko <mikko.levanto@iki.fi> |
2026-04-09 12:08 +0300 |
|
→
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example
|
olcott <polcott333@gmail.com> |
2026-04-09 08:29 -0500 |
|
→
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example
|
Mikko <mikko.levanto@iki.fi> |
2026-04-10 10:32 +0300 |
| |
|
ANN: Dogelog Player 2.1.6 (Assertion Sharing)
(2 replies)
|
Mild Shock <janburse@fastmail.fm> |
2026-03-20 18:29 +0100 |
|
→
Just-in-Time Indexing in Dogelog Player (Re: ANN: Dogelog Player 2.1.6 (Assertion Sharing))
|
Mild Shock <janburse@fastmail.fm> |
2026-04-01 00:26 +0200 |
|
→
Goal Outlining for Dogelog Player (Was: Just-in-Time Indexing in Dogelog Player)
|
Mild Shock <janburse@fastmail.fm> |
2026-04-09 12:50 +0200 |
| |
|
Heads will roll: AI means PANIC.
(6 replies)
|
Mild Shock <janburse@fastmail.fm> |
2025-01-06 19:06 +0100 |
|
→
Re: Heads will roll: AI means PANIC.
|
Mild Shock <janburse@fastmail.fm> |
2025-01-06 19:10 +0100 |
|
→
Kaffeekränzchen mit ChatGPT (Re: Heads will roll: AI means PANIC)
|
Mild Shock <janburse@fastmail.fm> |
2026-03-17 18:22 +0100 |
|
→
Re: Heads will roll: AI means PANIC.
|
Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> |
2026-03-24 22:07 +0000 |
|
→
When Supercomputing discovered BFS (Was: Heads will roll: AI means PANIC)
|
Mild Shock <janburse@fastmail.fm> |
2026-03-27 15:44 +0100 |
|
→
Prolog vendors don't understand Tabling anymore (Was: Heads will roll: AI means PANIC.)
|
Mild Shock <janburse@fastmail.fm> |
2026-04-04 14:03 +0200 |
|
→
Prolog vendors don't understand Tabling anymore (Was: Heads will roll: AI means PANIC.)
|
Mild Shock <janburse@fastmail.fm> |
2026-04-04 14:04 +0200 |