Re: Towards list comprehension for Prolog

By j4n bur53 on Tue Mar 12 15:52:25 2019

Latest reply by j4n bur53 on Sun Jun 16 07:56:24 2019

comp.lang.prolog Frequently Asked Questions

By Markus Triska on Sat Mar 16 06:00:03 2019

Latest reply by j4n bur53 on Sun Jun 16 07:50:25 2019

What are the origins of the admonishment to not use the cut ``!`` ?

By kintalken on Tue Mar 19 08:38:26 2019

Latest reply by j4n bur53 on Fri Jun 14 15:45:16 2019

modpow() built-in anybody?

By j4n bur53 on Thu Jun 13 14:46:47 2019

Latest reply by j4n bur53 on Thu Jun 13 17:32:50 2019

=?UTF-8?Q?Was_G=c3=b6del_Goofy_or_What=3f?=

By peteolcott on Fri May 17 16:04:34 2019

Latest reply by Damon Sicore on Tue Jun 11 11:23:51 2019

Re: Project "Leantalk" for the unwritten chapters of the ISO modulestandard

By j4n bur53 on Thu Mar 28 16:55:26 2019

Latest reply by j4n bur53 on Fri Jun 7 15:37:22 2019

Is this logic sentence true or false?

By peteolcott on Fri May 24 17:33:29 2019

Latest reply by j4n bur53 on Thu Jun 6 21:50:51 2019

Re: What happened to PRISM prolog?

By j4n bur53 on Wed Jun 5 13:03:07 2019

Latest reply by j4n bur53 on Wed Jun 5 13:03:07 2019

IL PEDOFILO ASSASSINO PAOLO BARRAI (LINKEDIN) E' STATO ILCRIMINALISSIMO REGISTA DELL'OPERAZIONE "NDRANGHETA IN EIDOO"!! IL GIA' 3VOLTE FINITO IN GALERA PAOLO BARRAI, SPACCIAVA COCAINA, A MILANO, PER ILNDRANGHETISTA OMICIDA GIULIO MARTINO..........

By TIAZZERAIRISPARMI PAOLO BARRAI TRUFFAVIABITCOIN on Mon Jun 3 12:36:53 2019

Latest reply by TIAZZERAIRISPARMI PAOLO BARRAI TRUFFAVIABITCOIN on Mon Jun 3 12:36:53 2019

Re: Simplest "Trio" Web Server in Prolog

By j4n bur53 on Fri Apr 5 03:48:46 2019

Latest reply by j4n bur53 on Fri May 31 22:55:31 2019

ANN: Jekejeke Prolog 1.3.7 (Package Airdrop)

By j4n bur53 on Tue May 28 01:46:41 2019

Latest reply by j4n bur53 on Tue May 28 01:46:41 2019

Can truth be understood as math?

By peteolcott on Sun May 26 22:48:06 2019

Latest reply by peteolcott on Sun May 26 22:48:06 2019

Re: Project "Leantalk" for the unwritten chapters of the ISO module standard

By j4n bur53 on Thu Mar 21 02:41:11 2019

Latest reply by j4n bur53 on Sun May 26 08:08:03 2019

=?UTF-8?Q?Refuting_G=c3=b6del=27s_1931_Incompleteness_Theorem_in_on?==?UTF-8?Q?e_sentence_=28v2=29?=

By peteolcott on Sat May 18 11:37:12 2019

Latest reply by peteolcott on Sat May 25 22:54:31 2019

I was right all along, But...

By peteolcott on Sat May 25 15:48:08 2019

Latest reply by peteolcott on Sat May 25 15:48:08 2019

I am looking for at least one counter-example

By peteolcott on Fri May 24 10:31:46 2019

Latest reply by peteolcott on Fri May 24 10:31:46 2019

Tarski undefinability totally refuted by junior high school logic

By peteolcott on Wed May 22 22:15:04 2019

Latest reply by peteolcott on Wed May 22 22:15:04 2019

=?UTF-8?Q?CHI_E=27_L=27ECONOMISTA_PEDOFILO_ED_ASSASSINO_PAOLO_CARD?==?UTF-8?Q?EN=C3=80_DI_CRIMINALISSIMO_BLOG_VINCITORI_E_VINTI_=28_VEDRA=27_COME_?==?UTF-8?Q?LO_FAREMO_DIVENIRE_PARTE_DELLA_SECONDA_CATEGORIA_E_NON_PRIMA?==?UTF-8?Q?=2C_CHE_RICICLI_DA_SEMPRE_SOLDI_DI_MAFIA=2C_CAMORRA_E_NDRANGHETA?==?UTF-8?Q?_O_MENO=2E=2E=2E=22O_MENO=22=2C?=

By ERNESTO PREATONI -MAI PIU' COL PEDOFILO-BERLUSCONI on Wed May 22 15:34:06 2019

Latest reply by ERNESTO PREATONI -MAI PIU' COL PEDOFILO-BERLUSCONI on Wed May 22 15:34:06 2019

How can this possibly fail to partition True(x) from Untrue(x) forevery formal system?

By peteolcott on Wed May 22 14:09:55 2019

Latest reply by peteolcott on Wed May 22 14:09:55 2019

Refuting Tarski Undefinability in one sentence

By peteolcott on Mon May 20 16:58:50 2019

Latest reply by peteolcott on Mon May 20 16:58:50 2019

Re: O-Prolog ver1.70

By j4n bur53 on Thu Mar 28 09:10:58 2019

Latest reply by j4n bur53 on Sun May 19 01:56:51 2019

Re: jProlog vs PrologCafe Database

By Douglas R. Miles/LogicMoo on Fri May 17 17:39:04 2019

Latest reply by j4n bur53 on Sat May 18 03:01:34 2019

=?UTF-8?Q?Refuting_G=c3=b6del=27s_1931_Incompleteness_Theorem_in_on?==?UTF-8?Q?e_sentence?=

By peteolcott on Thu May 16 10:03:08 2019

Latest reply by peteolcott on Thu May 16 12:11:41 2019

Defining a decidability decider that consistently decidesdecidability

By peteolcott on Wed May 15 14:45:05 2019

Latest reply by peteolcott on Wed May 15 14:45:05 2019

Deductively Sound Formal Proofs --- (v9)

By peteolcott on Wed May 15 13:11:41 2019

Latest reply by peteolcott on Wed May 15 13:11:41 2019

I am finally being understood to be correct

By peteolcott on Mon May 13 12:45:14 2019

Latest reply by peteolcott on Mon May 13 12:45:14 2019

2nd Call for Contributions: miniKanren 2019 [extended deadline May 27]

By William Byrd on Mon May 13 07:42:51 2019

Latest reply by William Byrd on Mon May 13 07:42:51 2019

Deductively sound formal proofs (v7)

By peteolcott on Sun May 12 23:25:32 2019

Latest reply by peteolcott on Sun May 12 23:25:32 2019

=?UTF-8?B?VXMgY29uZ3Jlc3MgaGVhcmluZyBvZiBtYWFuIGFsc2FhbiBNb25leSBsYXVuZHJ5INmC?==?UTF-8?B?2LbZitipINin2YTZg9mI2YbYutis2LHYsyDZhNi62LPZitmEINin2YTYo9mF2YjYp9mEINmE2YTZhdmE?==?UTF-8?B?2YrYp9iv2YrYsSDZhdi52YYg2KfZhNi12KfZhti5?=

By saleem a on Thu Apr 25 11:42:40 2019

Latest reply by shader j on Sun May 12 16:15:57 2019

Deductively sound formal proofs (v6)

By peteolcott on Sun May 12 01:12:37 2019

Latest reply by peteolcott on Sun May 12 01:32:35 2019

Re: Will Logtalk ever fly?

By j4n bur53 on Tue May 7 12:01:22 2019

Latest reply by j4n bur53 on Sat May 11 19:00:21 2019

Deductively Sound Formal Proofs --- (v2)

By peteolcott on Fri May 10 13:06:59 2019

Latest reply by j4n bur53 on Fri May 10 14:53:52 2019

can prolog do this?

By Rabican on Fri May 10 08:04:43 2019

Latest reply by Rabican on Fri May 10 08:04:43 2019

EROE CIVILE E GENIO BORSTISTICO MICHELE NISTA E' PERSEGUITATO A MORTEDA DECENNI DAI VERMI ASSASSINI SILVIO BERLUSCONI E MATTEO SALVINI, IN QUANTODA SEMPRE DENUNCIA QUANTO IL PEDOFILO SPAPPOLA MAGISTRATI SIVIO BERLUSCONI,TRATTI L'ITALIA COME UNA...

By HASTA LA VICTORIA SIEMPRE, WAGLIO'!!!!!!!! on Fri May 10 05:25:02 2019

Latest reply by HASTA LA VICTORIA SIEMPRE, WAGLIO'!!!!!!!! on Fri May 10 05:25:02 2019

Defining Complete and consistent formal systems of mathematical logic

By peteolcott on Thu May 9 10:27:13 2019

Latest reply by peteolcott on Thu May 9 10:27:13 2019

ANN: Logtalk 3.26.0 released

By Paulo Moura on Wed May 8 08:10:35 2019

Latest reply by Paulo Moura on Wed May 8 08:10:35 2019

DESweb 1.3 Released

By =?UTF-8?Q?Fernando_S=C3=A1enz_P=C3=A9rez?= on Tue May 7 03:22:02 2019

Latest reply by =?UTF-8?Q?Fernando_S=C3=A1enz_P=C3=A9rez?= on Tue May 7 03:22:02 2019

Sound Deduction refutes Tarski Undefinability

By peteolcott on Mon May 6 21:31:44 2019

Latest reply by peteolcott on Mon May 6 21:31:44 2019

3rd CfP: 3rd International Joint Conference on Rules and Reasoning(RuleML+RR 2019)

By nbassili on Mon May 6 00:11:52 2019

Latest reply by nbassili on Mon May 6 00:11:52 2019

Eliminating Undecidability and Incompleteness in Formal Systems(Prolog already does this)

By peteolcott on Fri Apr 26 09:58:35 2019

Latest reply by peteolcott on Sat May 4 15:07:51 2019

Re: Deductively Sound Formal Proofs (Eliminates undecidability)

By peteolcott on Sat May 4 13:31:12 2019

Latest reply by peteolcott on Sat May 4 13:31:12 2019

=?UTF-8?Q?Terse_Refutation_of_Tarski_and_G=c3=b6del?=

By peteolcott on Thu May 2 00:48:56 2019

Latest reply by peteolcott on Thu May 2 00:48:56 2019

Re: Eliminating Undecidability and Incompleteness in Formal Systems(HP Proof refutation)

By peteolcott on Wed May 1 15:01:54 2019

Latest reply by peteolcott on Wed May 1 15:01:54 2019

Converting formal proofs to sound deductive inference Version(7)

By peteolcott on Tue Apr 30 20:39:30 2019

Latest reply by peteolcott on Tue Apr 30 20:39:30 2019

How implement tarai in miniKaren?

By j4n bur53 on Sat Apr 6 04:03:14 2019

Latest reply by j4n bur53 on Tue Apr 30 17:32:12 2019

Buffer overflow attacks

By yara.huss.113 on Tue Apr 30 01:48:26 2019

Latest reply by j4n bur53 on Tue Apr 30 11:51:15 2019

Converting formal proofs to conform to sound deductive inference(Simple Essence)

By peteolcott on Tue Apr 30 11:22:13 2019

Latest reply by peteolcott on Tue Apr 30 11:22:13 2019

Converting formal proofs to conform to sound deduction

By peteolcott on Tue Apr 30 09:34:09 2019

Latest reply by peteolcott on Tue Apr 30 09:34:09 2019

hows the prolog?

By Rabican on Mon Apr 29 10:11:28 2019

Latest reply by Rabican on Mon Apr 29 10:11:28 2019

E' DA ARRESTARE SUBITO IL PEDOFILO ED ASSASSINO DANIELE MINOTTI(CRIMINALISSIMO AVV DI RAPALLO E GENOVA.. RAPALLO..OVE ORGANIZZA TRAMEASSASSINE ED OMICIDI NAZISTI E MAFIOSI, INSIEME "AL RAPALLESE" DI RESIDENZA,PEZZO DI MERDA, HITLERIANO, RAZZISTA,

By ANDREA MAZZALAI ICEBERG FINANZA on Fri Apr 26 10:43:03 2019

Latest reply by ANDREA MAZZALAI ICEBERG FINANZA on Fri Apr 26 10:43:03 2019

IDE/Editor for SWI-Prolog?

By roschler on Thu Apr 25 05:24:05 2019

Latest reply by roschler on Thu Apr 25 05:24:05 2019

=?UTF-8?Q?Joe_Armstrong_=281950_=E2=80=93_2019=29?=

By j4n bur53 on Sun Apr 21 03:17:56 2019

Latest reply by j4n bur53 on Mon Apr 22 05:23:30 2019

=?UTF-8?Q?Translating_this_into_Prolog=3a_G_=e2=86=94_=7eProvable?==?UTF-8?B?KEcp?=

By peteolcott on Sat Apr 13 10:17:25 2019

Latest reply by peteolcott on Sat Apr 13 10:17:25 2019

new invention : steadfast reverse/2

By kintalken on Sun Mar 24 01:42:49 2019

Latest reply by j4n bur53 on Sat Apr 13 02:47:01 2019

=?UTF-8?Q?Translating_this_into_Prolog=3a_=7eProvable=28x=29_?==?UTF-8?B?4oaUIFRydWUoeCk=?=

By peteolcott on Fri Apr 12 11:33:07 2019

Latest reply by peteolcott on Fri Apr 12 11:33:07 2019

Easily QuickCheck your predicates at the top-level

By pjlmoura on Tue Apr 2 08:38:27 2019

Latest reply by j4n bur53 on Wed Apr 10 12:44:04 2019

Call for Contributions--First miniKanren and Relational Programming Workshop

By William Byrd on Fri Apr 5 12:46:53 2019

Latest reply by William Byrd on Fri Apr 5 12:46:53 2019

Re: Break Point Challenge

By j4n bur53 on Fri Mar 29 08:29:32 2019

Latest reply by j4n bur53 on Thu Apr 4 07:09:04 2019

About efficient compilation code generation of deterministic predicates.

By kenstkc on Sun Mar 31 01:34:21 2019

Latest reply by kenstkc on Tue Apr 2 16:38:57 2019

ANN: Logtalk 3.25.0 released

By pjlmoura on Tue Apr 2 03:58:55 2019

Latest reply by pjlmoura on Tue Apr 2 03:58:55 2019

ANN: Jekejeke Prolog 1.3.6 (Disjunction Inlining)

By j4n bur53 on Mon Apr 1 16:33:01 2019

Latest reply by j4n bur53 on Mon Apr 1 16:33:01 2019

Does every instance of this pattern always fail:

By peteolcott on Fri Mar 29 00:08:42 2019

Latest reply by j4n bur53 on Mon Apr 1 13:22:58 2019

=?UTF-8?Q?Can_this_be_translated_into_Prolog=3f_=e2=88=83F=e2=88=83?==?UTF-8?B?RyhHIOKGlCB+KEYg4oqiIEcpKQ==?=

By peteolcott on Thu Mar 28 17:04:18 2019

Latest reply by peteolcott on Fri Mar 29 00:15:33 2019

=?UTF-8?B?UmU6IE8tUHJvbG9n44CAdmVyMC45MA==?=

By j4n bur53 on Tue Mar 26 11:59:52 2019

Latest reply by j4n bur53 on Thu Mar 28 03:58:44 2019

\write17{departure towwards rea+TElity : the dcg voyage ovfdiss-cover+TEA .}

By kintalken on Fri Mar 15 15:23:48 2019

Latest reply by kintalken on Tue Mar 26 14:50:02 2019

Re: Make deterministic without using cut?

By j4n bur53 on Sat Mar 16 05:24:06 2019

Latest reply by kintalken on Mon Mar 25 05:57:47 2019

prolog for robot warehouse apps

By Rabican on Wed Mar 20 19:01:48 2019

Latest reply by Rabican on Fri Mar 22 09:15:45 2019

what is the best way to deliver good software and keep it runningover time

By Rabican on Thu Mar 21 08:40:06 2019

Latest reply by Rabican on Fri Mar 22 07:17:21 2019

Re: Writing a tokenizer in SWI Prolog

By kintalken on Mon Mar 18 16:15:47 2019

Latest reply by kintalken on Thu Mar 21 11:36:55 2019

can prolog do as well as haskell or lisp or etc? for say warehouseautomation and web apps?

By Rabican on Thu Mar 21 08:20:52 2019

Latest reply by Rabican on Thu Mar 21 08:20:52 2019

Principles and Practice of Declarative Programming 2019 -- 2nd CFP

By ffarka on Tue Mar 12 15:11:44 2019

Latest reply by ffarka on Tue Mar 12 15:11:44 2019