1. Forum
  2. Newsgroups
  3. comp.lang.prolog
WebPL is already outdated

By Mild Shock on Sun Aug 17 18:37:07 2025

Latest reply by Mild Shock on Tue Oct 21 00:32:55 2025
Prolog missed a Billion Dollar Business Model [DGX Spark ]

By Mild Shock on Mon Oct 20 21:32:34 2025

Latest reply by Mild Shock on Mon Oct 20 21:50:12 2025
RDFs revenge on the AI Boom [GraphMERT]

By Mild Shock on Mon Oct 20 02:38:29 2025

Latest reply by Mild Shock on Mon Oct 20 12:59:50 2025
ANN: Dogelog Player 2.1.1 (Sky Limit)

By Mild Shock on Thu Oct 2 15:11:36 2025

Latest reply by Mild Shock on Fri Oct 17 13:48:29 2025
Ben Bacarisse is named because he was the best reviewer on this point

By olcott on Fri Oct 17 13:32:50 2025

Latest reply by olcott on Fri Oct 17 13:32:50 2025
Fundamentals of parsing, an AI conversation and definition of "protophora" (by way of Rossy Boy)

By Mild Shock on Tue Oct 14 12:36:35 2025

Latest reply by Mild Shock on Tue Oct 14 13:51:16 2025
ISO Prolog and yet another stinking pile of crap

By Julio Di Egidio on Fri Oct 10 23:33:20 2025

Latest reply by Mild Shock on Mon Oct 13 09:34:46 2025
Can ISO 13211-1 (1996) adress the significat problem?

By Mild Shock on Fri Oct 10 11:13:33 2025

Latest reply by Mild Shock on Fri Oct 10 12:22:14 2025
There is something like SuperPrologs ? [SWI, ECLiPSe, etc..] (Was:comp.lang.prolog Frequently Asked Questions)

By Mild Shock on Tue Jul 15 13:24:23 2025

Latest reply by Mild Shock on Fri Oct 10 10:22:45 2025
=?UTF-8?Q?=f0=9f=98=82_=22Plog-like=22_-_that_should_be_the_officia?==?UTF-8?Q?l_term!?=

By Mild Shock on Wed Oct 8 01:14:59 2025

Latest reply by Mild Shock on Wed Oct 8 01:23:04 2025
Vanishing Point . [Le Dot]

By Mild Shock on Sun Oct 5 00:51:50 2025

Latest reply by Mild Shock on Tue Oct 7 19:55:04 2025
User @false is exaggerating as usual

By Mild Shock on Tue Oct 7 10:30:03 2025

Latest reply by Mild Shock on Tue Oct 7 19:06:31 2025
Abstraction Engine / Pattern-Amplification AI Avalanche [Java to C#translation] (Re: Prologers are hurt the most by LLMs)

By Mild Shock on Sat Oct 4 15:50:13 2025

Latest reply by Mild Shock on Sat Oct 4 16:04:43 2025
ANN: Dogelog Player 1.3.6 (Canonical Compare)

By Mild Shock on Thu Aug 21 15:44:28 2025

Latest reply by Mild Shock on Thu Oct 2 14:05:07 2025
Who will win the new Prolog race? SWI or Scryer?

By Mild Shock on Sun Sep 28 08:57:14 2025

Latest reply by Mild Shock on Tue Sep 30 21:53:23 2025
USA is still Shitting its Pants [Artificial Intelligence]

By Mild Shock on Wed Jan 22 18:41:16 2025

Latest reply by Mild Shock on Tue Sep 30 08:40:37 2025
Autum Challenge 2025: Canonical Proof Search

By Mild Shock on Sun Sep 28 23:52:27 2025

Latest reply by Mild Shock on Sun Sep 28 23:52:27 2025
How SWI-Prolog went down hills

By Mild Shock on Sat Sep 27 19:50:50 2025

Latest reply by Mild Shock on Sun Sep 28 14:41:50 2025
VIP0909: VibeCore Improvement Proposal [Jaffar's Algorithm]

By Mild Shock on Sat Sep 27 19:26:53 2025

Latest reply by Mild Shock on Sat Sep 27 19:34:47 2025
Help, my GPT detector doesn't allow https://stackoverflow.ai/

By Mild Shock on Wed Sep 10 23:54:30 2025

Latest reply by Mild Shock on Thu Sep 25 10:29:48 2025
Can Ulrich Neumerkel or Markus Triska fix that? (Was: Wikipedia isclueless about cyclic terms)

By Mild Shock on Mon Sep 22 15:14:43 2025

Latest reply by Mild Shock on Mon Sep 22 23:34:58 2025
Cyclic terms are missing from "Fifty Years of Prolog and Beyond (TPLP2022)"

By Mild Shock on Mon Sep 22 14:54:53 2025

Latest reply by Mild Shock on Mon Sep 22 15:05:16 2025
String lists can be a nightmare [WebPL]

By Mild Shock on Fri Sep 5 17:57:52 2025

Latest reply by Mild Shock on Fri Sep 5 18:02:44 2025
The Million Dollar question of Prolog

By Mild Shock on Sat Aug 23 14:54:17 2025

Latest reply by Mild Shock on Fri Sep 5 12:13:01 2025
Novacore goes Bisimulation: Scryer Prolog is Slow!

By Mild Shock on Fri Jul 25 13:51:57 2025

Latest reply by Mild Shock on Sun Aug 24 14:44:11 2025
The roots Program Sharing (PS): J Strother Moore II (1973)

By Mild Shock on Mon Aug 18 17:53:26 2025

Latest reply by Mild Shock on Thu Aug 21 03:31:47 2025
ANN: Dogelog Player 1.3.5 (Cyclic Terms)

By Mild Shock on Sat Aug 2 15:44:09 2025

Latest reply by Mild Shock on Wed Aug 20 14:52:47 2025
Prolog Education Group clueless about the AI Boom?

By Mild Shock on Mon Mar 3 14:18:40 2025

Latest reply by Mild Shock on Sun Aug 17 18:24:15 2025
=?UTF-8?Q?Mercio=e2=80=99s_Algorithm_for_Rational_Tree_Compare_in_P?==?UTF-8?Q?rolog?=

By Mild Shock on Mon Aug 4 02:52:25 2025

Latest reply by Mild Shock on Sat Aug 16 12:42:20 2025
=?UTF-8?Q?Dushnik=e2=80=93Miller_theorem_[1940]_=28Was:_VIP0909:_Vi?==?UTF-8?Q?beCore_Improvement_Proposal_[term=5fsingletons]=29?=

By Mild Shock on Mon Aug 11 14:31:14 2025

Latest reply by Mild Shock on Mon Aug 11 14:50:39 2025
VIP0909: VibeCore Improvement Proposal

By Mild Shock on Mon Aug 11 11:35:05 2025

Latest reply by Mild Shock on Mon Aug 11 11:35:05 2025
Vibe Check Successfully Passed

By Mild Shock on Fri Aug 8 20:50:08 2025

Latest reply by Mild Shock on Fri Aug 8 20:57:59 2025
=?UTF-8?Q?Fathers_of_Bisimulation:_Robin_Milner_=281934=e2=80=93201?==?UTF-8?Q?0=29?=

By Mild Shock on Mon Jul 21 14:28:26 2025

Latest reply by Mild Shock on Wed Aug 6 15:10:20 2025
Scryer Prolog totally clueless how DCGs work

By Mild Shock on Wed Jul 9 11:33:39 2025

Latest reply by Mild Shock on Mon Aug 4 19:47:36 2025
Cyclic term predicates suffer from ambiguity (Was: How Prolog becamean education nightmare)

By Mild Shock on Fri Aug 1 02:47:15 2025

Latest reply by Mild Shock on Fri Aug 1 03:01:18 2025
Prolog totally missed the AI Boom

By Mild Shock on Sat Feb 22 13:05:41 2025

Latest reply by Mild Shock on Sat Jul 26 16:36:35 2025
ANN: Dogelog Player 1.3.4 (Interactive Debugger)

By Mild Shock on Mon Jul 7 00:09:05 2025

Latest reply by Julio Di Egidio on Wed Jul 23 12:47:06 2025
On the order of cyclic terms (Was: Mild Block(s))

By Julio Di Egidio on Sun Jul 20 16:15:25 2025

Latest reply by Mild Shock on Mon Jul 21 10:59:18 2025
Julio: How to sort rational trees in Prolog? (Was: How to formalizedependent setoid morphisms?

By Mild Shock on Sun Jul 20 23:22:12 2025

Latest reply by Mild Shock on Mon Jul 21 01:56:06 2025
The Ghosts in my Cabinet: Indexing

By Mild Shock on Thu Jul 10 12:45:32 2025

Latest reply by Mild Shock on Sun Jul 20 15:13:56 2025
Semantic Indexing: Scaling Proofs as Programs

By Mild Shock on Wed Jul 16 11:54:47 2025

Latest reply by Mild Shock on Wed Jul 16 12:08:22 2025
Amzi! Retirement: 2026 is only next year (Was: comp.lang.prologFrequently Asked Questions)

By Mild Shock on Sun Jul 13 15:11:28 2025

Latest reply by Mild Shock on Tue Jul 15 01:28:01 2025
Interview with an Emacs Enthusiast [Colorized]

By Mild Shock on Sat Jun 14 23:10:06 2025

Latest reply by Mild Shock on Wed Jul 9 03:51:33 2025
ANN: Dogelog Player 1.3.3 (Dark Mode)

By Mild Shock on Thu Jun 19 12:42:51 2025

Latest reply by Mild Shock on Wed Jul 9 02:03:27 2025
Noacore is a Prolog profile that explores various relaxations

By Mild Shock on Fri Mar 21 19:16:19 2025

Latest reply by Mild Shock on Wed Jul 2 16:06:00 2025
Jazelle DBX and ARM926EJ-S ~~> Pantilope

By Mild Shock on Sat Jun 28 01:26:40 2025

Latest reply by Mild Shock on Sun Jun 29 13:13:01 2025
Prolog missed the Web 2.0 Bandwagon

By Mild Shock on Fri Jun 20 21:13:14 2025

Latest reply by Mild Shock on Wed Jun 25 15:19:32 2025
Is there room to adopt a flag strict_iso?

By Mild Shock on Tue Jun 24 18:00:28 2025

Latest reply by Mild Shock on Tue Jun 24 18:06:13 2025
Java and OpenJFX or JavaScript and WHATWG?

By Mild Shock on Tue Jun 17 10:47:07 2025

Latest reply by Mild Shock on Thu Jun 19 17:47:18 2025
Biggest Nonsense are Run Buttons in SWISH Notebooks

By Mild Shock on Sun Jun 15 03:40:03 2025

Latest reply by Mild Shock on Sun Jun 15 14:10:37 2025
Self-Tuning GC in Dogelog Player (Was: ANN: Dogelog Player 1.3.2 (XML Interpolation))

By Mild Shock on Tue May 27 23:00:08 2025

Latest reply by Mild Shock on Sat Jun 14 22:22:20 2025
The Hawk Never Dies, but apparently this webpage did (Was:comp.lang.prolog Frequently Asked Questions)

By Mild Shock on Mon Jun 2 12:37:27 2025

Latest reply by Mild Shock on Fri Jun 6 16:49:13 2025
Streamable DOM and obsolete put_code/[1,2]

By Mild Shock on Wed Apr 2 11:51:20 2025

Latest reply by Mild Shock on Thu Jun 5 09:54:43 2025
DCGs are dead: ROKs transformation from FGCS 1982

By Mild Shock on Wed Jun 4 16:50:51 2025

Latest reply by Mild Shock on Wed Jun 4 23:00:37 2025
Compiler Explorer is an interactive compiler exploration website

By Mild Shock on Tue Jun 3 12:49:44 2025

Latest reply by Mild Shock on Tue Jun 3 12:49:44 2025
Who was Fernando Pereira?

By Mild Shock on Mon Jun 2 10:43:03 2025

Latest reply by Mild Shock on Mon Jun 2 11:03:57 2025
=?UTF-8?Q?Prolog_Development_=c3=a0_la_Sigmund_Freud_=28Was:_Ulrich?==?UTF-8?Q?_Neumerkel_is_like_Ozzy_Osbourne=29?=

By Mild Shock on Sun May 25 09:46:57 2025

Latest reply by Mild Shock on Wed May 28 16:32:34 2025
AI: Choose your favorite McDonald, Burger King, etc..

By Mild Shock on Fri May 23 13:31:15 2025

Latest reply by Mild Shock on Fri May 23 13:31:15 2025
The story of Sam & Jony

By Mild Shock on Wed May 21 21:43:04 2025

Latest reply by Mild Shock on Wed May 21 21:56:30 2025
FYI, a snapshot of the open math copilot race

By Mild Shock on Tue May 20 07:54:55 2025

Latest reply by Mild Shock on Tue May 20 07:54:55 2025
Is old school mode directed compilation dead? (Was: thank you for theFLOPs)

By Mild Shock on Fri Jan 24 17:57:17 2025

Latest reply by Mild Shock on Mon May 19 10:54:05 2025
comp.lang.prolog Frequently Asked Questions

By Markus Triska on Thu Jan 16 05:57:54 2025

Latest reply by Markus Triska on Fri May 16 05:00:03 2025
BigNums: JavaScript is killing it [Node.js v24.0.1]

By Mild Shock on Sun May 11 11:36:29 2025

Latest reply by Mild Shock on Wed May 14 11:59:39 2025
ANN: Dogelog Player 1.3.1 (Higher Order)

By Mild Shock on Tue Mar 25 18:08:01 2025

Latest reply by NotAorB on Mon May 12 16:33:52 2025
ANN: Dogelog Player 1.3.2 (XML Interpolation)

By Mild Shock on Fri May 9 11:24:18 2025

Latest reply by Mild Shock on Fri May 9 11:25:50 2025
How to project variables? [PIP-4711: Marked Variables]

By Mild Shock on Fri Apr 11 12:42:11 2025

Latest reply by Mild Shock on Fri Apr 11 12:59:12 2025
The shortest DOM machine I have ever written [Not an Aprils Fooljoke]

By Mild Shock on Wed Apr 2 23:07:58 2025

Latest reply by Mild Shock on Wed Apr 2 23:12:12 2025
Higher Order Logic Programming and Autograd

By Mild Shock on Tue Mar 11 13:02:47 2025

Latest reply by Mild Shock on Sun Mar 16 23:07:47 2025
ANN: Dogelog Player 1.3.0 (Graph Plotting)

By Mild Shock on Wed Feb 26 14:10:17 2025

Latest reply by Mild Shock on Fri Mar 14 13:22:53 2025
Spring 2025 Challenge: TicTacToe Transformer

By Mild Shock on Mon Feb 24 23:34:34 2025

Latest reply by Mild Shock on Sun Mar 2 22:39:27 2025
ANN: Dogelog Player 1.2.6 (Segmented Fileaccess)

By Mild Shock on Thu Jan 23 10:20:10 2025

Latest reply by Mild Shock on Thu Feb 20 11:21:01 2025
Deephaven inspired me to name a predicate [first_by/2]

By Mild Shock on Mon Feb 10 18:44:56 2025

Latest reply by olcott on Sun Feb 16 12:54:44 2025
Divide, Conquer and Loose [Limitations of AI]

By Mild Shock on Sun Feb 9 16:02:57 2025

Latest reply by Mild Shock on Sun Feb 9 16:02:57 2025
Knock, knock, who is it? Yi-Lightning (Was: Wait till they figure outthat China has also AI)

By Mild Shock on Tue Jan 28 01:34:32 2025

Latest reply by Mild Shock on Sat Feb 8 12:57:10 2025
The singularity is at the end of the rainbow

By Mild Shock on Sun Jan 26 01:06:44 2025

Latest reply by Mild Shock on Mon Jan 27 12:23:28 2025
Secret Sauce of Dana Scott and Raymond Smullyan

By Mild Shock on Sat Jan 18 01:15:36 2025

Latest reply by Mild Shock on Sat Jan 18 01:15:36 2025
Combinatorial Simple Typed Solution (Was: Advent of Logic 2024:Weekend 1)

By Mild Shock on Fri Jan 17 11:59:35 2025

Latest reply by Mild Shock on Fri Jan 17 11:59:35 2025
First sign of AGI: OpenAI Job listings gone (Was: Did you compareOpenAI to Anthropic)

By Mild Shock on Tue Jan 14 19:41:24 2025

Latest reply by Mild Shock on Tue Jan 14 19:41:24 2025