Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  nodelist  faq  

"How do I love thee? My accumulator overflows."


programming / comp.lang.prolog

Pages:123
SubjectRepliesLast Message
o ----JAN BURSE BARRED FROM comp.lang.prolog ---- RFD

By: Graham Cooper on Mon, 21 Jun 2021

47

10 Hours 33 Minutes ago

By: Archimedes Plutonium

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

By: Mostowski Collapse on Mon, 24 May 2021

44

1 Day 8 Hours ago

By: Mostowski Collapse

o Bringing Unicode to Prolog (Dogelog Runtime)

By: Mostowski Collapse on Sat, 10 Jul 2021

30

1 Day 16 Hours ago

By: Mostowski Collapse

o --- ARCHIMEDES PLUTONIUM BANNED---

By: Mostowski Collapse on Wed, 21 Jul 2021

8

3 Days 8 Hours ago

By: Mostowski Collapse

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

By: Graham Cooper on Wed, 28 Jul 2021

0

3 Days 16 Hours ago

By: Graham Cooper

o France is the Fire Nation of Prolog

By: Mostowski Collapse on Wed, 21 Jul 2021

8

3 Days 20 Hours ago

By: Mostowski Collapse

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

By: Mostowski Collapse on Fri, 23 Jul 2021

16

4 Days 15 Hours ago

By: Mostowski Collapse

o ANN: Logtalk 3.49.0 released

By: Paulo Moura on Tue, 27 Jul 2021

0

4 Days 20 Hours ago

By: Paulo Moura

o ANN: Logtalk 3.49.0 released

By: Paulo Moura on Tue, 27 Jul 2021

0

4 Days 20 Hours ago

By: Paulo Moura

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

By: Graham Cooper on Mon, 19 Jul 2021

0

12 Days 16 Hours ago

By: Graham Cooper

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

By: Graham Cooper on Mon, 19 Jul 2021

0

12 Days 16 Hours ago

By: Graham Cooper

o *DO ME GRAB SWORD*

By: Graham Cooper on Mon, 19 Jul 2021

0

12 Days 19 Hours ago

By: Graham Cooper

o FUN PROLOG GAME IN 20 LINES!

By: Graham Cooper on Mon, 19 Jul 2021

0

12 Days 19 Hours ago

By: Graham Cooper

o *

By: Graham Cooper on Mon, 19 Jul 2021

0

12 Days 19 Hours ago

By: Graham Cooper

o JUST WALKING MY DRAGON

By: Graham Cooper on Sat, 17 Jul 2021

0

14 Days 22 Hours ago

By: Graham Cooper

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

By: Graham Cooper on Sat, 17 Jul 2021

0

15 Days 5 Hours ago

By: Graham Cooper

o Join the Logica Universalis Webinar!

By: Mostowski Collapse on Fri, 16 Jul 2021

0

15 Days 18 Hours ago

By: Mostowski Collapse

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Fri, 16 Jul 2021

0

16 Days 1 Hour ago

By: Markus Triska

o Web Prolog, Elixir and COBOL

By: Transfinite Numbers on Mon, 2 Sep 2019

240

18 Days 18 Hours ago

By: Mostowski Collapse

o Github Language Stats

By: Mostowski Collapse on Tue, 6 Jul 2021

7

20 Days 20 Hours 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

21 Days 17 Hours ago

By: Mostowski Collapse

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

By: Automatic Plunkium on Fri, 9 Jul 2021

4

22 Days 10 Hours ago

By: Automatic Plonkium

o EXTENDING BLOCKS WORLD (AI)

By: Graham Cooper on Fri, 9 Jul 2021

0

22 Days 19 Hours ago

By: Graham Cooper

o New category for Archimedes Plutonium "Eccentric believers"

By: Mostowski Collapse on Fri, 9 Jul 2021

2

22 Days 19 Hours ago

By: Mostowski Collapse

o The Programming Language Wars have just begun

By: Mostowski Collapse on Sat, 3 Jul 2021

10

23 Days 13 Hours ago

By: Mostowski Collapse

o ANN: Logtalk 3.48.0 released

By: Paulo Moura on Tue, 6 Jul 2021

0

25 Days 20 Hours ago

By: Paulo Moura

o prove 2eN

By: Graham Cooper on Sun, 4 Jul 2021

0

27 Days 17 Hours 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

27 Days 22 Hours ago

By: Mostowski Collapse

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Fri, 2 Jul 2021

0

30 Days 1 Hour ago

By: Markus Triska

o Blocks World in prolog with NO ( PARENTHESIS )

By: Graham Cooper on Tue, 15 Jun 2021

1

1 Month 10 Days ago

By: Mostowski Collapse

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Wed, 16 Jun 2021

0

1 Month 16 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

1 Month 22 Days ago

By: Graham Cooper

o Will SWI-Prolog ever have a JIT?

By: Mostowski Collapse on Sat, 15 May 2021

19

1 Month 25 Days ago

By: Mostowski Collapse

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Wed, 2 Jun 2021

1

1 Month 27 Days ago

By: Mostowski Collapse

o ANN: Logtalk 3.47.0 released

By: Paulo Moura on Tue, 1 Jun 2021

0

1 Month 30 Days ago

By: Paulo Moura

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

By: Mostowski Collapse on Mon, 3 May 2021

9

2 Months 9 Days ago

By: Mostowski Collapse

o Re: Halting theorem refutation ( halt deciding principle )

By: olcott on Thu, 20 May 2021

0

2 Months 11 Days ago

By: olcott

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

By: Mostowski Collapse on Fri, 30 Apr 2021

20

2 Months 14 Days ago

By: Mostowski Collapse

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Sun, 16 May 2021

0

2 Months 16 Days ago

By: Markus Triska

o ANN: Logtalk 3.46.0 released

By: Paulo Moura on Tue, 4 May 2021

0

2 Months 27 Days ago

By: Paulo Moura

o ISO standard for quoted tokens and strings

By: M B on Tue, 13 Apr 2021

11

2 Months 27 Days ago

By: Mostowski Collapse

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Sun, 2 May 2021

0

2 Months 30 Days ago

By: Markus Triska

o Prolog Autologic on GitHub?

By: Mostowski Collapse on Tue, 19 Jan 2021

5

3 Months 11 Days ago

By: Mostowski Collapse

o April Fools Day Challenge

By: Mostowski Collapse on Wed, 31 Mar 2021

8

3 Months 15 Days ago

By: olcott

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Fri, 16 Apr 2021

0

3 Months 16 Days ago

By: Markus Triska

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

By: olcott on Fri, 9 Apr 2021

70

3 Months 16 Days ago

By: Mostowski Collapse

o Jokes aside, Logica is it worth a dime?

By: Mostowski Collapse on Tue, 13 Apr 2021

6

3 Months 17 Days ago

By: Mostowski Collapse

o Picat style translation into some higher order loop construct

By: Mostowski Collapse on Wed, 14 Apr 2021

5

3 Months 17 Days ago

By: Mostowski Collapse

o ISO standard for quoted tokens and strings

By: MB on Tue, 13 Apr 2021

0

3 Months 18 Days ago

By: MB

o shortest solution to Einstein's Riddle

By: Mark Tarver on Sun, 7 Mar 2021

50

3 Months 28 Days ago

By: Mostowski Collapse

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Fri, 2 Apr 2021

0

3 Months 30 Days 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

3 Months 30 Days ago

By: Mostowski Collapse

o ANN: Jekejeke Prolog 1.5.0 (Dynamic Freshness)

By: Mostowski Collapse on Mon, 22 Mar 2021

8

3 Months 30 Days ago

By: Mostowski Collapse

o ANN: Logtalk 3.45.0 released

By: Paulo Moura on Tue, 23 Mar 2021

0

4 Months 8 Days ago

By: Paulo Moura

o Re: variable_names/1 and ordering

By: Mostowski Collapse on Sun, 21 Mar 2021

0

4 Months 10 Days ago

By: Mostowski Collapse

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Tue, 16 Mar 2021

0

4 Months 16 Days ago

By: Markus Triska

o prolog

By: Humaira Khurram on Mon, 15 Mar 2021

0

4 Months 16 Days ago

By: Humaira Khurram

o Lets make 2021 the year of Solver Cooperation

By: Mostowski Collapse on Thu, 4 Mar 2021

4

4 Months 17 Days 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

4 Months 28 Days ago

By: Mostowski Collapse

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Tue, 2 Mar 2021

0

4 Months 30 Days ago

By: Markus Triska

o From Prolog Dicts to Sparse Compounds

By: Mostowski Collapse on Wed, 24 Feb 2021

11

4 Months 30 Days ago

By: Mostowski Collapse

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

By: Mostowski Collapse on Mon, 8 Feb 2021

10

5 Months 8 Days ago

By: Mostowski Collapse

o ANN: New hybrid logic and function programming language Elion

By: Mostowski Collapse on Sun, 7 Feb 2021

7

5 Months 14 Days ago

By: Mostowski Collapse

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Tue, 16 Feb 2021

0

5 Months 16 Days ago

By: Markus Triska

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

By: Graham Cooper on Mon, 15 Feb 2021

0

5 Months 16 Days ago

By: Graham Cooper

o 3 player tic tac to !

By: Graham Cooper on Mon, 15 Feb 2021

0

5 Months 16 Days ago

By: Graham Cooper

o ANN: Jekejeke Prolog 1.4.7 (Occurs Check)

By: Mostowski Collapse on Tue, 26 Jan 2021

8

5 Months 17 Days ago

By: Mostowski Collapse

o Write This in PROLOG

By: Graham Cooper on Mon, 8 Feb 2021

0

5 Months 23 Days 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

5 Months 24 Days ago

By: Graham Cooper

o Source local occurs check flag

By: Mostowski Collapse on Sat, 2 Jan 2021

38

5 Months 24 Days ago

By: Mostowski Collapse

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

By: Graham Cooper on Sat, 6 Feb 2021

0

5 Months 25 Days ago

By: Graham Cooper

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

By: Graham Cooper on Thu, 4 Feb 2021

0

5 Months 28 Days ago

By: Graham Cooper

o ANN: Logtalk 3.44.0 released

By: Paulo Moura on Wed, 3 Feb 2021

0

5 Months 28 Days ago

By: Paulo Moura

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

By: Graham Cooper on Tue, 2 Feb 2021

0

5 Months 29 Days ago

By: Graham Cooper

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Tue, 2 Feb 2021

0

5 Months 30 Days ago

By: Markus Triska

o RLS3 - Relational Logic Solver III

By: Graham Cooper on Sun, 31 Jan 2021

0

6 Months 1 Day ago

By: Graham Cooper

o RLS2 - RELATIONAL LOGIC SOLVER

By: Graham Cooper on Sat, 30 Jan 2021

0

6 Months 2 Days ago

By: Graham Cooper

o SIMPLE THEOREM PROVER DESIGN - 3 INFERENCE RULES

By: Graham Cooper on Mon, 25 Jan 2021

0

6 Months 6 Days ago

By: Graham Cooper

o DES 6.6 Released

By: FERNANDO SAENZ PEREZ on Mon, 25 Jan 2021

0

6 Months 6 Days ago

By: FERNANDO SAENZ PEREZ

o SIMPLE THEOREM PROVER [1]

By: Graham Cooper on Mon, 25 Jan 2021

0

6 Months 7 Days ago

By: Graham Cooper

o dbMAP2 here B destination

By: Graham Cooper on Sat, 23 Jan 2021

0

6 Months 8 Days ago

By: Graham Cooper

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

By: Mostowski Collapse on Fri, 22 Jan 2021

1

6 Months 8 Days ago

By: Mostowski Collapse

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

By: Graham Cooper on Fri, 22 Jan 2021

0

6 Months 9 Days ago

By: Graham Cooper

o The Skynet challenge

By: Mostowski Collapse on Tue, 19 Jan 2021

1

6 Months 11 Days ago

By: Dhu on Gate

o goedel numbering in prolog

By: Paola Cattabriga on Tue, 19 Jan 2021

3

6 Months 11 Days 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

6 Months 13 Days ago

By: Graham Cooper

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Sat, 16 Jan 2021

0

6 Months 16 Days 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

6 Months 24 Days ago

By: Mostowski Collapse

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Sat, 2 Jan 2021

0

6 Months 30 Days ago

By: Markus Triska

o BLOCKS WORLD V2.0

By: Graham Cooper on Tue, 29 Dec 2020

0

7 Months 3 Days ago

By: Graham Cooper

o BLoCKS WoRLD V1.0

By: Graham Cooper on Mon, 28 Dec 2020

0

7 Months 3 Days ago

By: Graham Cooper

o Detecting LIAR STATEMENTS!

By: Graham Cooper on Sun, 27 Dec 2020

2

7 Months 4 Days ago

By: Graham Cooper

o Working out LIAR LOGIC

By: Graham Cooper on Sat, 26 Dec 2020

0

7 Months 5 Days ago

By: Graham Cooper

o λProlog:_Vaporware,_Abandonware_or_Lazyware?

By: Mostowski Collapse on Sun, 13 Dec 2020

18

7 Months 5 Days ago

By: Mostowski Collapse

o ANN: Logtalk 3.43.0 released

By: Paulo Moura on Tue, 22 Dec 2020

1

7 Months 8 Days ago

By: Graham Cooper

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

By: Graham Cooper on Wed, 23 Dec 2020

0

7 Months 8 Days ago

By: Graham Cooper

o Open Source: There is no Right of Instruction

By: Mostowski Collapse on Tue, 22 Dec 2020

2

7 Months 9 Days ago

By: Mostowski Collapse

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

By: Graham Cooper on Sun, 20 Dec 2020

3

7 Months 9 Days ago

By: Mostowski Collapse

o Re: how do you scale prolog web apps?

By: Graham Cooper on Thu, 17 Dec 2020

3

7 Months 12 Days ago

By: Mostowski Collapse

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Wed, 16 Dec 2020

0

7 Months 16 Days ago

By: Markus Triska

o modpow() built-in anybody?

By: j4n bur53 on Thu, 13 Jun 2019

16

7 Months 19 Days ago

By: Mostowski Collapse

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

By: olcott on Tue, 8 Dec 2020

12

7 Months 22 Days ago

By: olcott

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

By: olcott on Sun, 6 Dec 2020

13

7 Months 23 Days ago

By: Mostowski Collapse

o ANN: Jekejeke Prolog 1.4.6 (Search Options)

By: Mostowski Collapse on Mon, 26 Oct 2020

4

7 Months 23 Days 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

7 Months 24 Days ago

By: olcott

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

By: olcott on Mon, 7 Dec 2020

0

7 Months 25 Days ago

By: olcott

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

By: olcott on Mon, 7 Dec 2020

0

7 Months 25 Days ago

By: olcott

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

By: olcott on Sun, 6 Dec 2020

1

7 Months 25 Days ago

By: Mostowski Collapse

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

By: olcott on Sat, 5 Dec 2020

0

7 Months 26 Days 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

7 Months 27 Days ago

By: Mostowski Collapse

o Re: _Refuting_the_Peter_Linz_HP_proof_(Ĥ_is_shown

By: olcott on Thu, 3 Dec 2020

0

7 Months 28 Days ago

By: olcott

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Wed, 2 Dec 2020

0

7 Months 30 Days ago

By: Markus Triska

o OT: Distance Learning Prolog

By: Mostowski Collapse on Fri, 13 Mar 2020

69

7 Months 30 Days 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

7 Months 30 Days ago

By: olcott

o Re: Reinventing QSAT inside Prolog

By: Mostowski Collapse on Sun, 22 Nov 2020

0

8 Months 9 Days ago

By: Mostowski Collapse

o Easter Programming Challenge

By: Mostowski Collapse on Thu, 2 Apr 2020

46

8 Months 11 Days ago

By: Mostowski Collapse

o Re: Towards list comprehension for Prolog

By: Transfinite Numbers on Thu, 24 Oct 2019

32

8 Months 11 Days 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

8 Months 14 Days ago

By: azathot...@gmail.com

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Mon, 16 Nov 2020

0

8 Months 16 Days ago

By: Markus Triska

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Mon, 2 Nov 2020

8

8 Months 16 Days ago

By: Mostowski Collapse

o counting logical inferences

By: Mark Tarver on Sun, 15 Nov 2020

1

8 Months 16 Days ago

By: Markus Triska

o A non-halting decider is defined

By: olcott on Wed, 28 Oct 2020

3

8 Months 19 Days 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

8 Months 21 Days ago

By: Azathoth Hastur

o implementing a wesbite in swqi prolog help

By: Azathoth Hastur on Wed, 11 Nov 2020

0

8 Months 21 Days ago

By: Azathoth Hastur

o implementing findall in Prolog

By: Mark Tarver on Mon, 2 Nov 2020

7

8 Months 23 Days ago

By: Mostowski Collapse

o short Prolog programs with cuts neded

By: Mark Tarver on Mon, 2 Nov 2020

2

8 Months 28 Days ago

By: Graham Cooper

o Re: Open Thread: From Pengines to Pintegration

By: Mostowski Collapse on Fri, 30 Oct 2020

4

8 Months 29 Days 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

9 Months 2 Days ago

By: Mostowski Collapse

o olcott

By: Mr Flibble on Thu, 29 Oct 2020

0

9 Months 2 Days ago

By: Mr Flibble

o Architectural design of a halting problem solution

By: olcott on Tue, 27 Oct 2020

42

9 Months 2 Days ago

By: Mostowski Collapse

o Re: SOLUTION TO THE HALTING PROBLEM!

By: olcott on Thu, 29 Oct 2020

1

9 Months 2 Days ago

By: Mostowski Collapse

o The x86utm operating system shows how the halting problem can be made

By: olcott on Sat, 24 Oct 2020

36

9 Months 4 Days ago

By: Mostowski Collapse

o Making the Halting Problem Decidable [ Includes deciding the Peter Lin

By: olcott on Mon, 26 Oct 2020

4

9 Months 5 Days ago

By: olcott

o ANN: Logtalk 3.42.0 released

By: Paulo Moura on Mon, 26 Oct 2020

0

9 Months 5 Days ago

By: Paulo Moura

o SWI PROLOG WEB APPS AWESOME? TAKE OVER FROM .NET AND JS N JAVA BS?

By: azathothhaster on Mon, 26 Oct 2020

0

9 Months 6 Days ago

By: azathothhaster

o Re: Formal specification of Minimal Type Theory (updated)

By: olcott on Sun, 18 Oct 2020

15

9 Months 12 Days ago

By: olcott

o Re: Formal specification of Minimal Type Theory (updated)

By: olcott on Sat, 17 Oct 2020

2

9 Months 13 Days ago

By: olcott

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Fri, 16 Oct 2020

0

9 Months 16 Days ago

By: Markus Triska

o swi proog webserver absed dating site?

By: azathothhaster on Tue, 13 Oct 2020

0

9 Months 18 Days ago

By: azathothhaster

o ToWERs OF HaNOi

By: Graham Cooper on Sun, 11 Oct 2020

0

9 Months 20 Days ago

By: Graham Cooper

o miniPROLOG Progress Report!

By: Graham Cooper on Sat, 3 Oct 2020

3

9 Months 22 Days ago

By: Graham Cooper

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Fri, 2 Oct 2020

0

9 Months 30 Days ago

By: Markus Triska

o Re: Attribute Variables deunify_handler

By: Mostowski Collapse on Fri, 10 Jul 2020

12

9 Months 30 Days ago

By: Mostowski Collapse

o miniPROLOG ::::: BACKTRACKING EG

By: Graham Cooper on Thu, 1 Oct 2020

1

9 Months 30 Days ago

By: Graham Cooper

o miniPROLOG ::::: PROLOG in under 200 easy LINES of CODE !

By: Graham Cooper on Thu, 1 Oct 2020

0

9 Months 30 Days ago

By: Graham Cooper

o Re: Muiddy waters of dif/2

By: Mostowski Collapse on Tue, 29 Sep 2020

5

10 Months 2 Days ago

By: Mostowski Collapse

o Re: Concept for a logical CHR (Was: Comcept for a Meta-API for

By: Mostowski Collapse on Mon, 7 Sep 2020

17

10 Months 3 Days ago

By: Mostowski Collapse

o miniBASE :::: Another Example ......... f(a( b(x y) c) d) <==> f(

By: Graham Cooper on Mon, 28 Sep 2020

0

10 Months 3 Days ago

By: Graham Cooper

o miniBASE :::: f( a(b Z1) c) <==> f( a(b d) Z2)

By: Graham Cooper on Mon, 28 Sep 2020

0

10 Months 3 Days ago

By: Graham Cooper

o miniBASE :::: UNIFY(fABfCD) in a LOOP is PROLOG without TAILS !

By: Graham Cooper on Mon, 28 Sep 2020

0

10 Months 4 Days ago

By: Graham Cooper

o miniBASE :::: miniPROLOG in 50 LINES !

By: Graham Cooper on Sat, 26 Sep 2020

0

10 Months 5 Days ago

By: Graham Cooper

o *********************************************************

By: Graham Cooper on Sat, 26 Sep 2020

0

10 Months 6 Days ago

By: Graham Cooper

o LEARNING PROLOG ::::: LESSON 1

By: Graham Cooper on Sat, 26 Sep 2020

0

10 Months 6 Days ago

By: Graham Cooper

o LEARNING PROLOG :::: LESSON 2

By: Graham Cooper on Sat, 26 Sep 2020

0

10 Months 6 Days ago

By: Graham Cooper

o **********************************************************

By: Graham Cooper on Sat, 26 Sep 2020

0

10 Months 6 Days ago

By: Graham Cooper

o Coding PROLOG in miniBASE

By: Graham Cooper on Fri, 25 Sep 2020

0

10 Months 6 Days ago

By: Graham Cooper

o miniBASE ::::: INTRODUCING dogBOT .................<PiC>

By: Graham Cooper on Thu, 24 Sep 2020

0

10 Months 7 Days ago

By: Graham Cooper

o miniBASE :::: SIMPLE PROLOG INTERPRETER

By: Graham Cooper on Thu, 24 Sep 2020

0

10 Months 7 Days ago

By: Graham Cooper

o PROLOG in miniBASE :::: PREVIEW!

By: Graham Cooper on Wed, 23 Sep 2020

0

10 Months 8 Days ago

By: Graham Cooper

o miniBASE :::: Lets Play YES OR NO !

By: Graham Cooper on Tue, 22 Sep 2020

0

10 Months 9 Days ago

By: Graham Cooper

o miniBASE :::::: Progress With UNIFY f(X Y) f(1 2)

By: Graham Cooper on Mon, 21 Sep 2020

0

10 Months 11 Days ago

By: Graham Cooper

o *************** I GOT THE THEOREM PROVER WORKING!!! ***************

By: Graham Cooper on Wed, 16 Sep 2020

8

10 Months 13 Days ago

By: Mostowski Collapse

o *** CHALLENGE FOR Jan ***

By: Graham Cooper on Fri, 18 Sep 2020

0

10 Months 13 Days ago

By: Graham Cooper

o PROLOG is SERIOUSLY FLAWED !

By: Graham Cooper on Fri, 18 Sep 2020

0

10 Months 14 Days ago

By: Graham Cooper

o Try Doing THIS in PROLOG!

By: Graham Cooper on Wed, 16 Sep 2020

0

10 Months 15 Days ago

By: Graham Cooper

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Wed, 16 Sep 2020

0

10 Months 16 Days ago

By: Markus Triska

o Re: O-Prolog update

By: Mostowski Collapse on Wed, 12 Aug 2020

3

10 Months 17 Days ago

By: Mostowski Collapse

o comp.lang.prolog Frequently Asked Questions

By: Markus Triska on Wed, 2 Sep 2020

1

10 Months 17 Days ago

By: Mostowski Collapse

o **

By: Graham Cooper on Sat, 12 Sep 2020

4

10 Months 18 Days ago

By: Mostowski Collapse

o ---fuking HELL---- 0.0001% OF THE SWEARING BY JAN

By: Graham Cooper on Sun, 13 Sep 2020

0

10 Months 18 Days ago

By: Graham Cooper

o IDIOT JAN <<<<PIC>>>>

By: Graham Cooper on Sun, 13 Sep 2020

0

10 Months 18 Days ago

By: Graham Cooper

o I.S.O. PROLOG ==== IDIOT. SHIT. OLD. ...... not-even-prolog

By: Graham Cooper on Sun, 13 Sep 2020

0

10 Months 19 Days ago

By: Graham Cooper

o NEVER SEEN A NEWSGROUP SO FULL OF FUKING SHIT ! ...... NO WiNDoWS PROL

By: Graham Cooper on Sun, 13 Sep 2020

0

10 Months 19 Days ago

By: Graham Cooper

o ** Jan's 10,000 SHITTY, FOWL, NARCISSIST POSTS OVER 10 YEARS KILLED

By: Graham Cooper on Sat, 12 Sep 2020

0

10 Months 19 Days ago

By: Graham Cooper

o micro-PROLOG

By: Christoph C on Sat, 12 Sep 2020

2

10 Months 19 Days ago

By: Graham Cooper

o PROLOG COMPILERS just look up arrays 1 by one ----- dodgy pieces of SH

By: Graham Cooper on Sat, 12 Sep 2020

0

10 Months 19 Days ago

By: Graham Cooper

o ***** JEKE JEKE POO-LOG is the BIGGEST FAILIURE IN SOFTWARE HISTORY **

By: Graham Cooper on Sat, 12 Sep 2020

0

10 Months 19 Days ago

By: Graham Cooper

o 10,000 POSTS BY JAN ------------ EMPTY NEWSGROUP !

By: Graham Cooper on Sat, 12 Sep 2020

0

10 Months 19 Days ago

By: Graham Cooper

o *************** <PIC> OF JAN FUKWIT ************** AT JEKE JEKE POO-LO

By: Graham Cooper on Sat, 12 Sep 2020

0

10 Months 19 Days ago

By: Graham Cooper

o PROLOG COMPILERS are just SLOW JUNK .... NONE OF THEM DO BASIC

By: Graham Cooper on Sat, 12 Sep 2020

0

10 Months 19 Days ago

By: Graham Cooper

o What the FAQ wont tell you ----- NO WINDOWS PROLOG ---- just

By: Graham Cooper on Sat, 12 Sep 2020

0

10 Months 19 Days ago

By: Graham Cooper

o the entire planet forgot PROLOG becus the only half-working piece of

By: Graham Cooper on Sat, 12 Sep 2020

0

10 Months 19 Days ago

By: Graham Cooper

o CGPro - a PROLOG Implementation of Conceptual Graphs

By: Douglas R. Miles/Log on Mon, 7 Sep 2020

7

10 Months 19 Days ago

By: Graham Cooper

o **************** WARNING **************** comp.lang.prolog FAQ is the

By: Graham Cooper on Sat, 12 Sep 2020

0

10 Months 19 Days ago

By: Graham Cooper

o *

By: Graham Cooper on Sat, 12 Sep 2020

0

10 Months 19 Days ago

By: Graham Cooper

o DUAL TAIL REcURSION to parse brackets

By: Graham Cooper on Wed, 2 Sep 2020

7

10 Months 20 Days ago

By: Graham Cooper

o miniBASE ::: INTRODUCTION

By: Graham Cooper on Thu, 10 Sep 2020

0

10 Months 21 Days ago

By: Graham Cooper

o Re: Pros and Cons of some array subscript syntax

By: Mostowski Collapse on Thu, 30 Jul 2020

10

10 Months 22 Days ago

By: Mostowski Collapse

o why PROLOG may be TOO Powerful !!

By: Graham Cooper on Sun, 6 Sep 2020

0

10 Months 26 Days ago

By: Graham Cooper

o warning - TECHNICAL CONTENT!

By: Graham Cooper on Sat, 5 Sep 2020

0

10 Months 26 Days ago

By: Graham Cooper

o start ( f ( a ( , ) , b ( , ) ) , g ( , ) )

By: Graham Cooper on Thu, 3 Sep 2020

0

10 Months 29 Days ago

By: Graham Cooper

o ************** THEOREM PROVER IN PRoLOG ******************

By: Graham Cooper on Wed, 2 Sep 2020

0

10 Months 29 Days ago

By: Graham Cooper

o ***************** UNIFY SCHEMATIC ******************

By: Graham Cooper on Wed, 2 Sep 2020

0

10 Months 29 Days ago

By: Graham Cooper

o ************* PROLOG INTERFACE DESIGN ************ <<<PIC>>>

By: Graham Cooper on Wed, 2 Sep 2020

0

10 Months 29 Days ago

By: Graham Cooper

o ******** PROGRAM A QUiZ! **************

By: Graham Cooper on Wed, 2 Sep 2020

0

10 Months 30 Days ago

By: Graham Cooper

o ********** ADVANCED PROLOG THEOREM PROVER *********

By: Graham Cooper on Mon, 31 Aug 2020

8

10 Months 30 Days ago

By: Graham Cooper

o ***** A DOZEN APPS in miniBASE *******

By: Graham Cooper on Tue, 1 Sep 2020

2

10 Months 30 Days ago

By: Graham Cooper

o ANN: Logtalk 3.41.0 released

By: Paulo Moura on Tue, 1 Sep 2020

3

10 Months 30 Days ago

By: Mostowski Collapse

o What drives that Collapse?

By: A. K. on Sun, 30 Aug 2020

4

10 Months 30 Days ago

By: Mostowski Collapse

o UNIFY THESE 2 FORMULAS!

By: Graham Cooper on Tue, 1 Sep 2020

0

11 Months ago

By: Graham Cooper

Pages:123

There are currently 271 users online
Total messages: 1,694,646

rocksolid light 0.7.0
clearneti2ptor