1. Forum
  2. USENET
  3. comp.lang.prolog
comp.lang.prolog Frequently Asked Questions

By Markus Triska on Fri Jan 16 06:00:04 2026

Latest reply by Markus Triska on Sun Aug 16 05:00:04 2026
The Wuhan Virus that destroyed Python [ggml Manifesto]

By Mild Shock on Wed Jul 22 21:01:43 2026

Latest reply by Mild Shock on Sat Aug 15 18:47:42 2026
=?UTF-8?Q?ANN:_Dogelog_Player_2.2.5_=28=cf=80-WAM_Channels=29?=

By Mild Shock on Wed Aug 12 02:18:11 2026

Latest reply by Mild Shock on Fri Aug 14 22:03:50 2026
Float enhancements stalled? (Was: VIP0909: VibeCore Improvement Proposal [term_singletons])

By Mild Shock on Sun Mar 22 17:20:58 2026

Latest reply by Mild Shock on Thu Aug 13 22:37:09 2026
Re: Bullshit Authorized by Sarah Connor [EyeProlog Failure] (Re: From Unrusting Blade to Unburning Icarus (Re: The SWI-Prolog community is a circus ))

By Mild Shock on Wed Aug 12 20:29:19 2026

Latest reply by Mild Shock on Wed Aug 12 20:29:19 2026
=?UTF-8?Q?How_fast_is_EyeProlog=2c_do_we_need_=cf=80-WAM=3f_[Budget?= =?UTF-8?Q?_AI_Laptop]?=

By Mild Shock on Wed Aug 12 01:02:32 2026

Latest reply by Mild Shock on Wed Aug 12 20:17:27 2026
VIP0111: Does a Map have a Constructor? (Was: VIP0909: VibeCore Improvement Proposal)

By Mild Shock on Sat Mar 14 18:11:29 2026

Latest reply by Mild Shock on Sun Aug 9 20:25:48 2026
Forget your Sputnik Commodore C64 with 8088 [Logic Tiling] (Re: Hyperspectral Measurements for Inter-Calibration)

By Mild Shock on Mon Jul 27 11:29:38 2026

Latest reply by Mild Shock on Sun Aug 9 19:46:41 2026
=?UTF-8?Q?=cf=80-WAM_Contest:_1_Million_Packets_with_Prolog_=28Was:?= =?UTF-8?Q?_Emulating_ADA_RendezVous_in_=cf=80-WAM=29?=

By Mild Shock on Fri Aug 7 17:48:48 2026

Latest reply by Mild Shock on Sun Aug 9 19:35:54 2026
TESS panorama images

By R Kym Horsell on Sat Aug 8 04:25:06 2026

Latest reply by R Kym Horsell on Sat Aug 8 04:25:06 2026
A Case for Impurity: The Applied Pi Calculus (Was: A logical calculus in nervous activity [McCulloch & Pitts 1943])

By Mild Shock on Tue Aug 4 14:42:52 2026

Latest reply by Mild Shock on Tue Aug 4 14:42:52 2026
Ljubljana School versus Zurich School (Re: Prolog PIP-0110: Its a Floating-Point Multiverse? [Stoic Grisu versus Rest of World] (Re: Arrow Functions can do Existential Quantifier)

By Mild Shock on Mon Aug 3 20:16:38 2026

Latest reply by Mild Shock on Mon Aug 3 20:42:24 2026
=?UTF-8?Q?ANN:_Dogelog_Player_2.2.4_=28Parallel_=cf=80-WAM=29?=

By Mild Shock on Tue Jul 28 00:10:59 2026

Latest reply by Mild Shock on Mon Aug 3 12:11:05 2026
Chris M. Thomasson can ask 100 more questions (Was: Tablet and phone UBS-C remote debugging)

By Mild Shock on Sun Aug 2 02:46:13 2026

Latest reply by Mild Shock on Mon Aug 3 00:01:04 2026
I'm a spinner, I'm a sinner [Dmitry Vyukov for pi-WAM] (Re: Paul Tarau versus Mr. Taskmanager, who would win? [A PDP-11 Humunkulus from 1979]

By Mild Shock on Sun Jul 19 11:55:04 2026

Latest reply by Mild Shock on Sat Aug 1 12:13:34 2026
Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFD

By Ross Finlayson on Mon Jul 27 19:48:22 2026

Latest reply by Mild Shock on Wed Jul 29 11:53:09 2026
Brova you enjoy made up nonsense? [Einstein tech cult] (Re: Hyperspectral Measurements for Inter-Calibration (Re: Logtalk big time salami slicing)

By Mild Shock on Mon Jul 27 17:08:30 2026

Latest reply by Ross Finlayson on Mon Jul 27 18:55:47 2026
From Unrusting Blade to Unburning Icarus (Re: The SWI-Prolog community is a circus )

By Mild Shock on Mon Jul 27 12:18:15 2026

Latest reply by Mild Shock on Mon Jul 27 12:18:15 2026
=?UTF-8?Q?ANN:_Dogelog_Player_2.2.3_=28Introducing_=cf=80-WAM=29?=

By Mild Shock on Tue Jul 7 19:26:50 2026

Latest reply by Mild Shock on Sat Jul 25 03:51:51 2026
Life Experience = Expired Life [Golden Bridge Solutions] (Re: Creating a "European CMOS 2.0 Army")

By Mild Shock on Wed Jul 22 16:48:57 2026

Latest reply by Mild Shock on Wed Jul 22 17:40:25 2026
Economy of Maturation: Mobile HBM Coming! (Re: Creating a "European CMOS 2.0 Army")

By Mild Shock on Wed Jul 22 13:30:40 2026

Latest reply by Mild Shock on Wed Jul 22 16:28:42 2026
=?UTF-8?Q?micro_penis_struggels_with_mobile_grade_GPU_concept_[Redm?= =?UTF-8?Q?i_Note_14_Pro+_Results]_=28Re:_Micro_Penis_Nemesis:_Shoe_String_B?= =?UTF-8?Q?udget_=cf=80-WAM=29?=

By Mild Shock on Sun Jul 12 21:32:31 2026

Latest reply by Mild Shock on Mon Jul 20 19:58:06 2026
Does Variable Age make Sense? [Prolog Unification] (Was: Head to Head Race with Scryer Prolog)

By Mild Shock on Tue Feb 10 12:05:21 2026

Latest reply by Mild Shock on Mon Jul 20 12:34:30 2026
Vanilla Prolog: semi-decidable =\= decidable (Re: Prolog Education Group clueless about the AI Boom?)

By Mild Shock on Sat Mar 14 20:40:00 2026

Latest reply by Mild Shock on Sun Jul 19 16:21:57 2026
APU-style chips load enormous AI models (Re: Creating a "European CMOS 2.0 Army")

By Mild Shock on Thu Jul 16 17:18:45 2026

Latest reply by Mild Shock on Thu Jul 16 23:18:11 2026
Creating a "European CMOS 2.0 Army"

By Mild Shock on Mon Jul 13 07:25:09 2026

Latest reply by Mild Shock on Thu Jul 16 23:09:44 2026
Paul Tarau versus Mr. Taskmanager, who would win? [A PDP-11 Humunkulus from 1979]

By Mild Shock on Fri Apr 24 02:43:26 2026

Latest reply by Mild Shock on Sun Jul 12 19:30:36 2026
ANN: Dogelog Player 2.2.2 (Unified Tabling)

By Mild Shock on Fri May 1 23:28:53 2026

Latest reply by Mild Shock on Sat Jul 4 01:01:04 2026
=?UTF-8?Q?P=28doom=29_is_AI=e2=80=99s_latest_apocalypse_metric_=28R?= =?UTF-8?Q?e:_RDFs_revenge_on_the_AI_Boom_[GraphMERT]=29?=

By Mild Shock on Tue Feb 24 01:06:51 2026

Latest reply by Mild Shock on Sun Jun 21 05:36:37 2026
Univocity of AI: Cat Face Recognition (Was: Best way to use LLMs to augment academic research)

By Mild Shock on Thu Apr 16 22:00:18 2026

Latest reply by Mild Shock on Tue Jun 9 20:10:29 2026
Dan Christensen Revisited [Terrence Tao Benchmark]

By Mild Shock on Fri May 22 08:51:13 2026

Latest reply by Mild Shock on Fri May 22 12:10:30 2026
ChatGPT 5.x so bad, it will give back jobs to Gen Z [Its the Shiiit]

By Mild Shock on Thu Apr 16 03:21:59 2026

Latest reply by Mild Shock on Tue May 19 16:48:25 2026
Buddos Waterloo: Checkpoint McCune (Was: Tensor Logic "Unifies" AI Paradigms [Pedro Domingos]=

By Mild Shock on Sun May 10 16:18:31 2026

Latest reply by Mild Shock on Sun May 10 16:43:14 2026
Scryer Prolog: SLG Tabling not working across findall/3 ? (Was Space Junk might fall on your head [Scryer Prolog WASM])

By Mild Shock on Thu Apr 16 00:29:41 2026

Latest reply by Mild Shock on Thu May 7 12:29:13 2026
ANN: Dogelog Player 2.2.1 (Just-in-Time Indexing)

By Mild Shock on Thu Apr 9 19:59:42 2026

Latest reply by Mild Shock on Fri May 1 12:48:55 2026
How hard is PIP-0110 to implement? (Was: Does Scryer Prolog have all tricks up its sleeves?)

By Mild Shock on Sun Apr 26 22:43:16 2026

Latest reply by Mild Shock on Thu Apr 30 17:49:31 2026
Layoff Tsunami and Defunding Rounds [Burger jobs] (Re: Wait till they figure out that China has also AI)

By Mild Shock on Wed Apr 29 13:11:32 2026

Latest reply by Mild Shock on Wed Apr 29 13:11:32 2026
Logtalks Corleone "olive oil business" [Missed the DOP Bandwagon] (Was: Knock, knock, who is it? Yi-Lightning)

By Mild Shock on Wed Apr 29 11:30:45 2026

Latest reply by Mild Shock on Wed Apr 29 12:50:30 2026
Prolog PIP-0110: Its a Floating-Point Multiverse? [Stoic Grisu versus Rest of World] (Was: Lets see what the "experts" say)

By Mild Shock on Wed Apr 29 00:38:06 2026

Latest reply by Mild Shock on Wed Apr 29 00:38:06 2026
I always liked Paul Tarau / R.I.P. March 10th, 2026

By Mild Shock on Fri Apr 24 01:37:31 2026

Latest reply by Mild Shock on Fri Apr 24 01:37:31 2026
Nexpert Object: Realtime Abduction and Explanation [The glorious 80's Expertsystems]

By Mild Shock on Thu Apr 16 16:23:55 2026

Latest reply by Mild Shock on Thu Apr 16 16:23:55 2026
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example

By olcott on Fri Apr 3 08:35:19 2026

Latest reply by Mikko on Fri Apr 10 10:32:50 2026
ANN: Dogelog Player 2.1.6 (Assertion Sharing)

By Mild Shock on Fri Mar 20 18:29:04 2026

Latest reply by Mild Shock on Thu Apr 9 12:50:11 2026
Prolog vendors don't understand Tabling anymore (Was: Heads will roll: AI means PANIC.)

By Mild Shock on Sat Apr 4 14:03:42 2026

Latest reply by Mild Shock on Sat Apr 4 14:04:27 2026
Dec-10 Prolog code for repeat/1

By Mild Shock on Wed Apr 1 16:42:36 2026

Latest reply by Mild Shock on Wed Apr 1 16:42:36 2026
When Supercomputing discovered BFS (Was: Heads will roll: AI means PANIC)

By Mild Shock on Fri Mar 27 15:44:52 2026

Latest reply by Mild Shock on Fri Mar 27 15:44:52 2026
Re: Heads will roll: AI means PANIC.

By Tristan Wibberley on Tue Mar 24 22:07:37 2026

Latest reply by Tristan Wibberley on Tue Mar 24 22:07:37 2026
ANN: Dogelog Player 2.1.5 (Basic Indexicals)

By Mild Shock on Mon Feb 23 19:15:59 2026

Latest reply by Mild Shock on Fri Mar 20 07:42:24 2026
=?UTF-8?Q?Kaffeekr=c3=a4nzchen_mit_ChatGPT_=28Re:_Heads_will_roll:_?= =?UTF-8?Q?AI_means_PANIC=29?=

By Mild Shock on Tue Mar 17 18:22:51 2026

Latest reply by Mild Shock on Tue Mar 17 18:22:51 2026
100% Prolog Hash map beats SWI C Trie (Was: VIP0111: Does a Map have a Constructor?)

By Mild Shock on Tue Mar 17 04:07:39 2026

Latest reply by Mild Shock on Tue Mar 17 04:07:39 2026
Its on the Internet, so it must be true? (Was: Vanilla Prolog: semi-decidable =\= decidable)

By Mild Shock on Mon Mar 16 11:01:10 2026

Latest reply by Mild Shock on Mon Mar 16 11:01:10 2026
Terrence Tao: On Jan 4, ChatGPT was able to produce a proof Erdos #728 (Re: AI solves probl;em Knuth was/is working on!)

By Mild Shock on Sat Mar 7 12:00:31 2026

Latest reply by Mild Shock on Mon Mar 9 11:31:26 2026
DeepSeekMath: From psychophysischer Parallelismus to GPRO (Re: Odysseus PTSD: Does Function need Consistency?)

By Mild Shock on Fri Mar 6 02:29:12 2026

Latest reply by Mild Shock on Fri Mar 6 02:29:12 2026
2026 the Year Prolog **plonked** Itself [Strawberry Prolog is back] (Was: Im memoriam Doug Lenant (1950 - 2023))

By Mild Shock on Wed Feb 4 02:20:41 2026

Latest reply by Mild Shock on Sat Feb 28 16:36:27 2026
=?UTF-8?Q?Lion_and_Unicorn:_H=c3=a5kan_Kjellerstrand_R.I.P.?=

By Mild Shock on Mon Feb 23 20:53:22 2026

Latest reply by Mild Shock on Mon Feb 23 20:53:22 2026
ANN: Dogelog Player 2.1.4 (Railgun CLP)

By Mild Shock on Thu Jan 22 15:40:49 2026

Latest reply by Mild Shock on Wed Feb 18 00:00:09 2026
=?UTF-8?Q?ANN:_CulotteTalk=e2=84=a2_=e2=80=94_the_only_logic_langua?= =?UTF-8?Q?ge_with_thermal_semantics.?=

By Mild Shock on Fri Feb 13 14:55:37 2026

Latest reply by Mild Shock on Fri Feb 13 14:55:37 2026
Ethernal African Hut with Boiling Water Prolog [Quantum Pingeons]

By Mild Shock on Fri Feb 13 07:42:42 2026

Latest reply by Mild Shock on Fri Feb 13 07:42:42 2026
Die Geschichte von Ludwig XIV [AI is not Dead]

By Mild Shock on Mon Jan 19 23:04:31 2026

Latest reply by Mild Shock on Tue Feb 10 10:48:31 2026
Changing the foundational basis to Proof Theoretic Semantics Tarski Undefinability is overcome

By olcott on Thu Feb 5 10:55:56 2026

Latest reply by athel.cb@gmail.com on Sun Feb 8 11:34:10 2026
When halt provers are allowed to reject bad inputs the remaining domain is decidable

By olcott on Wed Feb 4 10:47:50 2026

Latest reply by Mikko on Thu Feb 5 12:45:28 2026
Halting Problem and Proof Theoretic Semantics --- VALIDATED

By olcott on Sun Feb 1 21:59:46 2026

Latest reply by olcott on Sun Feb 1 21:59:46 2026
Railgun CLP versus Scryer Prolog [Euler #30 Variant] (Was: Who will win the new Prolog race?)

By Mild Shock on Fri Jan 30 02:10:50 2026

Latest reply by Mild Shock on Fri Jan 30 02:10:50 2026
Well-founded proof theoretic semantics eliminates undecidability V3

By olcott on Thu Jan 22 11:40:31 2026

Latest reply by Richard Damon on Sat Jan 24 14:52:01 2026
Magic square of squares [Richard Guy] (Re: Chad Brown's Megalodon goes LLM)

By Mild Shock on Thu Jan 22 01:40:20 2026

Latest reply by Mild Shock on Thu Jan 22 01:40:20 2026
Supersonic FF for Railgun CLP(FD) (Was: Porting Railgun CLP(FD) to SWI-Prolog)

By Mild Shock on Wed Jan 21 21:24:29 2026

Latest reply by Mild Shock on Wed Jan 21 21:24:29 2026
Re: What formal logical systems resolve the Liar Paradox?

By Richard Damon on Wed Jan 14 21:57:59 2026

Latest reply by Mikko on Sun Jan 18 13:54:13 2026
Re: The Halting Problem asks for too much

By olcott on Wed Jan 14 13:35:58 2026

Latest reply by Mikko on Sun Jan 18 13:27:00 2026
=?UTF-8?Q?Re=3A_Closing_the_gap_of_G=C3=B6del_Incompleteness_with_P?= =?UTF-8?Q?roof-Theoretic_Semantics?=

By olcott on Sat Jan 17 09:54:03 2026

Latest reply by Mikko on Sun Jan 18 13:18:01 2026
Proof Theoretic Semantics Blocks Pathological Self-Reference

By olcott on Fri Jan 16 11:47:53 2026

Latest reply by Mikko on Sun Jan 18 11:51:43 2026
The halting problem proof fails under operational semantics

By olcott on Wed Jan 14 18:14:25 2026

Latest reply by Richard Damon on Thu Jan 15 06:50:36 2026
Re: A new foundation for correct reasoning

By Mikko on Thu Dec 11 10:42:16 2025

Latest reply by olcott on Mon Dec 15 08:03:04 2025