| Date | Sujet | # | | Auteur |
| 16 Oct06:00 |  comp.lang.prolog Frequently Asked Questions | 1 | | Markus Triska |
| 17 Aug 25 |  WebPL is already outdated | 28 | | Mild Shock |
| 18 Aug 25 |  Heap/Stack versus WAM resp. ZIP (Was: WebPL is already outdated) | 4 | | Mild Shock |
| 18 Aug 25 |   Trealla knows Program Sharing (PS) Tricks ? (Was: Heap/Stack versus WAM resp. ZIP) | 3 | | Mild Shock |
| 18 Aug 25 |  Smarter Partial Strings would use Program Sharing ['$append'/3] (Was: Trealla knows Program Sharing (PS) Tricks ?) | 2 | | Mild Shock |
| 18 Aug 25 |  Static Shunting is even better [Dogelog Player] (Was: Smarter Partial Strings would use Program Sharing ['$append'/3]) | 1 | | Mild Shock |
| 31 Aug 25 | The Artificial Intelligence Flip: Acer Swift Go! (Was: WebPL is already outdated) | 10 | | Mild Shock |
| 31 Aug 25 | 2025 will be last year we hear of Python (Re: The Artificial Intelligence Flip: Acer Swift Go!) | 9 | | Mild Shock |
| 5 Sep 25 | Apertus: With love, from Switzerland [02 Sept 2025] (Re: 2025 will be last year we hear of Python) | 1 | | Mild Shock |
| 5 Sep 25 | Don't try this (Was: Apertus: With love, from Switzerland [02 Sept 2025] ) | 1 | | Mild Shock |
| 19 Sep 25 | AI means ambracing Non-Linearity (Was: 2025 will be last year we hear of Python) | 6 | | Mild Shock |
| 19 Sep 25 | AI soaked PCs: Is there a Copilot+ Prolog? (Was: AI means ambracing Non-Linearity) | 5 | | Mild Shock |
| 19 Sep 25 | The morning coffee incident [Prolog Community] (Was: AI soaked PCs: Is there a Copilot+ Prolog?) | 4 | | Mild Shock |
| 19 Sep 25 | Root Cause Prediction for Your Brain (Was: The morning coffee incident [Prolog Community]) | 3 | | Mild Shock |
| 19 Sep 25 | Please delete my account and all my posts on SWI-Prolog discourse (Re: Root Cause Prediction for Your Brain) | 2 | | Mild Shock |
| 19 Sep 25 | I will consult a Lawyer of mine (Was: Please delete my account and all my posts on SWI-Prolog discourse) | 1 | | Mild Shock |
| 19 Sep 25 | Scryer Prolog unify_with_occurs_check/2 doesn't scale (Was: WebPL is already outdated) | 7 | | Mild Shock |
| 19 Sep 25 | How bad is Rust, can JavaScript beat it? (Was: Scryer Prolog unify_with_occurs_check/2 doesn't scale) | 1 | | Mild Shock |
| 25 Sep 25 | unify_with_occurs_check/2 might have been fixed (Was: Scryer Prolog unify_with_occurs_check/2 doesn't scale) | 4 | | Mild Shock |
| 25 Sep 25 | Had to Rollback my Jaffar Unification (Was: unify_with_occurs_check/2 might have been fixed) | 3 | | Mild Shock |
| 25 Sep 25 | Trealla Prolog might apply "frozeness" to cyclic terms (Was: Had to Rollback my Jaffar Unification) | 2 | | Mild Shock |
| 25 Sep 25 | Non-intrusive through "frozen" subcategories (Was: Trealla Prolog might apply "frozeness" to cyclic terms) | 1 | | Mild Shock |
| 26 Sep 25 | Scryer Prolog occurs check cannot do hydra (Was: Scryer Prolog unify_with_occurs_check/2 doesn't scale) | 1 | | Mild Shock |
| 13 Oct08:49 | WebPL and Scryer Prolog are bad examples (Was: WebPL is already outdated) | 2 | | Mild Shock |
| 13 Oct14:09 | Who will win Shift-Reduce or Tabled DCG? [AI Boom] (Was: WebPL and Scryer Prolog are bad examples) | 1 | | Mild Shock |
| 15 Oct01:38 | primes.pl mainly tests the Prolog ALU [mod/2 vs rem/2] (Was: WebPL is already outdated) | 4 | | Mild Shock |
| 15 Oct03:33 | 25-30% is insane, Neural Network Branch Prediction? (Was: primes.pl mainly tests the Prolog ALU) | 3 | | Mild Shock |
| 15 Oct15:04 | NPUs (Neural Processing Units) are the new normal (Was: 25-30% is insane, Neural Network Branch Prediction?) | 2 | | Mild Shock |
| 15 Oct15:10 | Ask Phind: AI inflection point right now [End 2025] (Was: NPUs (Neural Processing Units) are the new normal) | 1 | | Mild Shock |
| 10 Oct22:33 | ISO Prolog and yet another stinking pile of crap | 13 | | Julio Di Egidio |
| 11 Oct09:35 | What about the <NEWLINE> ? (Was: ISO Prolog and yet another stinking pile of crap) | 11 | | Mild Shock |
| 11 Oct12:08 | Re: What about the <NEWLINE> ? (Was: ISO Prolog and yet another stinking pile of crap) | 10 | | Julio Di Egidio |
| 11 Oct23:35 | Metamorphosis Grammars by Alain Colmerauer (Was: What about the <NEWLINE> ?) | 9 | | Mild Shock |
| 11 Oct23:55 | Compact DCG Transducer by Dogelog Player (Was: Metamorphosis Grammars by Alain Colmerauer) | 2 | | Mild Shock |
| 12 Oct00:06 | Did Picat, Minizinc, etc.. dumb down Prolog? (Was: Compact DCG Transducer by Dogelog Player) | 1 | | Mild Shock |
| 12 Oct00:28 | Re: Metamorphosis Grammars by Alain Colmerauer (Was: What about the <NEWLINE> ?) | 2 | | Julio Di Egidio |
| 12 Oct03:28 | Solve the Bootstrapping Problem: Self Hosting Systems (Was: Metamorphosis Grammars by Alain Colmerauer) | 1 | | Mild Shock |
| 13 Oct08:11 | From natural language processing to Prolog [Beijing, April 8, 2011] (Re: Metamorphosis Grammars by Alain Colmerauer (Was: What about the <NEWLINE> ?) | 1 | | Mild Shock |
| 13 Oct08:11 | From natural language processing to Prolog [Beijing, April 8, 2011] (Re: Metamorphosis Grammars by Alain Colmerauer (Was: What about the <NEWLINE> ?) | 3 | | Mild Shock |
| 13 Oct08:23 | Difference between W-Grammars and DCG Transform (Was: From natural language processing to Prolog [Beijing, April 8, 2011]) | 2 | | Mild Shock |
| 13 Oct08:34 | The Blunder: “constraint programming” companies in France 1984–1996 (Was: Difference between W-Grammars and DCG Transform) | 1 | | Mild Shock |
| 12 Oct04:00 | Gradual Refinement: AI Memo 39 (Was: ISO Prolog and yet another stinking pile of crap) | 1 | | Mild Shock |
| 2 Oct 25 | ANN: Dogelog Player 2.1.1 (Sky Limit) | 2 | | Mild Shock |
| 11 Oct23:38 | NetFish Transducer in Dogelog Player (Was: ANN: Dogelog Player 2.1.1 (Sky Limit)) | 1 | | Mild Shock |
| 10 Oct10:13 | Can ISO 13211-1 (1996) adress the significat problem? | 5 | | Mild Shock |
| 10 Oct10:30 | Traces of section 7.10.2.6 among Prolog systems (Was: Can ISO 13211-1 (1996) adress the significat problem?) | 4 | | Mild Shock |
| 10 Oct10:46 | Is it lawful to call @jp-diegidio and EricGT morons (Was: Traces of section 7.10.2.6 among Prolog systems) | 3 | | Mild Shock |
| 10 Oct11:18 | No wonder Python is called the data science language (Was: Is it lawful to call @jp-diegidio and EricGT morons) | 1 | | Mild Shock |
| 10 Oct11:22 | No wonder Python is called the data science language (Was: Is it lawful to call @jp-diegidio and EricGT morons) | 1 | | Mild Shock |
| 15 Jul 25 | There is something like SuperPrologs ? [SWI, ECLiPSe, etc..] (Was: comp.lang.prolog Frequently Asked Questions) | 7 | | Mild Shock |
| 15 Jul 25 | Is ISO itself not simply a dialect? (Was: There is something like SuperPrologs ? [SWI, ECLiPSe, etc..]) | 5 | | Mild Shock |
| 15 Jul 25 | Pet project Prolog-Omnibus I don't have any time (Was: Is ISO itself not simply a dialect?) | 1 | | Mild Shock |
| 9 Oct 25 | ANN: Go Fund Me for ISO Core Standard of Prolog (Re: Is ISO itself not simply a dialect?) | 3 | | Mild Shock |
| 10 Oct08:48 | Most Prolog Systems didn't solve it yet [Timer Trash] (Was: Fuck Around and Find Out : SWI-Prolog Forum) | 2 | | Mild Shock |
| 10 Oct09:22 | Moron @jp-diegidio clueless about Unicode (UAX#14) [Re: Most Prolog Systems didn't solve it yet [Timer Trash] (Was: Fuck Around and Find Out : SWI-Prolog Forum) | 1 | | Mild Shock |
| 6 Aug 25 | ECliPSe Prolog not a SuperProlog (Was: There is something like SuperPrologs ? [SWI, ECLiPSe, etc..]) | 1 | | Mild Shock |
| 8 Oct 25 | 😂 "Plog-like" - that should be the official term! | 2 | | Mild Shock |
| 8 Oct 25 | How deep seek went bonkers (Re: 😂 "Plog-like" - that should be the official term!) | 1 | | Mild Shock |
| 4 Oct 25 | Vanishing Point . [Le Dot] | 7 | | Mild Shock |
| 5 Oct 25 | Lets compare AI data centers (Was: Vanishing Point . [Le Dot]) | 5 | | Mild Shock |
| 5 Oct 25 | USA domestic chips for the never ending crunch (Re: Lets compare AI data centers ) | 4 | | Mild Shock |
| 5 Oct 25 | Holy Schrimp Jesus: The Internet is Dead [Rossy Boy dethroned?] (Re: USA domestic chips for the never ending crunch) | 3 | | Mild Shock |
| 7 Oct 25 | Try https://mathstodon.xyz by Christian Lawson-Perfect (Re: Holy Schrimp Jesus: The Internet is Dead [Rossy Boy dethroned?] ) | 2 | | Mild Shock |
| 7 Oct 25 | Some statistics about Mastodon (Re: Try https://mathstodon.xyz by Christian Lawson-Perfect) | 1 | | Mild Shock |
| 5 Oct 25 | British writer Arthur C. Clarke (Re: Vanishing Point . [Le Dot]) | 1 | | Mild Shock |
| 7 Oct 25 | User @false is exaggerating as usual | 3 | | Mild Shock |
| 7 Oct 25 | Why false/0 should be avoided (Was: User @false is exaggerating as usual) | 2 | | Mild Shock |
| 7 Oct 25 | Putins payed troll is facing the final boss [Julio Di Egidio] (Was: Why false/0 should be avoided) | 1 | | Mild Shock |
| 10 Jan 25 | Prologers are hurt the most by LLMs | 8 | | Mild Shock |
| 10 Jan 25 | RETRO Project Sebastian Borgeaud et al. - 7 Feb 2022 (Was: Prologers are hurt the most by LLMs) | 5 | | Mild Shock |
| 10 Jan 25 | SE policy on use of generative Al ignores Retrieval-Augmented Generatio (Was: RETRO Project Sebastian Borgeaud et al. - 7 Feb 2022) | 4 | | Mild Shock |
| 10 Jan 25 | Vectors are the new JSON (Was: SE policy on use of generative Al ignores Retrieval-Augmented Generatio) | 3 | | Mild Shock |
| 10 Jan 25 | XAI is over and out (Was: Vectors are the new JSON) | 2 | | Mild Shock |
| 10 Jan 25 | Academia is retarded (Re: XAI is over and out) | 1 | | Mild Shock |
| 4 Oct 25 | Abstraction Engine / Pattern-Amplification AI Avalanche [Java to C# translation] (Re: Prologers are hurt the most by LLMs) | 2 | | Mild Shock |
| 4 Oct 25 | Swift AI versus Apertus AI: David against Goliath (Re: Abstraction Engine / Pattern-Amplification AI Avalanche [Java to C# translation]) | 1 | | Mild Shock |
| 21 Aug 25 | ANN: Dogelog Player 1.3.6 (Canonical Compare) | 3 | | Mild Shock |
| 23 Sep 25 | Jaffar's Unification in Dogelog Player (Was: ANN: Dogelog Player 1.3.6 (Canonical Compare)) | 2 | | Mild Shock |
| 2 Oct 25 | Gap Buffers for Dogelog Player (Was: Jaffar's Unification in Dogelog Player) | 1 | | Mild Shock |
| 2 Oct 25 | comp.lang.prolog Frequently Asked Questions | 1 | | Markus Triska |
| 28 Sep 25 | Who will win the new Prolog race? SWI or Scryer? | 9 | | Mild Shock |
| 28 Sep 25 | The only problem is, Rust is shiiiit (Was: Who will win the new Prolog race? SWI or Scryer?) | 2 | | Mild Shock |
| 28 Sep 25 | Recent hybrid: Python beats Rust (Was: The only problem is, Rust is shiiiit) | 1 | | Mild Shock |
| 29 Sep 25 | Trealla drastically beats Scryer [Jaffar's Algorithm] (Re: Who will win the new Prolog race? SWI or Scryer? | 6 | | Mild Shock |
| 29 Sep 25 | Boris the Loris and the American Fuzzy Lop (Was: Trealla drastically beats Scryer [Jaffar's Algorithm]) | 3 | | Mild Shock |
| 29 Sep 25 | Was Boris living under a rock, how many Fuzzy Testing tools? (Was: Boris the Loris and the American Fuzzy Lop) | 2 | | Mild Shock |
| 29 Sep 25 | Not a Nazi-Retard, maybe a payed Troll on Putins payroll (Was: Was Boris living under a rock, how many Fuzzy Testing tools?) | 1 | | Mild Shock |
| 30 Sep 25 | Fast, but not correct implementation (Was: Trealla drastically beats Scryer [Jaffar's Algorithm]) | 2 | | Mild Shock |
| 30 Sep 25 | Boris the Loris saw it all comming [Weak Prolog Community] (Was: Fast, but not correct implementation) | 1 | | Mild Shock |
| 22 Jan 25 | USA is still Shitting its Pants [Artificial Intelligence] | 4 | | Mild Shock |
| 29 Sep 25 | With MedGamma I can analyse my own broken ribs (Was: USA is still Shitting its Pants [Artificial Intelligence]) | 3 | | Mild Shock |
| 29 Sep 25 | Hades: fast hardware synthesis tools and a reconfigurable coprocessor (Re: With MedGamma I can analyse my own broken ribs) | 2 | | Mild Shock |
| 30 Sep 25 | Linus Torvalds has it possibly all wrong [Artificial Intelligence] (Was: Hades: fast hardware synthesis tools and a reconfigurable coprocessor) | 1 | | Mild Shock |
| 28 Sep 25 | Autum Challenge 2025: Canonical Proof Search | 1 | | Mild Shock |
| 27 Sep 25 | How SWI-Prolog went down hills | 8 | | Mild Shock |
| 27 Sep 25 | Julio Di Egidio has never heard of unification (Was: How SWI-Prolog went down hills) | 7 | | Mild Shock |
| 27 Sep 25 | Re: Julio Di Egidio has never heard of unification (Was: How SWI-Prolog went down hills) | 6 | | Julio Di Egidio |
| 28 Sep 25 | The PoC (Proof of Concept) aspect of a PIP (Was: Julio Di Egidio has never heard of unification) | 5 | | Mild Shock |
| 28 Sep 25 | Help! We need Boris the Loris, its all Fuzzy (Was: The PoC (Proof of Concept) aspect of a PIP) | 4 | | Mild Shock |
| 28 Sep 25 | My Citation Source : SWI-Prolog discourse (Was: Help! We need Boris the Loris, its all Fuzzy) | 3 | | Mild Shock |
| 28 Sep 25 | SWI-Prolog as the gravity of all: Dream Big / Dream Standard (Was: My Citation Source : SWI-Prolog discourse) | 2 | | Mild Shock |
| 28 Sep 25 | How to make a tag variable an attributed variable (Was: SWI-Prolog as the gravity of all: Dream Big / Dream Standard) | 1 | | Mild Shock |
| 11 Aug 25 | VIP0909: VibeCore Improvement Proposal [term_singletons] | 7 | | Mild Shock |
| 11 Aug 25 | Dushnik–Miller theorem [1940] (Was: VIP0909: VibeCore Improvement Proposal [term_singletons]) | 3 | | Mild Shock |
| 11 Aug 25 | Moore-Naish Algorithm in Prolog (Was: Dushnik–Miller theorem [1940]) | 2 | | Mild Shock |
| 11 Aug 25 | Who was Seiiti Huzita (1958) ? (Was: Moore-Naish Algorithm in Prolog) | 1 | | Mild Shock |
| 27 Sep 25 | VIP0909: VibeCore Improvement Proposal [Jaffar's Algorithm] | 3 | | Mild Shock |
| 27 Sep 25 | Cheap hybrid binary algorithms (Was: VIP0909: VibeCore Improvement Proposal [Jaffar's Algorithm]) | 2 | | Mild Shock |
| 27 Sep 25 | What are the constraints of program sharing (Was: Cheap hybrid binary algorithms) | 1 | | Mild Shock |
| 10 Sep 25 | Help, my GPT detector doesn't allow https://stackoverflow.ai/ | 8 | | Mild Shock |
| 11 Sep 25 | The 9 most powerful supercomputers (Re: Help, my GPT detector doesn't allow https://stackoverflow.ai/ | 7 | | Mild Shock |
| 23 Sep 25 | Go, go, Germany, there is JUPITER now (Was: The 9 most powerful supercomputers) | 6 | | Mild Shock |
| 23 Sep 25 | Re: Go, go, Germany, there is JUPITER now (Was: The 9 most powerful supercomputers) | 5 | | Julio Di Egidio |
| 25 Sep 25 | Re: Go, go, Germany, there is JUPITER now (Was: The 9 most powerful supercomputers) | 4 | | Mild Shock |
| 25 Sep 25 | SWIPL Administrators dream of Adolf Hitler (Was: Go, go, Germany, there is JUPITER now) | 1 | | Mild Shock |
| 25 Sep 25 | Re: Go, go, Germany, there is JUPITER now (Was: The 9 most powerful supercomputers) | 2 | | Julio Di Egidio |
| 25 Sep 25 | The nazi-retard stalker Julio Di Egidio is clueless as usual (Was: Go, go, Germany, there is JUPITER now) | 1 | | Mild Shock |
| 22 Sep 25 | Cyclic terms are missing from "Fifty Years of Prolog and Beyond (TPLP 2022)" | 7 | | Mild Shock |
| 22 Sep 25 | Wikipedia is clueless about cyclic terms (Was: Cyclic terms are missing from "Fifty Years of Prolog and Beyond (TPLP 2022)") | 1 | | Mild Shock |
| 22 Sep 25 | Wikipedia is clueless about cyclic terms (Was: Cyclic terms are missing from "Fifty Years of Prolog and Beyond (TPLP 2022)") | 5 | | Mild Shock |
| 22 Sep 25 | Can Ulrich Neumerkel or Markus Triska fix that? (Was: Wikipedia is clueless about cyclic terms) | 4 | | Mild Shock |
| 22 Sep 25 | Quadratic Bound true, and Exponential false (Was: Can Ulrich Neumerkel or Markus Triska fix that?) | 3 | | Mild Shock |
| 22 Sep 25 | Jaxon Jaffar might be the inventor of Union Find Unification (Was: Quadratic Bound true, and Exponential false) | 2 | | Mild Shock |
| 22 Sep 25 | Conclusion quasi-linear time and linear space (Was: Jaxon Jaffar might be the inventor of Union Find Unification) | 1 | | Mild Shock |
| 5 Sep 25 | String lists can be a nightmare [WebPL] | 2 | | Mild Shock |
| 5 Sep 25 | Prolog Veterans know the Solution: ADTs (Was: String lists can be a nightmare [WebPL]) | 1 | | Mild Shock |
| 23 Aug 25 | The Million Dollar question of Prolog | 7 | | Mild Shock |
| 25 Aug 25 | AGI will relieve the community (Was: The Million Dollar question of Prolog) | 4 | | Mild Shock |
| 25 Aug 25 | Reflect on Sience not Frog Legs (Was: AGI will relieve the community) | 3 | | Mild Shock |
| 26 Aug 25 | Switching Gears: From Lee Naish to Peter Deutsch (Was: Reflect on Sience not Frog Legs) | 2 | | Mild Shock |
| 26 Aug 25 | Not for pratical use, only for educational use (Re: Switching Gears: From Lee Naish to Peter Deutsch) | 1 | | Mild Shock |
| 5 Sep 25 | Do Prologs Dream of Canonical Sheep? (Was: The Million Dollar question of Prolog) | 2 | | Mild Shock |
| 5 Sep 25 | Electing "conductor" Prolog variables (Was: Do Prologs Dream of Canonical Sheep?) | 1 | | Mild Shock |
| 2 Sep 25 | comp.lang.prolog Frequently Asked Questions | 1 | | Markus Triska |
| 25 Jul 25 | Novacore goes Bisimulation: Scryer Prolog is Slow! | 16 | | Mild Shock |
| 25 Jul 25 | Is Mild Shock going rogue? (Was: Novacore goes Bisimulation: Scryer Prolog is Slow!) | 3 | | Mild Shock |
| 25 Jul 25 | Is Mostowski Collapse a professional mathematician (Was: Is Mild Shock going rogue?) | 2 | | Mild Shock |
| 25 Jul 25 | New Project Name: NovaCore becomes VibeCore (Re: Is Mostowski Collapse a professional mathematician) | 1 | | Mild Shock |
| 26 Jul 25 | Nice Printing Error Scryer Prolog (Was: Novacore goes Bisimulation: Scryer Prolog is Slow!) | 2 | | Mild Shock |
| 26 Jul 25 | Dynamic unify_with_occurs_check/2 speed-up (Was: Nice Printing Error Scryer Prolog) | 1 | | Mild Shock |
| 28 Jul 25 | The End of Deutsch-Schorr-Waite [cycle_detection.rs] (Was: Novacore goes Bisimulation: Scryer Prolog is Slow!) | 6 | | Mild Shock |
| 28 Jul 25 | Backtracking Branching Association List (Re: The End of Deutsch-Schorr-Waite [cycle_detection.rs]) | 3 | | Mild Shock |
| 28 Jul 25 | Do it like in acyclic_decompose/3 (Re: Backtracking Branching Association List) | 2 | | Mild Shock |
| 28 Jul 25 | Cache-Trashing vs Cache-Friendly [Code Example] (Re: Do it like in acyclic_decompose/3) | 1 | | Mild Shock |
| 16 Aug 25 | Entering the Age of Rational Trees (2025) (Was: The End of Deutsch-Schorr-Waite [cycle_detection.rs]) | 1 | | Mild Shock |
| 24 Aug 25 | The End of Debray Allocator (Was: The End of Deutsch-Schorr-Waite [cycle_detection.rs]) | 1 | | Mild Shock |
| 30 Jul 25 | The pairs are nasty, otherwise not always slow! (Re: Novacore goes Bisimulation: Scryer Prolog is Slow!) | 2 | | Mild Shock |
| 30 Jul 25 | It was painful for my GC, but fixed now (Re: The pairs are nasty, otherwise not always slow!) | 1 | | Mild Shock |
| 2 Aug 25 | Scryer Prolog has the most useless max_depth (Re: Novacore goes Bisimulation: Scryer Prolog is Slow!) | 2 | | Mild Shock |
| 2 Aug 25 | Novacore goes native (=)/2 and (==)/2 bisimulation (Was: Scryer Prolog has the most useless max_depth) | 1 | | Mild Shock |
| 18 Aug 25 | The roots Program Sharing (PS): J Strother Moore II (1973) | 5 | | Mild Shock |
| 18 Aug 25 | Avoiding OCCUR Checks / The BAROQUE Language (Was: The roots Program Sharing (PS): J Strother Moore II (1973)) | 1 | | Mild Shock |
| 21 Aug 25 | Frozen Prolog Terms make copy_term/2 constant (Was: The roots Program Sharing (PS): J Strother Moore II (1973) | 3 | | Mild Shock |
| 21 Aug 25 | SWI-Prolog needs linear time (Was: Frozen Prolog Terms make copy_term/2 constant) | 2 | | Mild Shock |
| 21 Aug 25 | Old Lady with Double Pointers and Frozen Info (Was: SWI-Prolog needs linear time) | 1 | | Mild Shock |
| 2 Aug 25 | ANN: Dogelog Player 1.3.5 (Cyclic Terms) | 3 | | Mild Shock |
| 15 Aug 25 | Landin's Knot in Dogelog Player (Was: ANN: Dogelog Player 1.3.5 (Cyclic Terms)) | 2 | | Mild Shock |
| 20 Aug 25 | Program Sharing in Dogelog Player (Was: ANN: Dogelog Player 1.3.5 (Cyclic Terms)) | 1 | | Mild Shock |
| 3 Mar 25 | Prolog Education Group clueless about the AI Boom? | 15 | | Mild Shock |
| 3 Mar 25 | Re: Prolog Education Group clueless about the AI Boom? | 2 | | Mild Shock |
| 3 Mar 25 | Salary Templates if you "Grok" ML / AI [PhDs Negotiate Salaries] (Re: Prolog Education Group clueless about the AI Boom?) | 1 | | Mild Shock |
| 7 Mar 25 | ILP is still dreaming of higher order (Was: Prolog Education Group clueless about the AI Boom?) | 2 | | Mild Shock |
| 8 Mar 25 | Re: ILP is still dreaming of higher order (Was: Prolog Education Group clueless about the AI Boom?) | 1 | | Mild Shock |
| 12 Aug 25 | FYI: Philip Zucker’s Co-Egraphs (Was: Prolog Education Group clueless about the AI Boom?) | 10 | | Mild Shock |
| 14 Aug 25 | Using Hopcroft & Karp (HK) everywhere (Was: FYI: Philip Zucker’s Co-Egraphs) | 9 | | Mild Shock |
| 14 Aug 25 | Confusing "decidable problem" and "complete algorithm" (Was: Using Hopcroft & Karp (HK) everywhere) | 2 | | Mild Shock |
| 14 Aug 25 | DFA algorithms in a Python library (Re: Confusing "decidable problem" and "complete algorithm") | 1 | | Mild Shock |
| 16 Aug 25 | Static Variable Shunting in Dogelog Player (Was: Using Hopcroft & Karp (HK) everywhere) | 6 | | Mild Shock |
| 16 Aug 25 | Dynamic Variable Shunting in WebPL (Was: Static Variable Shunting in Dogelog Player) | 5 | | Mild Shock |
| 16 Aug 25 | SWI-Prolog is still the OG of GC (Was: Dynamic Variable Shunting in WebPL) | 4 | | Mild Shock |
| 16 Aug 25 | Cyclic Term Unification is Accounted (Was: SWI-Prolog is still the OG of GC) | 1 | | Mild Shock |
| 17 Aug 25 | WebPL is an interesting project (Was: SWI-Prolog is still the OG of GC) | 2 | | Mild Shock |
| 17 Aug 25 | Head to Head Race with Scryer Prolog (Was: WebPL is an interesting project) | 1 | | Mild Shock |
| 4 Aug 25 | Mercio’s Algorithm for Rational Tree Compare in Prolog | 15 | | Mild Shock |
| 4 Aug 25 | The Original Ganster (OG) of Gameification: IEEE 1044.1-1995 (Was: Mercio’s Algorithm for Rational Tree Compare in Prolog) | 3 | | Mild Shock |
| 4 Aug 25 | The Bitrot called Math Stack Exchange (Re: The Original Ganster (OG) of Gameification: IEEE 1044.1-1995) | 2 | | Mild Shock |
| 4 Aug 25 | I guess its back to Hopcroft and Karp.Re: The Bitrot called Math Stack Exchange) | 1 | | Mild Shock |
| 6 Aug 25 | Szpilrajn Theorem and Suzumura Consistency (Was: Mercio’s Algorithm for Rational Tree Compare in Prolog) | 6 | | Mild Shock |
| 6 Aug 25 | The good thing is we have at least Mercio’s Algorithm (Re: Szpilrajn Theorem and Suzumura Consistency) | 5 | | Mild Shock |
| 6 Aug 25 | Hopcroft and Karp’s is just Contraction (Was: The good thing is we have at least Mercio’s Algorithm) | 2 | | Mild Shock |
| 6 Aug 25 | Re: Hopcroft and Karp’s is just Contraction (Was: The good thing is we have at least Mercio’s Algorithm) | 1 | | Mild Shock |
| 8 Aug 25 | Should we use minimum_coa/3 ? (Was: The good thing is we have at least Mercio’s Algorithm) | 2 | | Mild Shock |
| 8 Aug 25 | Perfectly balanced , as all things should be! (Was: Should we use minimum_coa/3 ?) | 1 | | Mild Shock |
| 14 Aug 25 | Mercios decidability was already attested in 2012 (Was: Mercio’s Algorithm for Rational Tree Compare in Prolog) | 5 | | Mild Shock |
| 15 Aug 25 | Performance of Mercio’s Total Order (Was: Mercios decidability was already attested in 2012) | 4 | | Mild Shock |
| 15 Aug 25 | Fuzzy Testing is your Swiss Knife (Re: Performance of Mercio’s Total Order) | 3 | | Mild Shock |
| 16 Aug 25 | Yeah, we have another name! (Was: Fuzzy Testing is your Swiss Knife) | 1 | | Mild Shock |
| 16 Aug 25 | Monte Carlo sampling the frontier version (Was: Yeah, we have another name!) | 1 | | Mild Shock |
| 16 Aug 25 | comp.lang.prolog Frequently Asked Questions | 1 | | Markus Triska |
| 11 Aug 25 | VIP0909: VibeCore Improvement Proposal | 1 | | Mild Shock |
| 8 Aug 25 | Vibe Check Successfully Passed | 3 | | Mild Shock |
| 8 Aug 25 | Unisonify all of Science (Re: Vibe Check Successfully Passed) | 2 | | Mild Shock |
| 8 Aug 25 | Fight the Signal Collapse by Bisimulation Collapse (Was: Unisonify all of Science) | 1 | | Mild Shock |
| 21 Jul 25 | Fathers of Bisimulation: Robin Milner (1934–2010) | 7 | | Mild Shock |
| 21 Jul 25 | From Bisimulation to Bisimilarity: A Complete Inference System (Was: Fathers of Bisimulation: Robin Milner (1934–2010)) | 4 | | Mild Shock |
| 21 Jul 25 | Bonus: Prolog Systems with Strings, Bigints, etc.. (Re: From Bisimulation to Bisimilarity: A Complete Inference System) | 3 | | Mild Shock |
| 21 Jul 25 | At least 3 methods for Bisimilarity [Python BisPy] (Was: Bonus: Prolog Systems with Strings, Bigints, etc.. ) | 2 | | Mild Shock |
| 21 Jul 25 | sets or tuples? be warned (Re: At least 3 methods for Bisimilarity [Python BisPy]) | 1 | | Mild Shock |
| 21 Jul 25 | The Original Ganster (OG) of Bisimilarity are Hopcroft and Karp (1971) (Re: Fathers of Bisimulation: Robin Milner (1934–2010)) | 2 | | Mild Shock |
| 6 Aug 25 | All-in-One DAM-GT: Wuhan, Hopcroft and Attention (Was: The Original Ganster (OG) of Bisimilarity are Hopcroft and Karp (1971)) | 1 | | Mild Shock |
| 9 Jul 25 | Scryer Prolog totally clueless how DCGs work | 8 | | Mild Shock |
| 9 Jul 25 | Lets see what the "experts" say (Was: Scryer Prolog totally clueless how DCGs work) | 6 | | Mild Shock |
| 9 Jul 25 | Payed Ass-Lickers all around (Was: Lets see what the "experts" say) | 3 | | Mild Shock |
| 9 Jul 25 | Its all about the money, not about quality (Was: Payed Ass-Lickers all around) | 2 | | Mild Shock |
| 9 Jul 25 | A case of dumbification by committee membership? (Was: Its all about the money, not about quality) | 1 | | Mild Shock |
| 15 Jul 25 | The stack overflow user by the name false (Was: Lets see what the "experts" say) | 2 | | Mild Shock |
| 15 Jul 25 | The choice is a little arbitrary from one angle (Re: The stack overflow user by the name false) | 1 | | Mild Shock |
| 4 Aug 25 | Does Scryer Prolog have all tricks up its sleeves? [Occurs Check] (Was: Scryer Prolog totally clueless how DCGs work) | 1 | | Mild Shock |
| 2 Aug 25 | comp.lang.prolog Frequently Asked Questions | 1 | | Markus Triska |
| 12 Nov 24 | How Prolog became an education nightmare (Was: 50 Years of Prolog Nonsense) | 11 | | Mild Shock |
| 12 Nov 24 | Re: How Prolog became an education nightmare (Was: 50 Years of Prolog Nonsense) | 7 | | Mild Shock |
| 14 Nov 24 | Re: How Prolog became an education nightmare (Was: 50 Years of Prolog Nonsense) | 6 | | Mild Shock |
| 14 Nov 24 | Re: How Prolog became an education nightmare (Was: 50 Years of Prolog Nonsense) | 1 | | Mild Shock |
| 14 Nov 24 | Re: How Prolog became an education nightmare (Was: 50 Years of Prolog Nonsense) | 4 | | Julio Di Egidio |
| 14 Nov 24 | Re: How Prolog became an education nightmare (Was: 50 Years of Prolog Nonsense) | 3 | | Mild Shock |
| 14 Nov 24 | Re: How Prolog became an education nightmare (Was: 50 Years of Prolog Nonsense) | 1 | | Mild Shock |
| 15 Nov 24 | Re: How Prolog became an education nightmare (Was: 50 Years of Prolog Nonsense) | 1 | | Julio Di Egidio |
| 14 Nov 24 | Mode yfy to the rescue (Was: How Prolog became an education nightmare) | 1 | | Mild Shock |
| 1 Aug 25 | Cyclic term predicates suffer from ambiguity (Was: How Prolog became an education nightmare) | 2 | | Mild Shock |
| 1 Aug 25 | An ISO term_variables/2 for Cyclic Terms (Was: Cyclic term predicates suffer from ambiguity) | 1 | | Mild Shock |
| 22 Feb 25 | Prolog totally missed the AI Boom | 63 | | Mild Shock |
| 22 Feb 25 | Auto-Encoders as Prolog Fact Stores (Was: Prolog totally missed the AI Boom) | 3 | | Mild Shock |
| 23 Feb 25 | Ignorance in ILP circles confirmed (Was: Auto-Encoders as Prolog Fact Stores) | 1 | | Mild Shock |
| 19 Mar 25 | Neuro infused logic programming [NILP] (Was: Auto-Encoders as Prolog Fact Stores) | 1 | | Mild Shock |
| 7 Mar 25 | Last Exit Analogical Resoning (Was: Prolog totally missed the AI Boom) | 1 | | Mild Shock |
| 25 Mar 25 | A software engineering analyis why Prolog fails (Was: Prolog totally missed the AI Boom) | 3 | | Mild Shock |
| 27 Mar 25 | Lets re-iterate software engineering first! (Was: A software engineering analyis why Prolog fails) | 2 | | Mild Shock |
| 27 Mar 25 | Re: Lets re-iterate software engineering first! (Was: A software engineering analyis why Prolog fails) | 1 | | Mild Shock |
| 23 Jun 25 | No Coders completely Brain Dead (Was: Prolog totally missed the AI Boom) | 16 | | Mild Shock |
| 23 Jun 25 | Unicode and atom length=1 (Was: No Coders completely Brain Dead) | 15 | | Mild Shock |
| 23 Jun 25 | Most radical approach is Novacore from Dogelog Player (Was: Unicode and atom length=1) | 14 | | Mild Shock |
| 23 Jun 25 | SWI-Prolog master not wide awake, doing day-sleeping (Was: Most radical approach is Novacore from Dogelog Player) | 6 | | Mild Shock |
| 23 Jun 25 | Re: SWI-Prolog master not wide awake, doing day-sleeping (Was: Most radical approach is Novacore from Dogelog Player) | 1 | | Mild Shock |
| 23 Jun 25 | The beauty of a double hook (Was: SWI-Prolog master not wide awake, doing day-sleeping) | 1 | | Mild Shock |
| 23 Jun 25 | The beauty of a dual use hook (Was: SWI-Prolog master not wide awake, doing day-sleeping) | 3 | | Mild Shock |
| 23 Jun 25 | maplist(char_code, Chars, Codes) is bidirectional (Was: The beauty of a dual use hook) | 2 | | Mild Shock |
| 23 Jun 25 | I really have lost all hope and given up (Was: maplist(char_code, Chars, Codes) is bidirectional) | 1 | | Mild Shock |
| 27 Jun 25 | Do Prologers know the Unicode Range? (Was: Most radical approach is Novacore from Dogelog Player) | 3 | | Mild Shock |
| 27 Jun 25 | Can Prologers produce 100% Prolog Code? (Was: Do Prologers know the Unicode Range?) | 2 | | Mild Shock |
| 27 Jun 25 | Attention: Python versus Java (Was: Can Prologers produce 100% Prolog Code?) | 1 | | Mild Shock |
| 13 Jul 25 | Is there a Swiss Army Knife of launching a Prolog system (Was: Most radical approach is Novacore from Dogelog Player) | 2 | | Mild Shock |
| 13 Jul 25 | An -e option could be the more rational choice (Was: Is there a Swiss Army Knife of launching a Prolog system) | 1 | | Mild Shock |
| 20 Jul 25 | Prolog Cycle detection in the Top-Level (Was: Most radical approach is Novacore from Dogelog Player) | 2 | | Mild Shock |
| 20 Jul 25 | What does SWI-Prolog / Ciao Prolog produce? (Was: Prolog Cycle detection in the Top-Level) | 1 | | Mild Shock |
| 23 Jun 25 | Do not give dogs what is holy [Matthew 7:6] (Was: Prolog totally missed the AI Boom) | 5 | | Mild Shock |
| 23 Jun 25 | Typo:: Do not give dogs what is holy [Matthew 7:6] (Was: Prolog totally missed the AI Boom) | 4 | | Mild Shock |
| 23 Jun 25 | What WG17 could do to prevent segregation [DEC-10 Prolog (10 November 1982)] (Was: Typo:: Do not give dogs what is holy) | 3 | | Mild Shock |
| 23 Jun 25 | Avoid the cheap tricks by Scryer Prolog (Was: What WG17 could do to prevent segregation [DEC-10 Prolog (10 November 1982)]) | 2 | | Mild Shock |
| 23 Jun 25 | Why tuck the tail in front of a false Messias (Was: Avoid the cheap tricks by Scryer Prolog) | 1 | | Mild Shock |
| 29 Jun 25 | Missed the AI Boom because missed the Emojis (Was: Prolog totally missed the AI Boom) | 2 | | Mild Shock |