1. Forum
  2. Newsgroups
  3. comp.lang.prolog
What if the ISO core standard were exactly the SWI-Prolog dialect?

By Mostowski Collapse on Wed Dec 2 15:37:54 2020

Latest reply by Mostowski Collapse on Thu Dec 3 16:01:13 2020
Re: Refuting the Peter Linz HP Proof (Kaz agrees that I am correct)

By olcott on Wed Dec 2 16:19:43 2020

Latest reply by olcott on Thu Dec 3 12:32:23 2020
=?UTF-8?Q?Re=3a_Refuting_the_Peter_Linz_HP_proof_=28=c4=a4_is_shown?==?UTF-8?Q?_to_be_decidable=29?=

By olcott on Thu Dec 3 08:42:56 2020

Latest reply by olcott on Thu Dec 3 08:42:56 2020
Re: Happy Thanksgiving to all (Ben is proven wrong by the actual facts)

By olcott on Tue Dec 1 21:25:25 2020

Latest reply by olcott on Tue Dec 1 21:25:25 2020
ANN: Jekejeke Prolog 1.4.6 (Search Options)

By Mostowski Collapse on Mon Oct 26 22:58:37 2020

Latest reply by Mostowski Collapse on Tue Dec 1 16:46:20 2020
Re: OT: Distance Learning Prolog

By Mostowski Collapse on Thu Oct 22 02:59:10 2020

Latest reply by Mostowski Collapse on Tue Dec 1 16:11:23 2020
Re: The key aspects of x86utm are now finally complete (infinite recursion slaps them in the face)

By olcott on Tue Dec 1 15:49:46 2020

Latest reply by olcott on Tue Dec 1 15:49:46 2020
XanaNews Statistic for comp.lang.prolog. 12/1/2020 8:01:49 AM

By The Doctor on Tue Dec 1 15:01:52 2020

Latest reply by The Doctor on Tue Dec 1 15:01:52 2020
Re: Web Prolog, Elixir and COBOL

By Mostowski Collapse on Wed Oct 28 02:04:00 2020

Latest reply by Mostowski Collapse on Sat Nov 28 02:10:20 2020
Re: Reinventing QSAT inside Prolog

By Mostowski Collapse on Sun Nov 22 13:50:15 2020

Latest reply by Mostowski Collapse on Sun Nov 22 13:50:15 2020
Autumn Programming Challenge

By Mostowski Collapse on Sat Oct 17 11:32:18 2020

Latest reply by Mostowski Collapse on Fri Nov 20 16:45:41 2020
Re: Towards list comprehension for Prolog

By kint...@gmail.com on Fri Nov 20 08:52:32 2020

Latest reply by Mostowski Collapse on Fri Nov 20 11:22:04 2020
swi prolog and webserver should have been used to make voting machineTrump won

By azathot...@gmail.com on Tue Nov 17 09:18:20 2020

Latest reply by azathot...@gmail.com on Tue Nov 17 09:18:20 2020
Re: comp.lang.prolog Frequently Asked Questions

By Mostowski Collapse on Mon Nov 2 00:49:19 2020

Latest reply by Mostowski Collapse on Sun Nov 15 14:46:19 2020
counting logical inferences

By Mark Tarver on Sun Nov 15 09:33:09 2020

Latest reply by Markus Triska on Sun Nov 15 20:51:15 2020
A non-halting decider is defined

By olcott on Wed Oct 28 18:43:09 2020

Latest reply by Mr Flibble on Thu Nov 12 18:36:39 2020
I can't stand agile devops kub or node or java

By Azathoth Hastur on Tue Nov 10 19:40:47 2020

Latest reply by Azathoth Hastur on Tue Nov 10 19:40:47 2020
implementing a wesbite in swqi prolog help

By Azathoth Hastur on Tue Nov 10 18:59:50 2020

Latest reply by Azathoth Hastur on Tue Nov 10 18:59:50 2020
implementing findall in Prolog

By Mark Tarver on Mon Nov 2 03:59:07 2020

Latest reply by Mostowski Collapse on Sun Nov 8 15:15:54 2020
short Prolog programs with cuts neded

By Mark Tarver on Mon Nov 2 12:58:23 2020

Latest reply by Graham Cooper on Tue Nov 3 17:19:01 2020
Re: Open Thread: From Pengines to Pintegration

By Mostowski Collapse on Fri Oct 30 16:35:04 2020

Latest reply by Mostowski Collapse on Mon Nov 2 11:40:14 2020
olcott

By Mr Flibble on Thu Oct 29 20:30:41 2020

Latest reply by Mr Flibble on Thu Oct 29 20:30:41 2020
The key aspects of x86utm are now finally complete (Refuting the HPproofs) [ definition of H ]

By olcott on Tue Oct 20 11:33:20 2020

Latest reply by Mostowski Collapse on Thu Oct 29 14:10:12 2020
Architectural design of a halting problem solution

By olcott on Tue Oct 27 14:30:21 2020

Latest reply by olcott on Thu Oct 29 13:25:35 2020
Re: The key aspects of x86utm are now finally complete [ defining a non-halting decider ]

By olcott on Thu Oct 29 12:41:20 2020

Latest reply by olcott on Thu Oct 29 12:48:01 2020
Re: Stop crossposting you imbecil spammer (Re: The key aspects ofx86utm are now finally complete [ defining a non-halting decider ]

By Mostowski Collapse on Thu Oct 29 11:43:09 2020

Latest reply by Mostowski Collapse on Thu Oct 29 11:43:09 2020
Re: Stop crossposting you imbecil spammer (Re: Architectural designof a halting problem solution)

By Mostowski Collapse on Thu Oct 29 11:38:27 2020

Latest reply by Mostowski Collapse on Thu Oct 29 11:38:27 2020
Re: Stop crossposting you imbecil spammer (Re: Architectural design of a halting problem solution)

By olcott on Thu Oct 29 11:13:13 2020

Latest reply by olcott on Thu Oct 29 11:13:13 2020
Re: The key aspects of x86utm are now finally complete [ defining anon-halting decider ]

By olcott on Wed Oct 28 18:31:35 2020

Latest reply by olcott on Thu Oct 29 10:59:58 2020
Re: SOLUTION TO THE HALTING PROBLEM!

By olcott on Thu Oct 29 07:14:41 2020

Latest reply by Mostowski Collapse on Thu Oct 29 05:58:06 2020
Re: The x86utm operating system shows how the halting problem can bemade decidable [logical law of polar questions]

By olcott on Sun Oct 25 17:14:05 2020

Latest reply by Mostowski Collapse on Tue Oct 27 14:57:06 2020
Re: The key aspects of x86utm are now finally complete [ I dare you to prove that I am wrong ]

By olcott on Thu Oct 22 23:31:15 2020

Latest reply by Mostowski Collapse on Tue Oct 27 13:01:26 2020
Re: The key aspects of x86utm are now finally complete [ I dare youto prove that I am wrong ]

By olcott on Thu Oct 22 21:27:25 2020

Latest reply by olcott on Tue Oct 27 13:36:48 2020
Re: The key aspects of x86utm are now finally complete [ I dare you to prove that I am wrong ] key definitions provided

By olcott on Tue Oct 27 10:20:59 2020

Latest reply by =?UTF-8?B?QW5kcsOpIEcuIElzYWFr?= on Tue Oct 27 12:53:20 2020
The x86utm operating system shows how the halting problem can be madedecidable

By olcott on Sat Oct 24 15:13:34 2020

Latest reply by Mostowski Collapse on Tue Oct 27 12:08:00 2020
Re: The key aspects of x86utm are now finally complete [ HP proof refutation has been provided ] correction

By olcott on Mon Oct 26 13:14:34 2020

Latest reply by Keith Thompson on Mon Oct 26 17:16:11 2020
Making the Halting Problem Decidable [ Includes deciding the PeterLinz proof counter-example ]

By olcott on Sun Oct 25 20:33:58 2020

Latest reply by olcott on Mon Oct 26 14:05:55 2020
ANN: Logtalk 3.42.0 released

By Paulo Moura on Mon Oct 26 02:37:57 2020

Latest reply by Paulo Moura on Mon Oct 26 02:37:57 2020
SWI PROLOG WEB APPS AWESOME? TAKE OVER FROM .NET AND JS N JAVA BS?

By azathothhaster on Sun Oct 25 18:39:03 2020

Latest reply by azathothhaster on Sun Oct 25 18:39:03 2020
Re: The key aspects of x86utm are now finally complete [ HP proofrefutation Key Details]

By olcott on Sun Oct 25 16:07:37 2020

Latest reply by olcott on Sun Oct 25 16:07:37 2020
Re: The key aspects of x86utm are now finally complete [ HP proof refutation Key Details]

By olcott on Sun Oct 25 13:42:35 2020

Latest reply by olcott on Sun Oct 25 13:42:35 2020
Re: The key aspects of x86utm are now finally complete (Refuting theHP proofs) [ refutation of HP proofs ]

By olcott on Wed Oct 21 21:14:03 2020

Latest reply by olcott on Thu Oct 22 14:54:07 2020
Re: The key aspects of x86utm are now finally complete (Refuting theHP proofs) [ HP proof refutation ]

By olcott on Wed Oct 21 18:28:37 2020

Latest reply by olcott on Wed Oct 21 21:54:23 2020
The key aspects of x86utm are now finally complete (Refuting the HPproofs)

By olcott on Mon Oct 19 12:45:33 2020

Latest reply by olcott on Tue Oct 20 11:07:31 2020
Re: Formal specification of Minimal Type Theory (updated)

By olcott on Sat Oct 17 09:58:52 2020

Latest reply by olcott on Mon Oct 19 10:04:36 2020
swi proog webserver absed dating site?

By azathothhaster on Tue Oct 13 16:22:12 2020

Latest reply by azathothhaster on Tue Oct 13 16:22:12 2020
ToWERs OF HaNOi

By Graham Cooper on Sun Oct 11 13:18:02 2020

Latest reply by Graham Cooper on Sun Oct 11 13:18:02 2020
miniPROLOG Progress Report!

By Graham Cooper on Sat Oct 3 04:56:50 2020

Latest reply by Graham Cooper on Fri Oct 9 04:32:25 2020
Re: Attribute Variables deunify_handler

By Mostowski Collapse on Thu Oct 1 15:23:30 2020

Latest reply by Mostowski Collapse on Thu Oct 1 15:26:39 2020
miniPROLOG ::::: BACKTRACKING EG

By Graham Cooper on Thu Oct 1 11:57:30 2020

Latest reply by Graham Cooper on Thu Oct 1 12:11:03 2020
miniPROLOG ::::: PROLOG in under 200 easy LINES of CODE !

By Graham Cooper on Thu Oct 1 10:32:14 2020

Latest reply by Graham Cooper on Thu Oct 1 10:32:14 2020