Re: 50 Years of Prolog Nonsense

By Mostowski Collapse on Sun Mar 12 09:12:34 2023

Latest reply by Mild Shock on Tue Apr 9 00:15:04 2024

ANN: Dogelog Player 1.1.6 (HTTP Client)

By Mild Shock on Thu Mar 7 18:09:21 2024

Latest reply by Mild Shock on Tue Apr 2 01:18:54 2024

Prolog Easter Challenge 2024

By Mild Shock on Wed Mar 27 16:43:32 2024

Latest reply by Mild Shock on Wed Mar 27 16:59:59 2024

Re: The road to Artificial Intelligence

By Mild Shock on Sun Jun 4 07:49:19 2023

Latest reply by Mikko on Mon Mar 25 09:59:19 2024

Re: Request for comments, async ISO core standard I/O

By Mostowski Collapse on Thu Mar 9 08:47:03 2023

Latest reply by Mild Shock on Sat Mar 16 01:53:08 2024

Not being a Haskell programmer is trendy!

By Mild Shock on Fri Feb 2 20:46:12 2024

Latest reply by Mild Shock on Wed Mar 6 01:56:59 2024

ANN: Dogelog Player 1.1.5 (HTTP Server)

By Mild Shock on Sun Jan 21 16:56:34 2024

Latest reply by Mild Shock on Sun Mar 3 20:25:28 2024

Reifying backtracking for Haskell programmers

By Mild Shock on Mon Feb 26 01:37:50 2024

Latest reply by Mild Shock on Mon Feb 26 01:39:22 2024

Request for comments, coroutines and workers ISO core standard

By Mild Shock on Fri Feb 23 13:58:59 2024

Latest reply by Mild Shock on Fri Feb 23 19:16:01 2024

Was it worth the wait? [gemini by Google]

By Mild Shock on Thu Feb 22 16:49:43 2024

Latest reply by Mild Shock on Thu Feb 22 19:11:31 2024

=?UTF-8?B?2K3YqNmI2Kgg2KfZhNin2KzZh9in2LYg2YEg2KfZhNiz2LnZiNiv2YrYqSDYp9mE2LHZig==?==?UTF-8?B?2KfYtiDYrNiv2Kkg2KzZitiy2KfZhiDYp9mE2K/Zhdin2YUg2KfZhNiu2KjYsSDYp9mE2KfYrdiz2Kc=?==?UTF-8?B?2KEg2K7ZhdmK2LMg2YXYtNmK2Lcg2KfYqNmH2Kcg2KfZhNiz2LnZiNiv2YrYqSDYs9in2YrYqtmI2Ko=?==?UTF-8?B?2YMg2KfYudmE2KfZhg==?=

By CY on Wed Feb 14 17:16:58 2024

Latest reply by CY on Wed Feb 14 17:16:58 2024

=?UTF-8?B?2KfYudmE2KfZhiAtVUFFINit2KjZiNioINin2YTYp9is2YfYp9i2INmBINin2YTYp9mF?==?UTF-8?B?2KfYsdin2Kog2K3YqNmI2Kgg2LPYp9mK2KrZiNiq2YMg2YTZhNio2Lkg2YEg2KfZhNin2YXYp9ix2Kc=?==?UTF-8?B?2KogUmU=?=

By CY on Wed Feb 14 17:14:24 2024

Latest reply by CY on Wed Feb 14 17:14:24 2024

Re: comp.lang.prolog Frequently Asked Questions

By Mild Shock on Thu Nov 2 18:08:56 2023

Latest reply by CY on Wed Feb 14 17:12:58 2024

SITUS SLOT LOKAL303, DADATAR SLOT GACOR MPO DI LOKAL303

By lokal303 on Fri Dec 29 02:13:15 2023

Latest reply by Arhani Yuandi on Thu Feb 1 22:06:15 2024

ANN: Logtalk 3.74.0 released

By Paulo Moura on Wed Jan 31 11:40:00 2024

Latest reply by Paulo Moura on Wed Jan 31 11:40:00 2024

ANN: Dogelog Player 1.1.4 (Generational GC)

By Mild Shock on Thu Nov 30 17:55:57 2023

Latest reply by Mild Shock on Sat Jan 20 11:04:40 2024

Agelslot88 Login Daftar Slot Gacor Link Alternatif 2024

By totoagung on Sun Jan 7 18:42:21 2024

Latest reply by totoagung on Sun Jan 7 18:42:21 2024

Re: Tiobe Index: Prolog to Become Most Popular Langugage

By Mild Shock on Fri Oct 13 03:55:58 2023

Latest reply by Mild Shock on Sat Jan 6 07:45:48 2024

Re: Autum Challenge, 42 is the Answer

By Markus Triska on Thu Aug 31 21:26:55 2023

Latest reply by Mild Shock on Sat Jan 6 01:53:24 2024

Slot Gacor Website Game Slot Gacor Gampang Maxwin

By veron sebastian on Thu Dec 7 07:15:18 2023

Latest reply by lokal303 on Fri Dec 29 02:24:03 2023

LOKAL303 BANDAR SABUNG AYAM ONLINE TERHEBAT DAN TERPERCAYA

By lokal303 on Fri Dec 29 02:20:22 2023

Latest reply by lokal303 on Fri Dec 29 02:20:22 2023

=?UTF-8?Q?Slot777_=F0=9F=98=88_Daftar_Situs_Slot__Gacor_Server_Nexus_?=

By veron sebastian on Wed Dec 6 06:18:49 2023

Latest reply by Trehnop on Thu Dec 28 04:20:54 2023

ANN: Logtalk 3.73.0 released

By Paulo Moura on Tue Dec 12 06:29:55 2023

Latest reply by Paulo Moura on Tue Dec 12 06:29:55 2023

BALAKSIX Link Web Situs Slot Gacor 2023 Terbaru ...

By veron sebastian on Mon Dec 11 07:34:21 2023

Latest reply by veron sebastian on Mon Dec 11 07:34:21 2023

R4i3dmulticom V21

By Beata Tevada on Sun Dec 10 16:57:42 2023

Latest reply by Beata Tevada on Sun Dec 10 16:57:42 2023

Mcquarrie Simon Physical Chemistry Pdf Freel

By Beata Tevada on Sun Dec 10 16:57:32 2023

Latest reply by Beata Tevada on Sun Dec 10 16:57:32 2023

Front Line Tanks Bot

By Joane Haley on Sun Dec 10 11:16:47 2023

Latest reply by Joane Haley on Sun Dec 10 11:16:47 2023

AutoDesk AutoCAD Map 3D 2018 X64 (64bit) (Product Key And Xforce Keygen)

By Joane Haley on Sun Dec 10 11:16:39 2023

Latest reply by Joane Haley on Sun Dec 10 11:16:39 2023

Casper A15he Driver Win7

By Joane Haley on Sun Dec 10 11:16:30 2023

Latest reply by Joane Haley on Sun Dec 10 11:16:30 2023

Elite Software Chvac 8 Crack

By Joane Haley on Sun Dec 10 11:16:22 2023

Latest reply by Joane Haley on Sun Dec 10 11:16:22 2023

Studiolinkedvst Maybach Empire Kontakt.torrent

By Joane Haley on Sun Dec 10 11:16:14 2023

Latest reply by Joane Haley on Sun Dec 10 11:16:14 2023

Slot Dana5000 Server Luar Negeri: Sensasi Berjudi Slot Online Gacoryang Menguntungkan

By Jackpot86 Vip on Sat Dec 9 10:55:28 2023

Latest reply by Jackpot86 Vip on Sat Dec 9 10:55:28 2023

Slot Thailand Server Luar Negeri: Panduan Lengkap untuk Bermain SlotThailand Server Luar Negeri

By Agen Gacor on Sat Dec 9 09:57:54 2023

Latest reply by Agen Gacor on Sat Dec 9 09:57:54 2023

GATES OF OLYMPUS1000 | SITUS SLOT GACOR GATES OF OLYMPUS BERTEMAYUNANI KUNO YANG MENGUNTUNGKAN NEW MEMBER GAMPANG JP MAXWIN HARI INI

By slot zeus on Sat Dec 9 09:50:50 2023

Latest reply by slot zeus on Sat Dec 9 09:50:50 2023

Solid Angle Cinema 4D To Arnold 2.5.2 For Cinema 4D R19-R20 Win

By Beata Tevada on Fri Dec 8 01:48:28 2023

Latest reply by Beata Tevada on Fri Dec 8 01:48:28 2023

Sygic Aktivasyon Kodu Indir 1

By Beata Tevada on Thu Dec 7 04:41:13 2023

Latest reply by Beata Tevada on Thu Dec 7 04:41:13 2023

Watch Doctor Strange (English) In Hindi

By Beata Tevada on Thu Dec 7 04:41:02 2023

Latest reply by Beata Tevada on Thu Dec 7 04:41:02 2023

Davide Van De Sfroos - Discografia - 1992-2011 Jurassic Combats Mus

By Beata Tevada on Thu Dec 7 04:40:52 2023

Latest reply by Beata Tevada on Thu Dec 7 04:40:52 2023

Rational Rose Enterprise Edition V 7.0

By Beata Tevada on Thu Dec 7 04:40:44 2023

Latest reply by Beata Tevada on Thu Dec 7 04:40:44 2023

Moonstone Tavern - A Fantasy Tavern Sim! Download Requirementsl

By Beata Tevada on Thu Dec 7 04:40:34 2023

Latest reply by Beata Tevada on Thu Dec 7 04:40:34 2023

=?UTF-8?Q?LINESLOT88=E2=9C=85_LOGIN_DAN_DAFTAR_AGEN_SLOT_GACOR_MUDAH?==?UTF-8?Q?_MAXWIN_HARI_INI?=

By red slot on Tue Dec 5 23:39:00 2023

Latest reply by red slot on Tue Dec 5 23:39:00 2023

SLOT88 THAILAND | SLOT DANA 88 | SLOT88 | SLOT88 OVO | KUMPULAN SITUSSLOT GACOR NEW MEMBER WAJIB JP MAXWIN HARI INI NO#1

By slot thailand on Tue Dec 5 13:39:37 2023

Latest reply by slot thailand on Tue Dec 5 13:39:37 2023

SLOT777 : Daftar Situs Slot Gacor 777 Rekomendasi Saat Ini ...

By veron sebastian on Tue Dec 5 09:37:48 2023

Latest reply by veron sebastian on Tue Dec 5 09:37:48 2023

LINESLOT88 | LOGIN & DAFTAR SLOT GACOR TERPERCAYA NO.1 SE-INDONESIA

By red slot on Mon Dec 4 20:25:50 2023

Latest reply by red slot on Mon Dec 4 20:25:50 2023

DANA SLOT : LINK 18 DAFTAR SITUS SLOT DANA TANPA POTONGAN GAMPANGJEPE PAUS MENANG MAXWIN TERBARU & TERLARIS HARI INI DI INDONESIA

By gas kan on Mon Dec 4 09:30:05 2023

Latest reply by gas kan on Mon Dec 4 09:30:05 2023

SLOT PULSA | SITUS JUDI ONLINE DEPOSIT VIA PULSA TANPA POTONGAN |DAFTAR DEPOSIT TERLENGKAP SLOT PULSA TANPA POTONGAN | DEPOSIT VIA PULSAONLINE 24 JAM | KUMPULAN SITUS JUDI SLOT PULSA TANPA POTONGAN TERLARIS HARIINI DI INDONESIA

By data base on Mon Dec 4 09:22:21 2023

Latest reply by data base on Mon Dec 4 09:22:21 2023

SLOT OLYMPUS GATES DAFTAR 11 LINK SLOT OLYMPUS NO1 DI INDONESIA SITUSSLOT GACOR GAMPANG JEPE MAXWIN TERLARIS HARI INI

By BOB ADMIN OV9 on Mon Dec 4 08:56:28 2023

Latest reply by BOB ADMIN OV9 on Mon Dec 4 08:56:28 2023

ANN: Dogelog Player 1.1.3 (Tuning Trilogy)

By Mild Shock on Wed Nov 8 23:36:00 2023

Latest reply by Mild Shock on Thu Nov 30 00:46:03 2023

Nut Cracker Challenge 2023/2024: SAT Sudoku

By Mild Shock on Thu Nov 30 00:09:25 2023

Latest reply by Mild Shock on Thu Nov 30 00:09:25 2023

Taking Sides: Clashing Views On Bioethical Issues Free Download

By Pascale Lakkis on Wed Nov 29 19:00:13 2023

Latest reply by Pascale Lakkis on Wed Nov 29 19:00:13 2023

Clean My Mac X 4.4.4 Crack With Keygen Latest Version {Win Mac}

By Pascale Lakkis on Wed Nov 29 18:59:27 2023

Latest reply by Pascale Lakkis on Wed Nov 29 18:59:27 2023

Njanum Ente Aniyathiyum Pdf Download

By Pascale Lakkis on Wed Nov 29 18:58:49 2023

Latest reply by Pascale Lakkis on Wed Nov 29 18:58:49 2023

Super Lig De 21. Haftan N Hakemleri Ac Kland | Super Lig 21. Haftan NProgram Ve Hakemler

By Pascale Lakkis on Wed Nov 29 18:58:08 2023

Latest reply by Pascale Lakkis on Wed Nov 29 18:58:08 2023

Amrutha [2002-MP3-VBR-320Kbps]

By Pascale Lakkis on Wed Nov 29 18:57:25 2023

Latest reply by Pascale Lakkis on Wed Nov 29 18:57:25 2023

Amazing Dolphin Encounter 1080p Video

By Pascale Lakkis on Wed Nov 29 18:56:44 2023

Latest reply by Pascale Lakkis on Wed Nov 29 18:56:44 2023

The Nari Teri Shakti Anokhi 2012 Movie Free Download In Hindi

By Pascale Lakkis on Wed Nov 29 18:55:51 2023

Latest reply by Pascale Lakkis on Wed Nov 29 18:55:51 2023

Da Ladro A Poliziotto 1 Full Movie Download In Hd

By Pascale Lakkis on Wed Nov 29 18:55:02 2023

Latest reply by Pascale Lakkis on Wed Nov 29 18:55:02 2023

PartitionGuru Pro 3.7 Crack Keygen

By Pascale Lakkis on Wed Nov 29 04:56:40 2023

Latest reply by Pascale Lakkis on Wed Nov 29 04:56:40 2023

Licensed Email And Registration Code For Wondershare 103

By Pascale Lakkis on Wed Nov 29 04:16:35 2023

Latest reply by Pascale Lakkis on Wed Nov 29 04:16:35 2023

VelammaEpisode1Hindipdf

By Pascale Lakkis on Wed Nov 29 04:14:39 2023

Latest reply by Pascale Lakkis on Wed Nov 29 04:14:39 2023

Sonic Gather Battle Sage

By Pascale Lakkis on Wed Nov 29 04:12:46 2023

Latest reply by Pascale Lakkis on Wed Nov 29 04:12:46 2023

HD Online Player (premier Kahini Bengali Full Movie Fr)

By Pascale Lakkis on Wed Nov 29 04:06:32 2023

Latest reply by Pascale Lakkis on Wed Nov 29 04:06:32 2023

Les Mills: SH\\\\\\\\'BAM 10 - Master Class (2012)

By Pascale Lakkis on Wed Nov 29 04:02:22 2023

Latest reply by Pascale Lakkis on Wed Nov 29 04:02:22 2023

CRACK InPixio Photo Clip Professional 9.2.1 Crack

By Pascale Lakkis on Wed Nov 29 03:59:18 2023

Latest reply by Pascale Lakkis on Wed Nov 29 03:59:18 2023

AutoCAD Map 3D 2006 64 Bit Adlmint.dll Crack Download

By Pascale Lakkis on Wed Nov 29 03:56:40 2023

Latest reply by Pascale Lakkis on Wed Nov 29 03:56:40 2023

HD Online Player (Rustom Full Movie In Hindi Hd 1080p)

By Pascale Lakkis on Wed Nov 29 03:53:39 2023

Latest reply by Pascale Lakkis on Wed Nov 29 03:53:39 2023

HD Online Player (Project X 720p Download 79)

By Pascale Lakkis on Wed Nov 29 03:49:18 2023

Latest reply by Pascale Lakkis on Wed Nov 29 03:49:18 2023

Child Play 2 Full Movie 13

By Pascale Lakkis on Wed Nov 29 03:46:54 2023

Latest reply by Pascale Lakkis on Wed Nov 29 03:46:54 2023

Free Download Cubase 5 Full Version For Windows Xp

By Bennegui Mohamed saber on Tue Nov 21 17:28:32 2023

Latest reply by Bennegui Mohamed saber on Tue Nov 21 17:28:32 2023

Aa Gaye Munde UK De Download Kickass Movies

By Bennegui Mohamed saber on Tue Nov 21 17:27:35 2023

Latest reply by Bennegui Mohamed saber on Tue Nov 21 17:27:35 2023

Unlock Password Plc Siemens S7 300 Rar

By Bennegui Mohamed saber on Tue Nov 21 17:26:48 2023

Latest reply by Bennegui Mohamed saber on Tue Nov 21 17:26:48 2023

MSAct 2.07

By Bennegui Mohamed saber on Tue Nov 21 17:26:01 2023

Latest reply by Bennegui Mohamed saber on Tue Nov 21 17:26:01 2023

Download Contract Vanzare Cumparare Auto Germania

By Bennegui Mohamed saber on Tue Nov 21 17:25:17 2023

Latest reply by Bennegui Mohamed saber on Tue Nov 21 17:25:17 2023

Zplane Vielklang Instant Harmony V2 Crack

By Bennegui Mohamed saber on Tue Nov 21 17:24:32 2023

Latest reply by Bennegui Mohamed saber on Tue Nov 21 17:24:32 2023

Autumn Challenge 2023: Lion and Unicorn

By Mild Shock on Sun Nov 5 16:42:58 2023

Latest reply by Mild Shock on Mon Nov 20 04:25:00 2023

Re: Request for comments, Novacore the sequel to ISO modules

By Mostowski Collapse on Wed Mar 8 01:45:14 2023

Latest reply by Mild Shock on Sun Nov 19 20:01:48 2023

=?UTF-8?Q?SLOT_OLYMPUS_=E2=9A=A1_VWSLOT_SITUS_SLOT_OLYMPUS_GACOR_GAM?==?UTF-8?Q?PANG_MENANG?=

By red slot on Thu Nov 16 00:32:28 2023

Latest reply by red slot on Thu Nov 16 00:32:28 2023

ANN: Logtalk 3.72.0 released

By Paulo Moura on Thu Nov 9 04:27:34 2023

Latest reply by Paulo Moura on Thu Nov 9 04:27:34 2023

ANN: Dogelog Player 1.1.2 (Java Target)

By Mild Shock on Sun Oct 8 16:28:49 2023

Latest reply by Mild Shock on Wed Nov 8 22:13:22 2023

Re: Cut opaqueness in ISO prolog

By Mild Shock on Sun Oct 29 17:49:42 2023

Latest reply by Mild Shock on Wed Nov 8 10:06:56 2023

Prolog Implementation for Parsing

By Josh Cho on Fri Oct 27 21:39:34 2023

Latest reply by Mild Shock on Sun Nov 5 13:12:05 2023

Re: Prolog code for alpha variants

By Mild Shock on Wed Oct 18 05:59:24 2023

Latest reply by Mild Shock on Thu Oct 19 10:04:21 2023

=?UTF-8?B?8J+OiTEwIOC4o+C4seC4miAxMDAg4LiX4LmN4LiyIDIwMCDguJbguK3guJnguYTguJQ=?==?UTF-8?B?4LmJIDEwMCDguKfguK3guYDguKXguJfwn46J?=

By Henrietta Queena on Tue Oct 17 20:57:35 2023

Latest reply by Henrietta Queena on Tue Oct 17 20:57:35 2023

1

By Henrietta Queena on Tue Oct 17 20:48:48 2023

Latest reply by Henrietta Queena on Tue Oct 17 20:48:48 2023

ANN: Logtalk 3.71.0 released

By Paulo Moura on Thu Oct 12 06:36:27 2023

Latest reply by Paulo Moura on Thu Oct 12 06:36:27 2023

SWI absurdly slow

By Julio Di Egidio on Tue Oct 10 13:41:36 2023

Latest reply by Mild Shock on Wed Oct 11 02:18:43 2023

Re: France is the Fire Nation of Prolog

By Mild Shock on Tue Oct 10 15:54:41 2023

Latest reply by Mild Shock on Tue Oct 10 16:08:54 2023

Autum Challenge: Short Deadfish Numbers

By Mild Shock on Wed Oct 4 12:22:21 2023

Latest reply by Mild Shock on Mon Oct 9 15:52:21 2023

The Missing Link in Picat: Mercury States

By Mild Shock on Tue Oct 3 08:33:18 2023

Latest reply by Mild Shock on Thu Oct 5 13:00:21 2023

ANN: Dogelog Player 1.1.1 (GNU Arithmetic)

By Mild Shock on Wed Sep 13 20:59:40 2023

Latest reply by Mild Shock on Wed Oct 4 19:06:56 2023

ANN: Jalog 1.4 released - Strings

By Ari Okkonen on Fri Sep 29 15:22:18 2023

Latest reply by Ari Okkonen on Fri Sep 29 15:22:18 2023

Re: Summary of ISO draft - Help me find my mistakes

By Mild Shock on Thu Sep 28 13:17:16 2023

Latest reply by Mild Shock on Fri Sep 29 00:20:33 2023

Research position at Monash University for Neurosymbolic project

By Maria Garcia De La Banda Garcia on Wed Sep 20 13:54:04 2023

Latest reply by Maria Garcia De La Banda Garcia on Wed Sep 20 13:54:04 2023

ANN: Dogelog Runtime 1.6.3 (Downsized FFI)

By Mild Shock on Wed Sep 20 02:35:03 2023

Latest reply by Mild Shock on Wed Sep 20 02:35:03 2023

ANN: Logtalk 3.70.0 released

By Paulo Moura on Mon Sep 18 02:38:17 2023

Latest reply by Paulo Moura on Mon Sep 18 02:38:17 2023

Re: Request for comments: Two types of float of integer division

By Mild Shock on Sat Sep 9 11:09:45 2023

Latest reply by Mild Shock on Mon Sep 11 14:31:47 2023

Creating A PATH in miniPROLOG

By Graham Cooper on Wed May 17 05:19:16 2023

Latest reply by Graham Cooper on Fri Sep 8 22:21:09 2023

ANN: Dogelog Player 1.1.0 (Multilingual Novacore)

By Mild Shock on Sun Jul 30 21:29:54 2023

Latest reply by Mild Shock on Thu Sep 7 19:19:50 2023

Re: Post Corona 2023 Fibertalk Challenge

By Mostowski Collapse on Sat Mar 4 13:27:16 2023

Latest reply by Mild Shock on Wed Aug 23 00:55:57 2023

ANN: Logtalk 3.69.0 released

By Paulo Moura on Mon Aug 21 02:36:32 2023

Latest reply by Paulo Moura on Mon Aug 21 02:36:32 2023

ANN: Dogelog Runtime 1.6.2 (Truely Headless)

By Mild Shock on Sun Aug 13 19:47:36 2023

Latest reply by Mild Shock on Sun Aug 13 19:47:36 2023

Re: New AI Stack Exchange

By Mild Shock on Tue Aug 1 06:52:59 2023

Latest reply by Mild Shock on Tue Aug 1 07:33:21 2023

Re: Bringing Unicode to Prolog (Dogelog Runtime)

By Mostowski Collapse on Thu Mar 16 11:54:01 2023

Latest reply by Mild Shock on Mon Jul 31 10:06:17 2023

Re: Preventing further Brainwash by Logtalk

By Mostowski Collapse on Tue Apr 4 01:05:17 2023

Latest reply by Mild Shock on Fri Jul 28 05:12:43 2023

ANN: Dogelog Player 1.0.6 (GNU Prolog Stub)

By Mild Shock on Sun Jun 18 13:01:17 2023

Latest reply by Mild Shock on Thu Jul 27 18:23:28 2023

ANN: Logtalk 3.68.0 released

By Paulo Moura on Tue Jul 25 03:09:17 2023

Latest reply by Paulo Moura on Tue Jul 25 03:09:17 2023

ANN: Dogelog Runtime 1.6.0 (POST Requests)

By Mostowski Collapse on Sun May 21 15:19:50 2023

Latest reply by Mild Shock on Mon Jul 17 03:51:59 2023

Sayara Auto Parts Store WooCommerce WordPress Theme

By Ripon Ali on Wed Jul 5 16:42:32 2023

Latest reply by Ripon Ali on Wed Jul 5 16:42:32 2023

ANN: Logtalk 3.67.0 released

By Paulo Moura on Tue Jul 4 07:43:29 2023

Latest reply by Paulo Moura on Tue Jul 4 07:43:29 2023

Re: Travel Salesman Problem

By =?UTF-8?Q?V_=C3=B5_l_u_r?= on Mon Jun 19 18:49:52 2023

Latest reply by =?UTF-8?Q?V_=C3=B5_l_u_r?= on Mon Jun 19 18:49:52 2023

ANN: Logtalk 3.66.0 released

By Paulo Moura on Tue May 30 06:02:22 2023

Latest reply by Paulo Moura on Tue May 30 06:02:22 2023

ANN: Dogelog Player 1.0.5 (Chat-80 in Novacore)

By Mostowski Collapse on Thu Apr 6 14:14:24 2023

Latest reply by Mostowski Collapse on Mon May 22 12:01:35 2023

ANN: Dogelog Runtime 1.5.6 (POST Requests)

By Mostowski Collapse on Sun May 21 15:15:27 2023

Latest reply by Mostowski Collapse on Sun May 21 15:15:27 2023

ANN: Dogelog Runtime 1.5.6 (Novacore Edition)

By Mostowski Collapse on Thu May 4 14:27:39 2023

Latest reply by Mostowski Collapse on Fri May 19 18:02:16 2023

=?UTF-8?Q?How_Prolog_relates_to_Model_Theory_=e2=8a=a8=e2=89=a1?= =?UTF-8?B?4oqi?=

By olcott on Mon May 15 20:02:58 2023

Latest reply by olcott on Mon May 15 20:02:58 2023

Is ChatGPT correct about this formalization of the Liar Paradox inProlog?

By olcott on Sat May 13 10:03:14 2023

Latest reply by olcott on Sat May 13 10:03:14 2023

*************************** miniPROLOG Finished ************************

By Graham Cooper on Thu May 11 03:12:35 2023

Latest reply by Graham Cooper on Thu May 11 03:12:35 2023

miniPROLOG working !

By Graham Cooper on Tue May 9 08:31:06 2023

Latest reply by Graham Cooper on Tue May 9 08:31:06 2023

GO CITY1 CITY2 .... with BACKTRACKING!

By Graham Cooper on Tue May 9 04:46:01 2023

Latest reply by Graham Cooper on Tue May 9 04:46:01 2023

PROGRAMMING CHALLENGE - $5000 PayPal PRIZE

By Graham Cooper on Mon May 8 17:03:34 2023

Latest reply by Graham Cooper on Mon May 8 17:03:34 2023

Finally (almost) got .... go CITY1 CITY2

By Graham Cooper on Mon May 8 05:12:57 2023

Latest reply by Graham Cooper on Mon May 8 05:12:57 2023

**** PROLOG.COM **** bought by Visual Prolog

By Graham Cooper on Sun May 7 02:59:08 2023

Latest reply by Graham Cooper on Sun May 7 02:59:08 2023

Does SWISH solve simultaneous equations ?

By Graham Cooper on Sat May 6 18:52:06 2023

Latest reply by Graham Cooper on Sat May 6 18:52:06 2023

I got Peano Arithmetic working but not simultaneous equations

By Graham Cooper on Sat May 6 18:25:40 2023

Latest reply by Graham Cooper on Sat May 6 18:25:40 2023

ping JAN ........ try the [DOWNLOAD] link

By Graham Cooper on Sat May 6 00:04:02 2023

Latest reply by Graham Cooper on Sat May 6 01:07:13 2023

miniPROLOG --- num [ s 0 ] ........................... 5 page trace

By Graham Cooper on Fri May 5 07:05:37 2023

Latest reply by Graham Cooper on Fri May 5 07:05:37 2023

Really Difficult Routine to finish miniPROLOG.com

By Graham Cooper on Thu May 4 03:52:02 2023

Latest reply by Graham Cooper on Fri May 5 05:07:31 2023

SIMPLE UNIFY( string1 string2 )

By Graham Cooper on Wed May 3 01:49:31 2023

Latest reply by Graham Cooper on Wed May 3 01:49:31 2023

Re: --- ARCHIMEDES PLUTONIUM BANNED---

By Archimedes Plutonium on Sat Apr 22 18:46:48 2023

Latest reply by Mostowski Collapse on Sun Apr 30 22:17:58 2023

add [ s [s 0] ] - [ s [s 0] ] .................... debugging HARD

By Graham Cooper on Sun Apr 30 10:30:02 2023

Latest reply by Graham Cooper on Sun Apr 30 10:30:02 2023

Re: ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFD

By Archimedes Plutonium on Wed Apr 26 22:28:34 2023

Latest reply by Archimedes Plutonium on Sun Apr 30 07:51:26 2023

******************************* miniPROLOG ****************************

By Graham Cooper on Thu Apr 27 16:22:41 2023

Latest reply by Graham Cooper on Thu Apr 27 16:22:41 2023

ANN: Logtalk 3.65.0 released

By Paulo Moura on Thu Apr 27 07:36:44 2023

Latest reply by Paulo Moura on Thu Apr 27 07:36:44 2023

Re: Can't find the paper "From Prolog to Haskell and Back" bySchrijvers and Demoen

By Mostowski Collapse on Wed Apr 26 03:47:49 2023

Latest reply by Mostowski Collapse on Thu Apr 27 04:51:13 2023

************** COMPILED PROLOG TRACE ******************friendOfNiece( FFF )

By Graham Cooper on Thu Apr 27 02:39:19 2023

Latest reply by Graham Cooper on Thu Apr 27 02:39:19 2023

Re: When you are standing in front of a Formal System

By Mostowski Collapse on Tue Apr 18 15:55:59 2023

Latest reply by Mostowski Collapse on Sat Apr 22 02:29:44 2023

PROGRESS ............... friendOfNiece( tom , F )

By Graham Cooper on Thu Apr 20 03:24:23 2023

Latest reply by Graham Cooper on Thu Apr 20 03:24:23 2023

conversion to conjunctive normal form

By Mark Tarver on Thu Mar 23 13:22:06 2023

Latest reply by Mostowski Collapse on Wed Apr 19 10:18:47 2023

Re: comparing infinite terms

By Mostowski Collapse on Wed Mar 22 08:51:30 2023

Latest reply by Mostowski Collapse on Thu Apr 13 05:54:41 2023

Re: ANN: Dogelog Player 1.0.4 (Time-Out Alarm)

By Mostowski Collapse on Mon Mar 6 08:31:07 2023

Latest reply by Mostowski Collapse on Sat Apr 1 16:10:39 2023

ANN: Logtalk 3.64.0 released

By Paulo Moura on Tue Mar 28 06:36:12 2023

Latest reply by Paulo Moura on Tue Mar 28 06:36:12 2023

Re: Investigating Proof Graphs: Euclid

By Mostowski Collapse on Fri Mar 17 02:05:11 2023

Latest reply by Mostowski Collapse on Fri Mar 17 02:05:11 2023

*** miniPROLOG *** ADD and EDIT screen pics

By Graham Cooper on Tue Mar 7 23:32:25 2023

Latest reply by Graham Cooper on Tue Mar 7 23:32:25 2023

*** miniPROLOG 4 PiCS ***

By Graham Cooper on Tue Mar 7 09:59:35 2023

Latest reply by Graham Cooper on Tue Mar 7 09:59:35 2023

********** miniPROLOG ********* Invoices

By Graham Cooper on Sun Mar 5 10:52:20 2023

Latest reply by Graham Cooper on Sun Mar 5 10:52:20 2023