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

By Markus Triska on Thu Oct 16 05:00:03 2025

Latest reply by Markus Triska on Mon Mar 2 06:00:04 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
RDFs revenge on the AI Boom [GraphMERT]

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

Latest reply by Mild Shock on Tue Feb 24 01:06:51 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.5 (Basic Indexicals)

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

Latest reply by Mild Shock on Mon Feb 23 19:15:59 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
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
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 Tue Feb 10 12:05:21 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 Richard Damon on Mon Feb 9 22:47:26 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
Boris / EricGT: Why dont you tap into TAP? (Was: Boris the Loris and the American Fuzzy Lop)

By Mild Shock on Tue Nov 18 23:00:41 2025

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
Good Morning, Vietnam! Sudoku 2026 Challenge

By Mild Shock on Mon Jan 5 12:11:58 2026

Latest reply by Mild Shock on Thu Jan 22 01:40:20 2026
ANN: Dogelog Player 2.1.3 (Dot Notation)

By Mild Shock on Mon Nov 24 11:56:17 2025

Latest reply by Mild Shock on Wed Jan 21 21:24:29 2026
Prolog formally resolves the Liar Paradox

By olcott on Thu Jan 8 17:28:22 2026

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

By olcott on Tue Jan 6 22:44:13 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
Carol's question + my Prolog are a convincing combination

By olcott on Mon Dec 22 10:39:47 2025

Latest reply by Richard Damon on Mon Dec 22 15:22:41 2025
Re: A new foundation for correct reasoning

By olcott on Fri Dec 5 11:43:41 2025

Latest reply by olcott on Mon Dec 15 08:03:04 2025
Tensor Logic "Unifies" AI Paradigms [Pedro Domingos] (Re: From Framing to Mirroring [AI Boom])

By Mild Shock on Mon Dec 8 15:52:18 2025

Latest reply by Mild Shock on Wed Dec 10 15:00:43 2025
Re: New formal foundation for correct reasoning makes True(X) computable

By olcott on Fri Dec 5 11:40:45 2025

Latest reply by olcott on Mon Dec 8 13:44:50 2025
The French Square Wheele Bicycle of Logic (Re: Secret Sauce of Dana Scott and Raymond Smullyan)

By Mild Shock on Fri Dec 5 19:54:54 2025

Latest reply by Mild Shock on Fri Dec 5 20:12:07 2025
Alain Colmerauer: Prologia cirque (Re: Secret Sauce of Dana Scott and Raymond Smullyan)

By Mild Shock on Thu Dec 4 22:52:01 2025

Latest reply by Mild Shock on Fri Dec 5 16:08:34 2025
The Clown World of Joseph Vidal Rosset (Re: Philosophize not God, Philosophize the Door Knob)

By Mild Shock on Thu Dec 4 11:26:48 2025

Latest reply by Mild Shock on Thu Dec 4 22:40:05 2025
Orbits of planets in the Sol System

By Thomas 'PointedEars' Lahn on Thu Dec 4 03:30:19 2025

Latest reply by Thomas 'PointedEars' Lahn on Thu Dec 4 03:30:19 2025
Orbits of planets in the Sol System (was: newsreader where you can see the message source)

By Thomas 'PointedEars' Lahn on Thu Dec 4 03:29:08 2025

Latest reply by Thomas 'PointedEars' Lahn on Thu Dec 4 03:29:08 2025
=?UTF-8?Q?Attacking_the_Busy_Beaver_5_[1989]_=28Re:_The_size_of_a_G?= =?UTF-8?Q?=c3=b6del_sentence_G=29?=

By Mild Shock on Wed Dec 3 09:12:48 2025

Latest reply by Mild Shock on Wed Dec 3 09:12:48 2025
What is analog computing nowadays? (Re: An old Busy Beaver ASIC (Application-Specific Integrated Circuit) (Was: Could AlphaEvolve find the sixth busy beaver ?)

By Mild Shock on Mon Dec 1 11:25:35 2025

Latest reply by Thomas 'PointedEars' Lahn on Wed Dec 3 08:02:15 2025
What Spock aka Thomas 'PointedEars' Lahn missed (Was: Different Hubble Theories: de Sitter Energy)

By Mild Shock on Wed Dec 3 01:09:31 2025

Latest reply by Mild Shock on Wed Dec 3 01:09:31 2025
newsreader where you can see the message source (Was: What if of the cosmos does a BB dance?)

By Mild Shock on Tue Dec 2 00:00:12 2025

Latest reply by Mild Shock on Tue Dec 2 23:29:33 2025
Spock thinks I am interested in his gibberish (Re: You shouldn't use NPM hacked services)

By Mild Shock on Tue Dec 2 23:25:05 2025

Latest reply by Mild Shock on Tue Dec 2 23:25:05 2025
Could AlphaEvolve find the sixth busy beaver ?

By Mild Shock on Sun Nov 30 13:36:52 2025

Latest reply by Mild Shock on Tue Dec 2 00:22:25 2025
POINT OF VIEW OF AN ALGORITHM (Re: Algorithm introduced in Hogwild! SGD (Niu et al., 2011)) (Re: parallel random-access machine)

By Mild Shock on Mon Dec 1 23:12:14 2025

Latest reply by Mild Shock on Mon Dec 1 23:53:21 2025
Linux kernel's RCU-protected hash tables (Re: Algorithm introduced in Hogwild! SGD (Niu et al., 2011))

By Mild Shock on Mon Dec 1 22:26:06 2025

Latest reply by Mild Shock on Mon Dec 1 22:40:20 2025
SWI Agent Provocateur gets kicked out of Rocq? (Re: Coq/Rocq and how to completely break it)

By Mild Shock on Sun Nov 30 10:28:04 2025

Latest reply by Mild Shock on Sun Nov 30 12:55:11 2025
AI most hated by formal verification (Was: Fuzzy Testing is your Swiss Knife)

By Mild Shock on Wed Nov 26 17:02:37 2025

Latest reply by Mild Shock on Fri Nov 28 15:12:29 2025
GENESIS MISSION: Loosing it over Deep Pokets [Business wants A-Life] (Was: Prolog Education Group clueless about the AI Boom?)

By Mild Shock on Wed Nov 26 18:07:13 2025

Latest reply by Mild Shock on Wed Nov 26 18:07:13 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 Wed Nov 26 14:14:47 2025
=?UTF-8?Q?Strudel_Rust_gives_Scryer_Frust_=f0=9f=92=a9:_Try_C+20_Pi?= =?UTF-8?Q?pes_=28Was:_Fishy_=f0=9f=90=9f_in_Scryer_Prolog_and_SWI-Prolog=28?=

By Mild Shock on Tue Nov 25 22:55:40 2025

Latest reply by Mild Shock on Tue Nov 25 22:55:40 2025
=?UTF-8?Q?Philosophical_Twist_due_to_negligence_=28Was:_Rene_Descar?= =?UTF-8?Q?tes_=22Discours_de_la_m=c3=a9thode=22_has_fizzled_out=29?=

By Mild Shock on Fri Nov 14 11:43:52 2025

Latest reply by Mild Shock on Tue Nov 25 20:14:49 2025
Prototype-Based Programming in Dogelog Player (Was: ANN: Dogelog Player 2.1.2)

By Mild Shock on Wed Oct 29 10:26:02 2025

Latest reply by Mild Shock on Sun Nov 23 22:22:54 2025
Re: Does a Prologer know web 1.0 from web 2.0? (Was: Interview with an Emacs Enthusiast [Colorized])

By Tristan Wibberley on Thu Nov 20 18:38:13 2025

Latest reply by Tristan Wibberley on Thu Nov 20 18:38:13 2025
XPCE widefont -> narrow

By Tristan Wibberley on Thu Nov 20 17:48:55 2025

Latest reply by Tristan Wibberley on Thu Nov 20 17:48:55 2025
Taiwan pulverized: CHIPX by Turing Quantum (Re: The 9 most powerful supercomputers)

By Mild Shock on Thu Nov 20 11:55:57 2025

Latest reply by Mild Shock on Thu Nov 20 11:55:57 2025
Re: How teach logic? [The Jokes] (Re: People that have a very shallow understanding of these things)

By olcott on Tue Nov 18 16:02:06 2025

Latest reply by Mild Shock on Wed Nov 19 11:14:48 2025
Arrow Functions! @Strudel Live Coding Music

By Mild Shock on Sat Nov 15 13:49:26 2025

Latest reply by Mild Shock on Tue Nov 18 12:30:35 2025
=?UTF-8?Q?Rene_Descartes_=22Discours_de_la_m=c3=a9thode=22_has_fizz?= =?UTF-8?Q?led_out?=

By Mild Shock on Fri Nov 14 11:17:41 2025

Latest reply by Mild Shock on Fri Nov 14 11:26:41 2025
The joy of running an AI Model on your AI Laptop [Local AI] (Re: USA domestic chips for the never ending crunch)

By Mild Shock on Tue Nov 11 21:15:21 2025

Latest reply by Mild Shock on Thu Nov 13 23:05:04 2025
Meta is Dust: Yann LeCun crushed by Behemoth China (Re: Did you compare OpenAI to Anthropic)

By Mild Shock on Thu Nov 13 19:05:23 2025

Latest reply by Mild Shock on Thu Nov 13 19:14:15 2025
Sleepy Joe and the Poor South (Local AI Emacs Mode) (Re: Prolog Education Group clueless about the AI Boom?)

By Mild Shock on Wed Nov 12 12:59:35 2025

Latest reply by Mild Shock on Wed Nov 12 13:12:29 2025
Sleepy Joe SWI-Prolog still waiting for a PR (Was: Prolog can keep up with the AI Boom [Forget about CLAM])

By Mild Shock on Wed Nov 12 01:26:56 2025

Latest reply by Mild Shock on Wed Nov 12 02:18:18 2025
=?UTF-8?Q?Declarative_farts_versus_MSI_Claw_AI+=2c_who_would_win=3f?= =?UTF-8?Q?_=28Was:_=f0=9f=98=82_=22Plog-like=22_-_that_should_be_the_offici?= =?UTF-8?Q?al_term!=29?=

By Mild Shock on Thu Oct 23 14:35:20 2025

Latest reply by Mild Shock on Sun Nov 9 21:18:20 2025
=?UTF-8?Q?Taxon_=28TBox=29_/_Affirm_=28ABox=29_was_a_thing_in_the_9?= =?UTF-8?Q?0s=3f_=28e:_The_quantifer_=e2=88=83_is_just_the_Combinator_K_=28S?= =?UTF-8?B?Y2jDtm5maW5rZWxzIEMpPyk=?=

By Mild Shock on Sat Nov 8 22:30:32 2025

Latest reply by Mild Shock on Sat Nov 8 22:30:32 2025
VIP4711: Variadic Predicates and Array Patterns (Was: VIP0909: VibeCore Improvement Proposal [term_singletons])

By Mild Shock on Mon Oct 27 14:40:30 2025

Latest reply by Mild Shock on Wed Nov 5 21:19:00 2025
Latent Thinking the forbidden Fruit (Was: Prolog totally missed the AI Boom)

By Mild Shock on Sun Nov 2 12:19:25 2025

Latest reply by Mild Shock on Sun Nov 2 13:20:15 2025
Lattent Thinking the forbidden Fruit (Was: Prolog totally missed the AI Boom)

By Mild Shock on Sun Nov 2 11:58:55 2025

Latest reply by Mild Shock on Sun Nov 2 11:58:55 2025
Crashing ivory towers: Computer Algebra (Re: From Framing to Mirroring [AI Boom])

By Mild Shock on Fri Oct 31 11:48:40 2025

Latest reply by Mild Shock on Fri Oct 31 14:32:29 2025
From Framing to Mirroring [AI Boom]

By Mild Shock on Fri Oct 31 11:14:31 2025

Latest reply by Mild Shock on Fri Oct 31 11:15:12 2025
ANN: Dogelog Player 2.1.2 (Arrow Functions)

By Mild Shock on Mon Oct 27 13:09:53 2025

Latest reply by Mild Shock on Mon Oct 27 13:10:45 2025
Arrow Functions in Dogelog Player (Was: ANN: Dogelog Player 2.1.1 (Sky Limit))

By Mild Shock on Fri Oct 17 13:48:29 2025

Latest reply by Mild Shock on Sun Oct 26 15:56:07 2025
WebPL and Scryer Prolog are bad examples (Was: WebPL is already outdated)

By Mild Shock on Mon Oct 13 09:49:15 2025

Latest reply by Mild Shock on Sun Oct 26 11:33:02 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 Tue Oct 21 00:43:57 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
=?UTF-8?Q?The_Blunder:_=e2=80=9cconstraint_programming=e2=80=9d_com?= =?UTF-8?Q?panies_in_France_1984=e2=80=931996_=28Was:_Difference_between_W-G?= =?UTF-8?Q?rammars_and_DCG_Transform=29?=

By Mild Shock on Mon Oct 13 09:34:46 2025

Latest reply by Mild Shock on Mon Oct 13 09:34:46 2025