1. Forum
  2. Newsgroups
  3. comp.lang.prolog
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
WebPL is already outdated

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

Latest reply by Mild Shock on Mon Aug 18 15:49:54 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
Novacore goes Bisimulation: Scryer Prolog is Slow!

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

Latest reply by Mild Shock on Sat Aug 16 13:02:04 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
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 Wed Aug 6 08:30:31 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
How Prolog became an education nightmare (Was: 50 Years of Prolog Nonsense)

By Mild Shock on Tue Nov 12 16:30:48 2024

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
Ulrich Neumerkel is like Ozzy Osbourne

By Mild Shock on Thu Dec 5 11:26:20 2024

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
Book Project: WomanLogic (Re: USA is shitting its pants)

By Mild Shock on Thu Nov 14 22:25:22 2024

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
Wait till they figure out that China has also AI

By Mild Shock on Thu Jan 2 20:03:01 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
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 Wed Jan 22 18:41:16 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
Advent of Logic 2024: Weekend 1

By Mild Shock on Sat Dec 14 22:14:59 2024

Latest reply by Mild Shock on Fri Jan 17 11:59:35 2025
Curry Prolog visualized [Julios Dream]

By Mild Shock on Tue Jan 14 12:19:15 2025

Latest reply by Mild Shock on Tue Jan 14 19:41:24 2025
ANN: Dogelog Player 1.2.5 (bun.js Support)

By Mild Shock on Thu Dec 5 01:21:33 2024

Latest reply by Mild Shock on Mon Jan 13 17:45:51 2025
Traditions die: Another one bites the Dust

By Mild Shock on Fri Jan 10 22:36:12 2025

Latest reply by Mild Shock on Sat Jan 11 02:50:32 2025
Prologers are hurt the most by LLMs

By Mild Shock on Fri Jan 10 11:09:39 2025

Latest reply by Mild Shock on Fri Jan 10 12:21:25 2025
Heads will roll: AI means PANIC.

By Mild Shock on Mon Jan 6 19:06:50 2025

Latest reply by Mild Shock on Mon Jan 6 19:10:20 2025
Was Poincare crushed by the New

By Mild Shock on Sat Jan 4 09:59:10 2025

Latest reply by Mild Shock on Mon Jan 6 09:59:44 2025
NVIDIA Jetson Orin controlled by Prolog

By Mild Shock on Fri Jan 3 22:20:10 2025

Latest reply by Mild Shock on Sun Jan 5 21:45:52 2025
Re: Side Note, Why not DSLs? (Re: Chicken and egg, with curry?)

By Mild Shock on Fri Jan 3 22:12:14 2025

Latest reply by Mild Shock on Fri Jan 3 22:50:11 2025
Re: Chicken and egg, with curry?

By Julio Di Egidio on Fri Jan 3 21:37:28 2025

Latest reply by Mild Shock on Fri Jan 3 22:06:00 2025
=?UTF-8?Q?What_does_Pluto_in_Aquarius_mean=3f_[2023=e2=80=932044]?=

By Mild Shock on Sun Dec 22 00:27:26 2024

Latest reply by Mild Shock on Sun Dec 22 00:27:26 2024
Ilya Sutskever: The Next Oppenheimer

By Mild Shock on Wed Dec 18 15:42:07 2024

Latest reply by Mild Shock on Thu Dec 19 10:42:10 2024
trustpilot review of stack overflow [Jekejeke Phishing]

By Mild Shock on Sun Dec 1 12:59:56 2024

Latest reply by Mild Shock on Sat Dec 14 11:41:11 2024
Can we do this with ancestral cuts or something?

By Julio Di Egidio on Mon Dec 9 14:35:20 2024

Latest reply by Mild Shock on Mon Dec 9 21:09:56 2024
Prolog Tribute to Hao Wang

By Mild Shock on Fri Dec 6 21:15:37 2024

Latest reply by Mild Shock on Sat Dec 7 23:22:06 2024
=?UTF-8?Q?Compiling_=ce=bb-Prolog_in_Dogelog_Player_=28Was:_ANN:_Do?==?UTF-8?Q?gelog_Player_1.2.4_=28Non-Backtracking_Hashtable=29=29?=

By Mild Shock on Sat Nov 16 08:17:58 2024

Latest reply by Mild Shock on Wed Dec 4 23:47:29 2024
Should I use Dogelog?

By Julio Di Egidio on Sat Nov 23 23:02:31 2024

Latest reply by Mild Shock on Sun Nov 24 18:16:31 2024
Good Bye Stack-Overflow (Was: Highly bred Hackers: Wallowing inenlightenment)

By Mild Shock on Fri Nov 15 03:16:50 2024

Latest reply by Mild Shock on Wed Nov 20 14:20:18 2024