shortest solution to Einstein's Riddle

By Mark Tarver on Sun Mar 7 06:04:29 2021

Latest reply by Mostowski Collapse on Mon Mar 8 03:43:44 2021

Lets make 2021 the year of Solver Cooperation

By Mostowski Collapse on Thu Mar 4 11:51:45 2021

Latest reply by Mostowski Collapse on Sat Mar 6 08:03:14 2021

When you are standing in front of a Formal System

By Mostowski Collapse on Thu Feb 11 08:33:03 2021

Latest reply by Mostowski Collapse on Wed Mar 3 14:09:27 2021

From Prolog Dicts to Sparse Compounds

By Mostowski Collapse on Wed Feb 24 04:30:54 2021

Latest reply by Mostowski Collapse on Mon Mar 1 04:30:16 2021

Re: Tiobe Index: Prolog to Become Most Popular Langugage

By Mostowski Collapse on Mon Feb 8 03:49:41 2021

Latest reply by Mostowski Collapse on Tue Feb 23 01:15:13 2021

Re: Web Prolog, Elixir and COBOL

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

Latest reply by Mostowski Collapse on Mon Feb 22 04:11:34 2021

=?UTF-8?Q?=C3=89_DAVVERO_DA_ARRESTARE_L=27AVVOCATO_ASSASSINO_E_PEDOF?==?UTF-8?Q?ILO_DANIELE_MINOTTI_DI_CRIMINALISSIMO_STUDIO_LEGALE_LISI=21?=

By PEDOFILO SATANISTASSASSINO DANIELE MINOTTI on Sat Feb 20 06:03:49 2021

Latest reply by PEDOFILO SATANISTASSASSINO DANIELE MINOTTI on Sat Feb 20 06:03:49 2021

ANN: New hybrid logic and function programming language Elion

By Mostowski Collapse on Sun Feb 7 15:20:01 2021

Latest reply by Mostowski Collapse on Wed Feb 17 14:17:58 2021

TIC-TAC-TO Board ***************************************** ***************

By Graham Cooper on Mon Feb 15 13:09:55 2021

Latest reply by Graham Cooper on Mon Feb 15 13:09:55 2021

3 player tic tac to !

By Graham Cooper on Mon Feb 15 06:46:09 2021

Latest reply by Graham Cooper on Mon Feb 15 06:46:09 2021

ANN: Jekejeke Prolog 1.4.7 (Occurs Check)

By Mostowski Collapse on Tue Jan 26 23:48:29 2021

Latest reply by Mostowski Collapse on Sun Feb 14 12:31:33 2021

Write This in PROLOG

By Graham Cooper on Mon Feb 8 06:39:45 2021

Latest reply by Graham Cooper on Mon Feb 8 06:39:45 2021

T|-proof(P,X) <-> T|-P T|-X T|-P<->X

By Graham Cooper on Sun Feb 7 22:24:46 2021

Latest reply by Graham Cooper on Sun Feb 7 22:24:46 2021

Source local occurs check flag

By Mostowski Collapse on Sat Jan 2 04:58:29 2021

Latest reply by Mostowski Collapse on Sun Feb 7 12:15:19 2021

LOG1K.com :::::: path finder using PURE LOGIC!

By Graham Cooper on Sat Feb 6 04:48:51 2021

Latest reply by Graham Cooper on Sat Feb 6 04:48:51 2021

Prolog Autologic on GitHub?

By Mostowski Collapse on Mon Jan 18 17:45:20 2021

Latest reply by Mostowski Collapse on Thu Feb 4 05:31:25 2021

log1K.COM :::::: RLS 5

By Graham Cooper on Wed Feb 3 16:11:53 2021

Latest reply by Graham Cooper on Wed Feb 3 16:11:53 2021

ANN: Logtalk 3.44.0 released

By Paulo Moura on Wed Feb 3 07:52:10 2021

Latest reply by Paulo Moura on Wed Feb 3 07:52:10 2021

LOG1K.COM :::::::: RLS4 Relational Logic Solver IV

By Graham Cooper on Tue Feb 2 09:02:51 2021

Latest reply by Graham Cooper on Tue Feb 2 09:02:51 2021

RLS3 - Relational Logic Solver III

By Graham Cooper on Sat Jan 30 16:11:05 2021

Latest reply by Graham Cooper on Sat Jan 30 16:11:05 2021

RLS2 - RELATIONAL LOGIC SOLVER

By Graham Cooper on Fri Jan 29 16:23:03 2021

Latest reply by Graham Cooper on Fri Jan 29 16:23:03 2021

SIMPLE THEOREM PROVER DESIGN - 3 INFERENCE RULES

By Graham Cooper on Mon Jan 25 13:52:39 2021

Latest reply by Graham Cooper on Mon Jan 25 13:52:39 2021

DES 6.6 Released

By FERNANDO SAENZ PEREZ on Mon Jan 25 13:46:46 2021

Latest reply by FERNANDO SAENZ PEREZ on Mon Jan 25 13:46:46 2021

SIMPLE THEOREM PROVER [1]

By Graham Cooper on Sun Jan 24 21:53:08 2021

Latest reply by Graham Cooper on Sun Jan 24 21:53:08 2021

dbMAP2 here B destination

By Graham Cooper on Sat Jan 23 10:54:05 2021

Latest reply by Graham Cooper on Sat Jan 23 10:54:05 2021

Re: Challenging CLP(B) Once More: A maze/3 Predicate

By Mostowski Collapse on Fri Jan 22 14:19:08 2021

Latest reply by Mostowski Collapse on Sat Jan 23 00:52:28 2021

dbMAP ........... simple path finder

By Graham Cooper on Fri Jan 22 04:17:38 2021

Latest reply by Graham Cooper on Fri Jan 22 04:17:38 2021

The Skynet challenge

By Mostowski Collapse on Tue Jan 19 14:34:08 2021

Latest reply by Dhu on Gate on Thu Jan 21 01:13:59 2021

goedel numbering in prolog

By Paola Cattabriga on Tue Jan 19 06:13:56 2021

Latest reply by Graham Cooper on Wed Jan 20 06:06:05 2021

D-A-S-S.com :::: 1st Website written in DATABASESCRIPT.com !

By Graham Cooper on Mon Jan 18 14:40:09 2021

Latest reply by Graham Cooper on Mon Jan 18 14:40:09 2021

Re: comp.lang.prolog Frequently Asked Questions

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

Latest reply by Markus Triska on Sat Jan 16 06:00:08 2021

Re: Quines and Russels Paradox (Was: Generating scheme quines with prolog?)

By Mostowski Collapse on Wed Dec 30 15:15:48 2020

Latest reply by Mostowski Collapse on Thu Jan 7 00:28:18 2021

BLOCKS WORLD V2.0

By Graham Cooper on Mon Dec 28 22:24:51 2020

Latest reply by Graham Cooper on Mon Dec 28 22:24:51 2020

BLoCKS WoRLD V1.0

By Graham Cooper on Mon Dec 28 04:19:10 2020

Latest reply by Graham Cooper on Mon Dec 28 04:19:10 2020

Detecting LIAR STATEMENTS!

By Graham Cooper on Sun Dec 27 08:08:57 2020

Latest reply by Graham Cooper on Sun Dec 27 15:05:55 2020

Working out LIAR LOGIC

By Graham Cooper on Sat Dec 26 12:57:04 2020

Latest reply by Graham Cooper on Sat Dec 26 12:57:04 2020

=?UTF-8?Q?=CE=BBProlog=3A_Vaporware=2C_Abandonware_or_Lazyware=3F?=

By Mostowski Collapse on Sun Dec 13 03:31:06 2020

Latest reply by Mostowski Collapse on Sat Dec 26 08:22:05 2020

ANN: Logtalk 3.43.0 released

By Paulo Moura on Tue Dec 22 02:24:56 2020

Latest reply by Graham Cooper on Wed Dec 23 10:15:21 2020

doquiz B .............. Simple Prolog like code (if then / button add features)

By Graham Cooper on Wed Dec 23 01:00:15 2020

Latest reply by Graham Cooper on Wed Dec 23 01:00:15 2020

Open Source: There is no Right of Instruction

By Mostowski Collapse on Tue Dec 22 14:19:19 2020

Latest reply by Mostowski Collapse on Tue Dec 22 14:26:32 2020

DATABASESCRIPT.com :::::::: QUIZ with SCORE SHEET !

By Graham Cooper on Sun Dec 20 05:17:36 2020

Latest reply by Mostowski Collapse on Tue Dec 22 10:43:13 2020

how do you scale prolog web apps?

By azathot...@gmail.com on Sat Dec 12 16:40:45 2020

Latest reply by Mostowski Collapse on Sat Dec 19 08:19:36 2020

Re: modpow() built-in anybody?

By Mostowski Collapse on Wed Dec 9 17:11:53 2020

Latest reply by Mostowski Collapse on Sat Dec 12 10:15:46 2020

Actual debug trace of Sipser H() deciding halting Sipser D()

By olcott on Tue Dec 8 12:10:50 2020

Latest reply by olcott on Wed Dec 9 23:29:12 2020

Re: olcott's correct refutation of the Peter Linz HP proof

By olcott on Sun Dec 6 10:23:24 2020

Latest reply by Mostowski Collapse on Tue Dec 8 23:44:57 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 8 08:08:50 2020

Re: Refuting the Peter Linz HP Proof (Ben still tries to dodge the truth)

By olcott on Mon Dec 7 18:18:58 2020

Latest reply by olcott on Mon Dec 7 18:18:58 2020

Re: Both invocations of Confound_Halts() are decided consistently

By olcott on Sun Dec 6 23:14:43 2020

Latest reply by olcott on Sun Dec 6 23:14:43 2020

Re: Happy Thanksgiving to all (logical necessity)(Over Ben's head)

By olcott on Sun Dec 6 22:07:10 2020

Latest reply by olcott on Sun Dec 6 22:07:10 2020

Olcott's correct refutation of the Peter Linz HP proof

By olcott on Sun Dec 6 11:38:12 2020

Latest reply by Mostowski Collapse on Sun Dec 6 18:57:20 2020

Re: Halting test example [ Correct refutation of Peter Linz proof ](Kaz)

By olcott on Sat Dec 5 10:55:18 2020

Latest reply by olcott on Sat Dec 5 10:55:18 2020

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 Fri Dec 4 11:47:07 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

Investigating Proof Graphs: Euclid

By Mostowski Collapse on Wed Nov 11 11:17:59 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: 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

Re: Autumn Programming Challenge

By Mostowski Collapse on Wed Oct 28 12:44:36 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

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

Re: The key aspects of x86utm are now finally complete (Refuting theHP proofs) [ definition of H ]

By Mostowski Collapse on Tue Oct 27 12:07:41 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 key aspects of x86utm are now finally complete [ HP proofrefutation has been provided ]

By olcott on Sun Oct 25 16:55:00 2020

Latest reply by Mostowski Collapse on Tue Oct 27 14:58:40 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 =?UTF-8?B?QW5kcsOpIEcuIElzYWFr?= on Mon Oct 26 03:18:47 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 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

Re: The x86utm operating system shows how the halting problem can bemade decidable

By Paavo Helde on Mon Oct 26 08:57:45 2020

Latest reply by Mostowski Collapse on Tue Oct 27 12:08:00 2020

Re: The x86utm operating system shows how the halting problem can be made decidable

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

Latest reply by Mike Terry on Tue Oct 27 02:11:20 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

Re: The key aspects of x86utm are now finally complete [ HP proof refutation has been provided ]

By olcott on Sun Oct 25 18:40:58 2020

Latest reply by olcott on Mon Oct 26 20:11:40 2020

Re: The x86utm operating system shows how the halting problem canbe made decidable

By Melzzzzz on Sun Oct 25 21:55:59 2020

Latest reply by Melzzzzz on Mon Oct 26 14:44:19 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