1. Forum
  2. USENET
  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 Wed Oct 15 04:33:12 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
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 Sun Oct 12 00:38:03 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
comp.lang.prolog Frequently Asked Questions

By Markus Triska on Wed Jul 16 05:00:03 2025

Latest reply by Markus Triska on Thu Oct 2 04:58:29 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
With MedGamma I can analyse my own broken ribs (Was: USA is still Shitting its Pants [Artificial Intelligence])

By Mild Shock on Mon Sep 29 22:32:20 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 [term_singletons]

By Mild Shock on Mon Aug 11 11:38:08 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
Cyclic terms are missing from "Fifty Years of Prolog and Beyond (TPLP 2022)"

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

Latest reply by Mild Shock on Mon Sep 22 23:34:58 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
=?UTF-8?Q?FYI:_Philip_Zucker=e2=80=99s_Co-Egraphs_=28Was:_Prolog_Ed?= =?UTF-8?Q?ucation_Group_clueless_about_the_AI_Boom=3f=29?=

By Mild Shock on Tue Aug 12 18:37:13 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
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 became an 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
The Prolog Community is extremly embarrassing (Was: Prolog totally missed the AI Boom)

By Mild Shock on Fri Jul 25 21:27:28 2025

Latest reply by Mild Shock on Sat Jul 26 16:36:35 2025
Looks like sorting of rational trees needs an existential type (Was: Prolog totally missed the AI Boom)

By Mild Shock on Wed Jul 23 13:57:20 2025

Latest reply by Mild Shock on Wed Jul 23 19:14:13 2025
Will the world build on American Stacks? (Was: Prolog totally missed the AI Boom)

By Mild Shock on Mon Jul 14 15:55:49 2025

Latest reply by Mild Shock on Wed Jul 23 19:10:09 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
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
Prolog Cycle detection in the Top-Level (Was: Most radical approach is Novacore from Dogelog Player)

By Mild Shock on Sun Jul 20 13:39:42 2025

Latest reply by Mild Shock on Sun Jul 20 13:43:45 2025
=?UTF-8?Q?Would_Poincar=c3=a9_miss_the_AI_Boom_=28Was:_Prolog_total?= =?UTF-8?Q?ly_missed_the_AI_Boom=29?=

By Mild Shock on Thu Jul 10 19:17:12 2025

Latest reply by Mild Shock on Thu Jul 17 12:00:27 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
Can CLAM do bidrectional rounding? (Was: Australian Longest Straight Road in Prolog)

By Mild Shock on Mon Jul 14 16:15:51 2025

Latest reply by Mild Shock on Tue Jul 15 01:28:01 2025
The cult of CLAM / Clojure rewrite utility (Was: Prolog can keep up with the AI Boom [Forget about CLAM])

By Mild Shock on Sun Jul 13 15:43:33 2025

Latest reply by Mild Shock on Sun Jul 13 15:49:41 2025
Is there a Swiss Army Knife of launching a Prolog system (Was: Most radical approach is Novacore from Dogelog Player)

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

Latest reply by Mild Shock on Sun Jul 13 15:19:09 2025
Amzi! Retirement: 2026 is only next year (Was: comp.lang.prolog Frequently Asked Questions)

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

Latest reply by Mild Shock on Sun Jul 13 15:11:28 2025
Founding an IDE business / Red Bull gives you Wings (Was: Interview with an Emacs Enthusiast [Colorized])

By Mild Shock on Tue Jul 8 16:37:06 2025

Latest reply by Mild Shock on Wed Jul 9 03:51:33 2025
Bart Demoen's amageddon revisited (Was: Prolog totally missed the AIBoom)

By Mild Shock on Wed Jul 9 01:55:04 2025

Latest reply by Mild Shock on Wed Jul 9 02:23:02 2025
Ciao Playground debugger looks quite cute now! (Was: PrologNecronomicon: Write an Interactive Debugger!)

By Mild Shock on Wed Jul 9 02:03:27 2025

Latest reply by Mild Shock on Wed Jul 9 02:03:27 2025