Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  nodelist  faq  login

Computers are useless. They can only give you answers. -- Pablo Picasso


programming / comp.lang.prolog

Pages:123
SubjectRepliesLast Message
o Towards OS Polyglott Prolog Systems

By: Mostowski Collapse on Tue, 24 May 2022

4

16 Hours 36 Minutes ago

By: Aleksy Grabowski

o About the Operator '|' and the DCG Draft

By: Mostowski Collapse on Mon, 10 Jan 2022

64

3 Days 14 Hours ago

By: Mostowski Collapse

o Re: Correcting logic to make it a system of correct reasoning [

By: olcott on Sat, 14 May 2022

15

6 Days 12 Hours ago

By: Richard Damon

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Mon, 16 May 2022

0

9 Days 7 Hours ago

By: Markus Triska

o --- ARCHIMEDES PLUTONIUM BANNED---

By: Mostowski Collapse on Wed, 21 Jul 2021

26

11 Days 21 Hours ago

By: Mostowski Collapse

o ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFD

By: Graham Cooper on Mon, 21 Jun 2021

67

12 Days 12 Hours ago

By: Archimedes Plutonium

o More Jan Burse stalker of 20 years pestering in sci.math

By: Archimedes Plutonium on Thu, 12 May 2022

0

13 Days 3 Hours ago

By: Archimedes Plutonium

o Re: All my reviewers expect a halt decider to have psychic power

By: olcott on Sat, 7 May 2022

0

17 Days 14 Hours ago

By: olcott

o Is this correct Prolog?

By: olcott on Sat, 30 Apr 2022

172

18 Days 15 Hours ago

By: olcott

o about C. G. Morgan review of Chang - Lee book

By: Paola Cattabriga on Fri, 6 May 2022

0

19 Days 4 Hours ago

By: Paola Cattabriga

o 50 Years of Prolog Nonsense

By: Mostowski Collapse on Fri, 28 Jan 2022

50

20 Days 1 Hour ago

By: Mostowski Collapse

o ANN: Dogelog Player 0.9.8

By: Mostowski Collapse on Mon, 21 Mar 2022

5

20 Days 4 Hours ago

By: Mostowski Collapse

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Mon, 2 May 2022

0

23 Days 7 Hours ago

By: Markus Triska

o Re: on "infinitely recursive" and "recursive"

By: polcott on Sun, 1 May 2022

1

23 Days 18 Hours ago

By: Richard Damon

o Its a shame that stackoverflow doesn't support Prolog

By: Mostowski Collapse on Wed, 22 Sep 2021

51

25 Days 19 Hours ago

By: Mostowski Collapse

o ANN: Logtalk 3.55.0 released

By: Paulo Moura on Thu, 28 Apr 2022

0

26 Days 22 Hours ago

By: Paulo Moura

o The Programming Language Wars have just begun

By: Mostowski Collapse on Sat, 3 Jul 2021

16

1 Month 3 Days ago

By: Mostowski Collapse

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Sat, 16 Apr 2022

0

1 Month 9 Days ago

By: Markus Triska

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Sat, 2 Apr 2022

0

1 Month 23 Days ago

By: Markus Triska

o Does a Prolog system use StrictMath or Math?

By: Mostowski Collapse on Mon, 21 Mar 2022

19

1 Month 27 Days ago

By: Mostowski Collapse

o i have a question ! :)

By: Omar Arharbi on Thu, 24 Mar 2022

0

2 Months 1 Day ago

By: Omar Arharbi

o ANN: Logtalk 3.54.0 released

By: Paulo Moura on Tue, 22 Mar 2022

0

2 Months 2 Days ago

By: Paulo Moura

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Wed, 16 Mar 2022

0

2 Months 9 Days ago

By: Markus Triska

o Web Prolog, Elixir and COBOL

By: Transfinite Numbers on Mon, 2 Sep 2019

278

2 Months 20 Days ago

By: Mostowski Collapse

o ANN: Dogelog Player 0.9.7

By: Mostowski Collapse on Sat, 18 Dec 2021

10

2 Months 20 Days ago

By: Mostowski Collapse

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Wed, 2 Mar 2022

0

2 Months 23 Days ago

By: Markus Triska

o Syntax errors

By: solitary....@gmail.c on Wed, 23 Feb 2022

1

3 Months 1 Day ago

By: Julio Di Egidio

o Re: Concise refutation of halting problem proofs V62 [ my legacy ](

By: olcott on Sat, 19 Feb 2022

0

3 Months 6 Days ago

By: olcott

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Wed, 16 Feb 2022

0

3 Months 9 Days ago

By: Markus Triska

o France is the Fire Nation of Prolog

By: Mostowski Collapse on Wed, 21 Jul 2021

67

3 Months 10 Days ago

By: Mostowski Collapse

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Wed, 2 Feb 2022

0

3 Months 23 Days ago

By: Markus Triska

o Re: Concise refutation of halting problem proofs V52 [ Ignorant or

By: olcott on Sat, 22 Jan 2022

0

4 Months 2 Days ago

By: olcott

o ANN: Logtalk 3.53.0 released

By: Paulo Moura on Thu, 20 Jan 2022

0

4 Months 4 Days ago

By: Paulo Moura

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Sun, 16 Jan 2022

0

4 Months 9 Days ago

By: Markus Triska

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Sun, 2 Jan 2022

0

4 Months 23 Days ago

By: Markus Triska

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Thu, 16 Dec 2021

0

5 Months 8 Days ago

By: Markus Triska

o ANN: Dogelog, Invitation to the Moon!

By: Mostowski Collapse on Tue, 7 Dec 2021

6

5 Months 9 Days ago

By: Mostowski Collapse

o ANN: Logtalk 3.52.0 released

By: Paulo Moura on Tue, 7 Dec 2021

0

5 Months 17 Days ago

By: Paulo Moura

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Thu, 2 Dec 2021

0

5 Months 23 Days ago

By: Markus Triska

o Re: TSP with Prolog

By: JAY PRAKASH on Tue, 30 Nov 2021

1

5 Months 25 Days ago

By: Mostowski Collapse

o Concise refutation of halting problem proofs V22 [ precisely defined

By: olcott on Sat, 20 Nov 2021

0

6 Months 4 Days ago

By: olcott

o Re: retract problem in SWI-Prolog

By: Hoang Nguyen Duy on Thu, 18 Nov 2021

1

6 Months 6 Days ago

By: Julio Di Egidio

o AMA_IL_SESSO_ANALE:_#MARIAPAOLATOSCHI_DI_#JPMORGAN!_

By: LORENZO PIACENTINI L on Thu, 18 Nov 2021

0

6 Months 7 Days ago

By: LORENZO PIACENTINI L

o VUOLE_TANTO_SESSO_ANALE:_#MARIAPAOLATOSCHI_DI_#JPMOR

By: FRANCESCO PERILLI EQ on Tue, 16 Nov 2021

0

6 Months 8 Days ago

By: FRANCESCO PERILLI EQ

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Tue, 16 Nov 2021

0

6 Months 9 Days ago

By: Markus Triska

o Lets make 2022 the year of Garbage Collection

By: Mostowski Collapse on Tue, 26 Oct 2021

6

6 Months 14 Days ago

By: Mostowski Collapse

o ANN: Dogelog: We Have Liftoff, We Have Liftoff

By: Mostowski Collapse on Mon, 24 May 2021

75

6 Months 17 Days ago

By: Mostowski Collapse

o ANN: A portable and decentralized package manager for sharing Logtalk

By: Paulo Moura on Thu, 28 Oct 2021

2

6 Months 22 Days ago

By: Paulo Moura

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Tue, 2 Nov 2021

0

6 Months 23 Days ago

By: Markus Triska

o How Logtalk Nonsense missed the Python Bandwagon

By: Mostowski Collapse on Mon, 27 Sep 2021

11

6 Months 26 Days ago

By: Mostowski Collapse

o ANN: Shen S31 released

By: Mark Tarver on Wed, 27 Oct 2021

0

6 Months 28 Days ago

By: Mark Tarver

o ANN: Logtalk 3.51.0 released

By: Paulo Moura on Tue, 26 Oct 2021

0

6 Months 28 Days ago

By: Paulo Moura

o https://essi.indx.ca

By: Dhu on Gate on Fri, 22 Oct 2021

0

7 Months 3 Days ago

By: Dhu on Gate

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Sat, 16 Oct 2021

0

7 Months 9 Days ago

By: Markus Triska

o Hewitt's Planner

By: Mark Tarver on Fri, 1 Oct 2021

5

7 Months 23 Days ago

By: Mostowski Collapse

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Sat, 2 Oct 2021

0

7 Months 23 Days ago

By: Markus Triska

o *** A ROBOT CONTROL PROGRAM that gives commands like GO ROBOT START

By: Graham Cooper on Sun, 26 Sep 2021

0

7 Months 28 Days ago

By: Graham Cooper

o There is no Zero in Mathematics Digits Riddle

By: Mostowski Collapse on Tue, 21 Sep 2021

1

8 Months 3 Days ago

By: Mostowski Collapse

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

By: Mostowski Collapse on Tue, 14 Sep 2021

12

8 Months 4 Days ago

By: Mostowski Collapse

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Thu, 16 Sep 2021

0

8 Months 9 Days ago

By: Markus Triska

o Ann: Jalog dialect of Prolog available for Android applications

By: Ari Okkonen on Tue, 14 Sep 2021

0

8 Months 10 Days ago

By: Ari Okkonen

o Re: Preventing further Brainwash by Logtalk

By: Mostowski Collapse on Fri, 17 Jul 2020

24

8 Months 14 Days ago

By: Mostowski Collapse

o Issues with the dcgsdraft-2021-08-16.pdf

By: Mostowski Collapse on Mon, 30 Aug 2021

24

8 Months 14 Days ago

By: Mostowski Collapse

o More best kept secrets of Prolog: Pattern Matching

By: Mostowski Collapse on Thu, 2 Sep 2021

17

8 Months 16 Days ago

By: Mostowski Collapse

o The future of Prolog dicts

By: Mostowski Collapse on Wed, 25 Aug 2021

20

8 Months 16 Days ago

By: Mostowski Collapse

o DES 6.7 Released

By: FERNANDO SAENZ PEREZ on Sat, 4 Sep 2021

0

8 Months 20 Days ago

By: FERNANDO SAENZ PEREZ

o Re: That P(P) of main() halts does not contradict H(P,P)==0 [

By: olcott on Fri, 3 Sep 2021

0

8 Months 21 Days ago

By: olcott

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Thu, 2 Sep 2021

0

8 Months 23 Days ago

By: Markus Triska

o ANN: Logtalk 3.50.0 released

By: Paulo Moura on Tue, 31 Aug 2021

0

8 Months 23 Days ago

By: Paulo Moura

o Hello, new prolog programmer here!

By: joseph turco on Sat, 21 Aug 2021

6

8 Months 27 Days ago

By: Mostowski Collapse

o Goal reordering or advanced program transformation?

By: Mostowski Collapse on Wed, 18 Aug 2021

4

9 Months 5 Days ago

By: Mostowski Collapse

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Mon, 16 Aug 2021

0

9 Months 9 Days ago

By: Markus Triska

o Professor Position: Declarative Methods for Cognitive Robotics at KU L

By: Tom Schrijvers on Fri, 13 Aug 2021

0

9 Months 12 Days ago

By: Tom Schrijvers

o Family tree prolog problem. There are 3 errors, which i have written

By: The weeknd on Sun, 8 Aug 2021

0

9 Months 16 Days ago

By: The weeknd

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Mon, 2 Aug 2021

0

9 Months 23 Days ago

By: Markus Triska

o Bringing Unicode to Prolog (Dogelog Runtime)

By: Mostowski Collapse on Sat, 10 Jul 2021

30

9 Months 24 Days ago

By: Mostowski Collapse

o ********* ROBOT - SPIN FORWARD *******

By: Graham Cooper on Wed, 28 Jul 2021

0

9 Months 26 Days ago

By: Graham Cooper

o A challenge for Logtalk and GNU-Prolog (ensure_loaded/1)

By: Mostowski Collapse on Fri, 23 Jul 2021

16

9 Months 27 Days ago

By: Mostowski Collapse

o ANN: Logtalk 3.49.0 released

By: Paulo Moura on Tue, 27 Jul 2021

0

9 Months 28 Days ago

By: Paulo Moura

o ANN: Logtalk 3.49.0 released

By: Paulo Moura on Tue, 27 Jul 2021

0

9 Months 28 Days ago

By: Paulo Moura

o STRIPS V2 ............ recursive sub plans

By: Graham Cooper on Mon, 19 Jul 2021

0

10 Months 5 Days ago

By: Graham Cooper

o SUBPLANS .............. ROBOT move sword to castle [?]

By: Graham Cooper on Mon, 19 Jul 2021

0

10 Months 5 Days ago

By: Graham Cooper

o *DO ME GRAB SWORD*

By: Graham Cooper on Mon, 19 Jul 2021

0

10 Months 6 Days ago

By: Graham Cooper

o FUN PROLOG GAME IN 20 LINES!

By: Graham Cooper on Mon, 19 Jul 2021

0

10 Months 6 Days ago

By: Graham Cooper

o *

By: Graham Cooper on Mon, 19 Jul 2021

0

10 Months 6 Days ago

By: Graham Cooper

o JUST WALKING MY DRAGON

By: Graham Cooper on Sat, 17 Jul 2021

0

10 Months 8 Days ago

By: Graham Cooper

o S.T.R.I.P.S. PLANNER V1

By: Graham Cooper on Sat, 17 Jul 2021

0

10 Months 8 Days ago

By: Graham Cooper

o Join the Logica Universalis Webinar!

By: Mostowski Collapse on Fri, 16 Jul 2021

0

10 Months 8 Days ago

By: Mostowski Collapse

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Fri, 16 Jul 2021

0

10 Months 9 Days ago

By: Markus Triska

o Github Language Stats

By: Mostowski Collapse on Tue, 6 Jul 2021

7

10 Months 14 Days ago

By: Dhu on Gate

o Some Changes to the Concept of Solo Character (ISO Core Standard)

By: Mostowski Collapse on Fri, 2 Jul 2021

9

10 Months 14 Days ago

By: Mostowski Collapse

o ----GRAHAM COOPER BARRED FROM comp.lang.prolog ---- RFD

By: Automatic Plunkium on Fri, 9 Jul 2021

4

10 Months 15 Days ago

By: Automatic Plonkium

o EXTENDING BLOCKS WORLD (AI)

By: Graham Cooper on Fri, 9 Jul 2021

0

10 Months 16 Days ago

By: Graham Cooper

o New category for Archimedes Plutonium "Eccentric believers"

By: Mostowski Collapse on Fri, 9 Jul 2021

2

10 Months 16 Days ago

By: Mostowski Collapse

o ANN: Logtalk 3.48.0 released

By: Paulo Moura on Tue, 6 Jul 2021

0

10 Months 19 Days ago

By: Paulo Moura

o prove 2eN

By: Graham Cooper on Sun, 4 Jul 2021

0

10 Months 20 Days ago

By: Graham Cooper

o Prolog is a language from the 70's and Prologers still use 70's approa

By: Mostowski Collapse on Sun, 4 Jul 2021

2

10 Months 21 Days ago

By: Mostowski Collapse

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Fri, 2 Jul 2021

0

10 Months 23 Days ago

By: Markus Triska

o Blocks World in prolog with NO ( PARENTHESIS )

By: Graham Cooper on Tue, 15 Jun 2021

1

11 Months 3 Days ago

By: Mostowski Collapse

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Wed, 16 Jun 2021

0

11 Months 9 Days ago

By: Markus Triska

o Call for Papers: 21st IEEE International Working Conference on Source

By: Alexander Serebrenik on Mon, 7 Jun 2021

2

11 Months 15 Days ago

By: Graham Cooper

o Will SWI-Prolog ever have a JIT?

By: Mostowski Collapse on Sat, 15 May 2021

19

11 Months 18 Days ago

By: Mostowski Collapse

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Wed, 2 Jun 2021

1

11 Months 21 Days ago

By: Mostowski Collapse

o ANN: Logtalk 3.47.0 released

By: Paulo Moura on Tue, 1 Jun 2021

0

11 Months 24 Days ago

By: Paulo Moura

o ANN: Dogelog Runtime, Prolog to the Moon (2021)

By: Mostowski Collapse on Mon, 3 May 2021

9

1 Year ago

By: Mostowski Collapse

o Re: Halting theorem refutation ( halt deciding principle )

By: olcott on Thu, 20 May 2021

0

1 Year ago

By: olcott

o "high risk AI" needs documentation, Prologs bad examples

By: Mostowski Collapse on Fri, 30 Apr 2021

20

1 Year ago

By: Mostowski Collapse

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Sun, 16 May 2021

0

1 Year ago

By: Markus Triska

o ANN: Logtalk 3.46.0 released

By: Paulo Moura on Tue, 4 May 2021

0

1 Year ago

By: Paulo Moura

o ISO standard for quoted tokens and strings

By: M B on Tue, 13 Apr 2021

11

1 Year ago

By: Mostowski Collapse

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Sun, 2 May 2021

0

1 Year ago

By: Markus Triska

o Prolog Autologic on GitHub?

By: Mostowski Collapse on Tue, 19 Jan 2021

5

1 Year 1 Month ago

By: Mostowski Collapse

o April Fools Day Challenge

By: Mostowski Collapse on Wed, 31 Mar 2021

8

1 Year 1 Month ago

By: olcott

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Fri, 16 Apr 2021

0

1 Year 1 Month ago

By: Markus Triska

o Does this fail an occurs check: ?- equal(foo(X,Y), Y).

By: olcott on Fri, 9 Apr 2021

70

1 Year 1 Month ago

By: Mostowski Collapse

o Jokes aside, Logica is it worth a dime?

By: Mostowski Collapse on Tue, 13 Apr 2021

6

1 Year 1 Month ago

By: Mostowski Collapse

o Picat style translation into some higher order loop construct

By: Mostowski Collapse on Wed, 14 Apr 2021

5

1 Year 1 Month ago

By: Mostowski Collapse

o ISO standard for quoted tokens and strings

By: MB on Tue, 13 Apr 2021

0

1 Year 1 Month ago

By: MB

o shortest solution to Einstein's Riddle

By: Mark Tarver on Sun, 7 Mar 2021

50

1 Year 1 Month ago

By: Mostowski Collapse

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Fri, 2 Apr 2021

0

1 Year 1 Month ago

By: Markus Triska

o Trump launched his own Facebook with the help of Huawei today

By: Mostowski Collapse on Thu, 1 Apr 2021

0

1 Year 1 Month ago

By: Mostowski Collapse

o ANN: Jekejeke Prolog 1.5.0 (Dynamic Freshness)

By: Mostowski Collapse on Mon, 22 Mar 2021

8

1 Year 1 Month ago

By: Mostowski Collapse

o ANN: Logtalk 3.45.0 released

By: Paulo Moura on Tue, 23 Mar 2021

0

1 Year 2 Months ago

By: Paulo Moura

o Re: variable_names/1 and ordering

By: Mostowski Collapse on Sun, 21 Mar 2021

0

1 Year 2 Months ago

By: Mostowski Collapse

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Tue, 16 Mar 2021

0

1 Year 2 Months ago

By: Markus Triska

o prolog

By: Humaira Khurram on Mon, 15 Mar 2021

0

1 Year 2 Months ago

By: Humaira Khurram

o Lets make 2021 the year of Solver Cooperation

By: Mostowski Collapse on Thu, 4 Mar 2021

4

1 Year 2 Months ago

By: Dhu on Gate

o When you are standing in front of a Formal System

By: Mostowski Collapse on Thu, 11 Feb 2021

17

1 Year 2 Months ago

By: Mostowski Collapse

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Tue, 2 Mar 2021

0

1 Year 2 Months ago

By: Markus Triska

o From Prolog Dicts to Sparse Compounds

By: Mostowski Collapse on Wed, 24 Feb 2021

11

1 Year 2 Months ago

By: Mostowski Collapse

o Re: Tiobe Index: Prolog to Become Most Popular Langugage

By: Mostowski Collapse on Mon, 8 Feb 2021

10

1 Year 3 Months ago

By: Mostowski Collapse

o ANN: New hybrid logic and function programming language Elion

By: Mostowski Collapse on Sun, 7 Feb 2021

7

1 Year 3 Months ago

By: Mostowski Collapse

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Tue, 16 Feb 2021

0

1 Year 3 Months ago

By: Markus Triska

o TIC-TAC-TO Board ***************************************** <pic> *****

By: Graham Cooper on Mon, 15 Feb 2021

0

1 Year 3 Months ago

By: Graham Cooper

o 3 player tic tac to !

By: Graham Cooper on Mon, 15 Feb 2021

0

1 Year 3 Months ago

By: Graham Cooper

o ANN: Jekejeke Prolog 1.4.7 (Occurs Check)

By: Mostowski Collapse on Tue, 26 Jan 2021

8

1 Year 3 Months ago

By: Mostowski Collapse

o Write This in PROLOG

By: Graham Cooper on Mon, 8 Feb 2021

0

1 Year 3 Months ago

By: Graham Cooper

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

By: Graham Cooper on Mon, 8 Feb 2021

0

1 Year 3 Months ago

By: Graham Cooper

o Source local occurs check flag

By: Mostowski Collapse on Sat, 2 Jan 2021

38

1 Year 3 Months ago

By: Mostowski Collapse

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

By: Graham Cooper on Sat, 6 Feb 2021

0

1 Year 3 Months ago

By: Graham Cooper

o log1K.COM :::::: RLS 5

By: Graham Cooper on Thu, 4 Feb 2021

0

1 Year 3 Months ago

By: Graham Cooper

o ANN: Logtalk 3.44.0 released

By: Paulo Moura on Wed, 3 Feb 2021

0

1 Year 3 Months ago

By: Paulo Moura

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

By: Graham Cooper on Tue, 2 Feb 2021

0

1 Year 3 Months ago

By: Graham Cooper

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Tue, 2 Feb 2021

0

1 Year 3 Months ago

By: Markus Triska

o RLS3 - Relational Logic Solver III

By: Graham Cooper on Sun, 31 Jan 2021

0

1 Year 3 Months ago

By: Graham Cooper

o RLS2 - RELATIONAL LOGIC SOLVER

By: Graham Cooper on Sat, 30 Jan 2021

0

1 Year 3 Months ago

By: Graham Cooper

o SIMPLE THEOREM PROVER DESIGN - 3 INFERENCE RULES

By: Graham Cooper on Mon, 25 Jan 2021

0

1 Year 3 Months ago

By: Graham Cooper

o DES 6.6 Released

By: FERNANDO SAENZ PEREZ on Mon, 25 Jan 2021

0

1 Year 3 Months ago

By: FERNANDO SAENZ PEREZ

o SIMPLE THEOREM PROVER [1]

By: Graham Cooper on Mon, 25 Jan 2021

0

1 Year 4 Months ago

By: Graham Cooper

o dbMAP2 here B destination

By: Graham Cooper on Sat, 23 Jan 2021

0

1 Year 4 Months ago

By: Graham Cooper

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

By: Mostowski Collapse on Fri, 22 Jan 2021

1

1 Year 4 Months ago

By: Mostowski Collapse

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

By: Graham Cooper on Fri, 22 Jan 2021

0

1 Year 4 Months ago

By: Graham Cooper

o The Skynet challenge

By: Mostowski Collapse on Tue, 19 Jan 2021

1

1 Year 4 Months ago

By: Dhu on Gate

o goedel numbering in prolog

By: Paola Cattabriga on Tue, 19 Jan 2021

3

1 Year 4 Months ago

By: Graham Cooper

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

By: Graham Cooper on Mon, 18 Jan 2021

0

1 Year 4 Months ago

By: Graham Cooper

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Sat, 16 Jan 2021

0

1 Year 4 Months ago

By: Markus Triska

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

By: Mostowski Collapse on Wed, 30 Dec 2020

20

1 Year 4 Months ago

By: Mostowski Collapse

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Sat, 2 Jan 2021

0

1 Year 4 Months ago

By: Markus Triska

o BLOCKS WORLD V2.0

By: Graham Cooper on Tue, 29 Dec 2020

0

1 Year 4 Months ago

By: Graham Cooper

o BLoCKS WoRLD V1.0

By: Graham Cooper on Mon, 28 Dec 2020

0

1 Year 4 Months ago

By: Graham Cooper

o Detecting LIAR STATEMENTS!

By: Graham Cooper on Sun, 27 Dec 2020

2

1 Year 4 Months ago

By: Graham Cooper

o Working out LIAR LOGIC

By: Graham Cooper on Sat, 26 Dec 2020

0

1 Year 4 Months ago

By: Graham Cooper

o λProlog:_Vaporware,_Abandonware_or_Lazyware?

By: Mostowski Collapse on Sun, 13 Dec 2020

18

1 Year 4 Months ago

By: Mostowski Collapse

o ANN: Logtalk 3.43.0 released

By: Paulo Moura on Tue, 22 Dec 2020

1

1 Year 5 Months ago

By: Graham Cooper

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

By: Graham Cooper on Wed, 23 Dec 2020

0

1 Year 5 Months ago

By: Graham Cooper

o Open Source: There is no Right of Instruction

By: Mostowski Collapse on Tue, 22 Dec 2020

2

1 Year 5 Months ago

By: Mostowski Collapse

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

By: Graham Cooper on Sun, 20 Dec 2020

3

1 Year 5 Months ago

By: Mostowski Collapse

o Re: how do you scale prolog web apps?

By: Graham Cooper on Thu, 17 Dec 2020

3

1 Year 5 Months ago

By: Mostowski Collapse

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Wed, 16 Dec 2020

0

1 Year 5 Months ago

By: Markus Triska

o modpow() built-in anybody?

By: j4n bur53 on Thu, 13 Jun 2019

16

1 Year 5 Months ago

By: Mostowski Collapse

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

By: olcott on Tue, 8 Dec 2020

12

1 Year 5 Months ago

By: olcott

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

By: olcott on Sun, 6 Dec 2020

13

1 Year 5 Months ago

By: Mostowski Collapse

o ANN: Jekejeke Prolog 1.4.6 (Search Options)

By: Mostowski Collapse on Mon, 26 Oct 2020

4

1 Year 5 Months ago

By: Mostowski Collapse

o Re: Happy Thanksgiving to all (Ben is proven wrong by the actual

By: olcott on Wed, 2 Dec 2020

3

1 Year 5 Months ago

By: olcott

o Re: Both invocations of Confound_Halts() are decided consistently

By: olcott on Mon, 7 Dec 2020

0

1 Year 5 Months ago

By: olcott

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

By: olcott on Mon, 7 Dec 2020

0

1 Year 5 Months ago

By: olcott

o Olcott's correct refutation of the Peter Linz HP proof

By: olcott on Sun, 6 Dec 2020

1

1 Year 5 Months ago

By: Mostowski Collapse

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

By: olcott on Sat, 5 Dec 2020

0

1 Year 5 Months ago

By: olcott

o What if the ISO core standard were exactly the SWI-Prolog dialect?

By: Mostowski Collapse on Wed, 2 Dec 2020

8

1 Year 5 Months ago

By: Mostowski Collapse

o Re: _Refuting_the_Peter_Linz_HP_proof_(Ĥ_is_shown

By: olcott on Thu, 3 Dec 2020

0

1 Year 5 Months ago

By: olcott

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Wed, 2 Dec 2020

0

1 Year 5 Months ago

By: Markus Triska

o OT: Distance Learning Prolog

By: Mostowski Collapse on Fri, 13 Mar 2020

69

1 Year 5 Months ago

By: Mostowski Collapse

o The key aspects of x86utm are now finally complete (Refuting the HP

By: olcott on Mon, 19 Oct 2020

19

1 Year 5 Months ago

By: olcott

o XanaNews Statistic for comp.lang.prolog. 12/1/2020 8:01:49 AM

By: The Doctor on Tue, 1 Dec 2020

0

1 Year 5 Months ago

By: The Doctor

o Re: Reinventing QSAT inside Prolog

By: Mostowski Collapse on Sun, 22 Nov 2020

0

1 Year 6 Months ago

By: Mostowski Collapse

o Easter Programming Challenge

By: Mostowski Collapse on Thu, 2 Apr 2020

46

1 Year 6 Months ago

By: Mostowski Collapse

o Re: Towards list comprehension for Prolog

By: Transfinite Numbers on Thu, 24 Oct 2019

32

1 Year 6 Months ago

By: Mostowski Collapse

o swi prolog and webserver should have been used to make voting machine

By: azathot...@gmail.com on Tue, 17 Nov 2020

0

1 Year 6 Months ago

By: azathot...@gmail.com

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Mon, 16 Nov 2020

0

1 Year 6 Months ago

By: Markus Triska

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Mon, 2 Nov 2020

8

1 Year 6 Months ago

By: Mostowski Collapse

o counting logical inferences

By: Mark Tarver on Sun, 15 Nov 2020

1

1 Year 6 Months ago

By: Markus Triska

o A non-halting decider is defined

By: olcott on Wed, 28 Oct 2020

3

1 Year 6 Months ago

By: Mr Flibble

o I can't stand agile devops kub or node or java

By: Azathoth Hastur on Wed, 11 Nov 2020

0

1 Year 6 Months ago

By: Azathoth Hastur

o implementing a wesbite in swqi prolog help

By: Azathoth Hastur on Wed, 11 Nov 2020

0

1 Year 6 Months ago

By: Azathoth Hastur

o implementing findall in Prolog

By: Mark Tarver on Mon, 2 Nov 2020

7

1 Year 6 Months ago

By: Mostowski Collapse

o short Prolog programs with cuts neded

By: Mark Tarver on Mon, 2 Nov 2020

2

1 Year 6 Months ago

By: Graham Cooper

o Re: Open Thread: From Pengines to Pintegration

By: Mostowski Collapse on Fri, 30 Oct 2020

4

1 Year 6 Months ago

By: Mostowski Collapse

o The key aspects of x86utm are now finally complete (Refuting the HP

By: olcott on Tue, 20 Oct 2020

238

1 Year 6 Months ago

By: Mostowski Collapse

o olcott

By: Mr Flibble on Thu, 29 Oct 2020

0

1 Year 6 Months ago

By: Mr Flibble

o Architectural design of a halting problem solution

By: olcott on Tue, 27 Oct 2020

42

1 Year 6 Months ago

By: Mostowski Collapse

Pages:123

There are currently 165 users online
Total messages: 2,545,711

rocksolid light 0.7.2
clearneti2ptor