🚀 go-pugleaf

First order theorem prover in C Prolog
By: David Plaisted on Mon, 13 Jul 1987 14:41

Prolog riddle - (nf)
By: noekel on Thu, 09 Jul 1987 15:50

A question on Prolog-10
By: Aniekan Akpaffiong on Fri, 10 Jul 1987 00:29

Symbolic Integration Program Wanted
By: Armand Prieditis on Thu, 09 Jul 1987 17:28

How to get Melbourne proceedings?
By: Jan Chomicki on Wed, 08 Jul 1987 20:42

Transputer & PROLOG - (nf)
By: wagner on Sun, 05 Jul 1987 15:38

Re: public domain Prolog system availabl - (nf)
By: wagner on Sun, 05 Jul 1987 14:11

Re: Anyone snarfed sbprolog from arizona?
By: Saumya Debray on Mon, 06 Jul 1987 19:22

Re: Out of Stack - (nf)
By: wagner on Fri, 26 Jun 1987 12:22

SB-Prolog on an IBM-PC
By: Michael Gleicher on Fri, 03 Jul 1987 18:00

Re: Counting things.
By: Tim Finin on Fri, 03 Jul 1987 13:35

Counting things.
By: Doug Collinge on Thu, 02 Jul 1987 04:35

RE: Anyone snarfed sbprolog from arizona?
By: Bruce Cohen on Thu, 02 Jul 1987 22:23

Anyone snarfed sbprolog from arizona?
By: USENET News Administration on Thu, 02 Jul 1987 10:29

Global Stack Overflow
By: Sundar Iyengar on Sat, 27 Jun 1987 04:40

Re: Prolog implementation papers (?)
By: h on Thu, 25 Jun 1987 23:18

query: structuring sharing vs non-sharing
By: Dik Lun Lee on Thu, 25 Jun 1987 17:32

copies of prolog benchmarks?
By: jay on Wed, 24 Jun 1987 18:00

PROLOG Digest V5 #42
By: Chuck Restivo, The Moderator on Wed, 24 Jun 1987 06:33

Out of Stack Errors
By: chen on Wed, 24 Jun 1987 22:36

Out of global stack problems in CProlog
By: chen on Mon, 22 Jun 1987 20:35

PROLOG Digest V5 #41
By: Chuck Restivo, The Moderator on Sun, 21 Jun 1987 09:58

Re: Prolog implementation papers (?)
By: Yorick Phoenix on Mon, 15 Jun 1987 09:09

trace a paper
By: debruyn on Thu, 11 Jun 1987 13:26

Prolog implementation papers (?)
By: Perry The Cynic on Tue, 02 Jun 1987 20:17

public domain Prolog system available
By: Saumya Debray on Wed, 24 Jun 1987 15:39

Good Prolog Manual/Book
By: aniekan on Thu, 28 May 1987 21:19

PROLOG Digest V5 #40
By: PROLOG-REQUEST on Thu, 28 May 1987 11:28

PROLOG Digest V5 #39
By: PROLOG-REQUEST on Thu, 28 May 1987 03:14

Re: Prolog Interpreter in C Available (Wanted/Offered)
By: Andreas Toenne on Tue, 26 May 1987 09:31

Mike Newton's review of BIMprolog
By: Bart Demoen on Wed, 20 May 1987 09:11

Re: prolog for sun
By: genuser on Thu, 21 May 1987 01:58

GC test programs wanted
By: goran on Tue, 19 May 1987 17:34

PROLOG Digest V5 #38
By: Chuck Restivo, The Moderator on Mon, 18 May 1987 06:52

prolog for sun
By: dwyer on Thu, 14 May 1987 13:02

PROLOG Digest V5 #37
By: Chuck Restivo, The Moderator on Wed, 13 May 1987 22:41

Anyone tried to speed up dcg's?
By: Andrew Purshottam on Tue, 12 May 1987 14:16

PROLOG Digest V5 #36
By: Chuck Restivo, The Moderator on Sun, 10 May 1987 16:12

I tried to write...
By: Tom Okada on Sun, 10 May 1987 02:31

A meta puzzle
By: Arun Lakhotia on Sat, 09 May 1987 07:49

side-effects
By: Gerda Janssens on Fri, 08 May 1987 14:21

Re: self-reproducing programs
By: Barton E. Schaefer on Tue, 05 May 1987 17:45

Prolog Interpreter in C Available (Wanted/Offered)
By: Dave Mack on Fri, 22 May 1987 19:49

Self-reproducing Logo program
By: arun on Tue, 05 May 1987 23:22

self-reproducing Prolog program With Variables
By: arun on Tue, 05 May 1987 03:44

PROLOG Digest V5 #35
By: Chuck Restivo, The Moderator on Mon, 04 May 1987 20:35

Re: self-reproducing programs
By: Paul Broome on Mon, 04 May 1987 13:15

Looking for users of A.D.A. PROLOG
By: lagache on Mon, 04 May 1987 04:39

4th International Conference on Logic Programming
By: Kimbal G. Marriott on Mon, 04 May 1987 00:19

Self reproducing prolog program
By: Arun Lakhotia on Mon, 04 May 1987 03:33

PROLOG Digest V5 #34
By: Chuck Restivo, The Moderator on Sat, 02 May 1987 21:28

self-reproducing programs
By: Chris Moss on Fri, 01 May 1987 15:09

4th International Conference on Logic Programming
By: Kimbal G. Marriott on Fri, 01 May 1987 10:56

PROLOG Digest V5 #32
By: Chuck Restivo, The Moderator on Thu, 30 Apr 1987 02:45

PROLOG Digest V5 #33
By: PROLOG-REQUEST on Thu, 30 Apr 1987 11:53

PROLOG Digest V5 #31
By: Chuck Restivo, The Moderator on Sat, 25 Apr 1987 01:45

Re: compare/3 problem
By: Alain Callebaut on Fri, 24 Apr 1987 08:44

Re: cut for meta-interpreter
By: Nabiel Elshiewy on Fri, 24 Apr 1987 21:55

Re: cut for meta-interpreter
By: raf on Fri, 24 Apr 1987 19:00

PROLOG Digest V5 #30
By: Chuck Restivo, The Moderator on Fri, 24 Apr 1987 00:23

tak function
By: parrish on Thu, 23 Apr 1987 16:44

Re: cut for meta-interpreter
By: raf on Thu, 23 Apr 1987 00:01

Re: cut for meta-interpreter
By: MorrisseyKA on Mon, 20 Apr 1987 21:17

PROLOG Digest V5 #29
By: Chuck Restivo, The Moderator on Tue, 21 Apr 1987 02:32

PROLOG Digest V5 #28
By: Chuck Restivo, The Moderator on Sun, 19 Apr 1987 22:04

PROLOG Digest V5 #27
By: Chuck Restivo, The Moderator on Thu, 16 Apr 1987 02:52

Re: C-Prolog Bug Fixes Wanted
By: Robert J. Drabek on Tue, 14 Apr 1987 01:59

cut for meta-interpreter
By: raf on Fri, 17 Apr 1987 18:34

PD C/Unix source for Prolog?
By: asp on Thu, 16 Apr 1987 20:19

Xmas puzzle solution
By: goran on Wed, 15 Apr 1987 14:36

Re: C-Prolog Bug Fixes Wanted
By: todd on Tue, 14 Apr 1987 23:35

PROLOG Digest V5 #26
By: PROLOG-REQUEST on Mon, 13 Apr 1987 20:56

PROLOG Digest V5 #25
By: PROLOG-REQUEST on Sun, 12 Apr 1987 23:46

Re: Control Structures
By: Bjorn Danielsson on Wed, 08 Apr 1987 06:01

Repost of Prolog request for System V.2
By: edwards on Tue, 14 Apr 1987 01:43

LIPS estimation
By: tinker on Thu, 09 Apr 1987 23:43

Re: Control Structures
By: micha on Mon, 06 Apr 1987 17:53

Re: Control Structures
By: wup on Mon, 06 Apr 1987 15:39

Re: XOR without redundancy and databases
By: lee on Mon, 06 Apr 1987 05:55

PROLOG Digest V5 #24
By: PROLOG-REQUEST on Mon, 06 Apr 1987 04:26

Re: Prolog control structures
By: bd on Sat, 04 Apr 1987 02:09

Re: Prolog control structures
By: schaefer on Fri, 03 Apr 1987 19:10

Control Structures
By: lang on Fri, 03 Apr 1987 14:58

Re: Prolog control structures
By: jo on Thu, 02 Apr 1987 12:34

"Delayed cut" without redundancy and databases
By: chomicki on Sat, 04 Apr 1987 02:42

XOR without redundancy and databases
By: chomicki on Sat, 04 Apr 1987 02:11

Re: How do you like Turbo-Prolog?
By: paddy on Wed, 01 Apr 1987 10:59

Re: Prolog control structures
By: debray on Thu, 02 Apr 1987 04:56

Re: Prolog control structures
By: debray on Thu, 02 Apr 1987 04:38

Re: Prolog control structures - (nf)
By: wagner on Thu, 02 Apr 1987 08:42

Re: Prolog control structures
By: micha on Thu, 02 Apr 1987 18:27

Re: Prolog control structures
By: lee on Thu, 02 Apr 1987 07:57

Re: Prolog (Turbo) Programming Question
By: davisb on Wed, 01 Apr 1987 15:57

Prolog control structures
By: chomicki on Tue, 31 Mar 1987 16:28

PROLOG Digest V5 #23
By: PROLOG-REQUEST on Mon, 30 Mar 1987 03:48

compare/3 problem
By: bd on Fri, 27 Mar 1987 02:10

Unix based prologs
By: randyg on Tue, 24 Mar 1987 04:07

Prolog (Turbo) Programming Question
By: kevin on Sun, 29 Mar 1987 01:59

Prolog turtles
By: laukee on Wed, 25 Mar 1987 14:04

PROLOG Digest V5 #22
By: PROLOG-REQUEST on Thu, 26 Mar 1987 18:14

English to Prolog
By: dave on Thu, 26 Mar 1987 15:41

Re: Expert Systems on AT&T PC6300
By: jerome on Mon, 23 Mar 1987 14:46

PROLOG Digest V5 #21
By: PROLOG-REQUEST on Mon, 23 Mar 1987 12:26

ICLP4 Reminder
By: iclp on Mon, 23 Mar 1987 04:14

PROLOG Digest V5 #20
By: Chuck Restivo, The Moderator on Sun, 22 Mar 1987 17:34

Re: PROLOG Digest V5 #18
By: mas on Fri, 20 Mar 1987 14:04

C-Prolog Bug Fixes Wanted
By: abc on Fri, 20 Mar 1987 15:29

PROLOG Digest V5 #19
By: Chuck Restivo, The Moderator on Thu, 19 Mar 1987 12:08

PROLOG Digest V5 #18
By: Chuck Restivo, The Moderator on Wed, 18 Mar 1987 12:26

Anyone like MicroProlog Professional?
By: R. Mark Chilenskas on Wed, 18 Mar 1987 19:15

PROLOG Digest V5 #17
By: Chuck Restivo, The Moderator on Tue, 17 Mar 1987 12:15

Re: OK, so what Prolog is good?
By: George DeVinney on Tue, 17 Mar 1987 15:18

Turbo Prolog problems
By: silvert on Wed, 18 Mar 1987 11:24

Re: CProlog* - Availability - (nf)
By: wagner on Mon, 16 Mar 1987 15:32

Re: PROLOG Digest V5 #15
By: randyg on Sun, 15 Mar 1987 22:24

Re: OK, so what Prolog is good?
By: The Perplexed Wiz on Mon, 16 Mar 1987 18:50

Transliterating Prolog into Scheme
By: michaelm on Tue, 24 Mar 1987 18:02

Re: I will be pleased to send my disser
By: dhelaan on Fri, 20 Feb 1987 07:41

Re: Prolog for HP-9000
By: fritz on Mon, 23 Feb 1987 17:33

PROLOG Digest V5 #11
By: PROLOG-REQUEST on Sun, 22 Feb 1987 13:50

UNSW prolog license
By: pjg on Fri, 20 Feb 1987 20:54

Prolog for HP-9000
By: koen on Fri, 20 Feb 1987 16:40

Re: Specifying Allocation of Data Areas
By: wup on Fri, 20 Feb 1987 03:40

PARLOG book launches new series
By: klc on Wed, 18 Feb 1987 14:16

Specifying Allocation of Data Areas
By: hhc on Wed, 18 Feb 1987 21:11

Thanks for your interest in my thesis about P-Prolog (In English)
By: yang on Sun, 15 Feb 1987 03:53

Thanks for your interest in my thesis about P-Prolog (In English)
By: yang on Sun, 15 Feb 1987 03:46

PROLOG Digest V5 #10
By: PROLOG-REQUEST on Tue, 17 Feb 1987 13:46