1. Forum
  2. Newsgroups
  3. comp.lang.prolog
Re: A new foundation for correct reasoning

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

Latest reply by olcott on Sat Dec 13 08:43:27 2025
Tensor Logic "Unifies" AI Paradigms [Pedro Domingos] (Re: FromFraming 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
Alain Colmerauer: Prologia cirque (Re: Secret Sauce of Dana Scott andRaymond Smullyan)

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

Latest reply by Mild Shock on Fri Dec 5 20:12:07 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
newsreader where you can see the message source (Was: What if of thecosmos does a BB dance?)

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

Latest reply by Thomas 'PointedEars' Lahn on Thu Dec 4 03:30:19 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 thesixth 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: DifferentHubble 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
Spock thinks I am interested in his gibberish (Re: You shouldn't useNPM 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 inHogwild! 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
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 Mon Dec 1 11:36:39 2025
SWI Agent Provocateur gets kicked out of Rocq? (Re: Coq/Rocq and howto 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
=?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 Fri Nov 28 15:12:29 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 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
DCG is easily affected (Was: The Ghosts in my Cabinet: Indexing)

By Mild Shock on Fri Jul 11 09:38:00 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
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 Mon Nov 24 21:27:19 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 withan 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
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 Nov 20 11:55:57 2025
Re: How teach logic? [The Jokes] (Re: People that have a very shallowunderstanding 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
Vanishing Point . [Le Dot]

By Mild Shock on Sun Oct 5 00:51:50 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 youcompare 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
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 Wed Nov 12 02:18:18 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 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
AOT Compiled Inner if-then-else (Was: VIP0909: VibeCore ImprovementProposal [term_singletons])

By Mild Shock on Wed Nov 5 20:23:16 2025

Latest reply by Mild Shock on Wed Nov 5 21:19:00 2025
Dogzilla: Arrow Functions can be Super Dicts (Was: VIP0909: VibeCoreImprovement Proposal [term_singletons])

By Mild Shock on Sun Nov 2 15:50:56 2025

Latest reply by Mild Shock on Sun Nov 2 19:47:04 2025
=?UTF-8?Q?The_ideal_choice_point_as_a_logical_formula_=28Was:_Would?==?UTF-8?Q?_Poincar=c3=a9_miss_the_AI_Boom=29?=

By Mild Shock on Thu Jul 10 21:22:00 2025

Latest reply by Mild Shock on Sun Nov 2 13:20:15 2025
Crashing ivory towers: Computer Algebra (Re: From Framing toMirroring [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:14:31 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 Tue Oct 28 21:06:08 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
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 26 15:56:07 2025
WebPL is already outdated

By Mild Shock on Sun Aug 17 18:37:07 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
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
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
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
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
With MedGamma I can analyse my own broken ribs (Was: USA is stillShitting 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 [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
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
=?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
The stack overflow user by the name false (Was: Lets see what the"experts" say)

By Mild Shock on Tue Jul 15 11:50:31 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
Subtrees First in Dogelog Player (Was: ANN: Dogelog Player 1.3.4)

By Mild Shock on Tue Jul 22 18:25:12 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
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