🚀 go-pugleaf

Re: Suggestions for Course - TurboPr..arrrgh!
By: Juergen Wagner on Sat, 24 Oct 1987 07:42

end_of_file in BSI proposals
By: Bruno Poterie on Thu, 22 Oct 1987 19:06

Re: Prolog Machines
By: Jean Claude Syre on Fri, 23 Oct 1987 08:13

Prolog compiler written in Prolog
By: Daniel Lippmann on Fri, 16 Oct 1987 17:48

forall/2 and negation as failure
By: reeves on Thu, 22 Oct 1987 08:43

Re: optimizing append/nrev [was Re: Standard of Prolog code]
By: Lars-Henrik Eriksson on Wed, 21 Oct 1987 10:04

Scheme vs. (Common) Lisp
By: Brad Miller on Tue, 20 Oct 1987 22:55

Re: modules in prolog
By: Hideyuki Nakashima on Mon, 19 Oct 1987 18:43

modules in prolog
By: Sakthi Subramanian on Sun, 18 Oct 1987 20:16

PROLOG Digest V5 #74
By: Chuck Restivo, The Moderator on Sat, 17 Oct 1987 19:34

optimizing append/nrev [was Re: Standard of Prolog code]
By: Saumya Debray on Sat, 17 Oct 1987 15:51

argument 2 and 3 of append/3
By: Bart Demoen on Thu, 15 Oct 1987 16:00

PROLOG Digest V5 #73
By: Chuck Restivo, The Moderator on Tue, 13 Oct 1987 16:29

A question of terminology
By: cdsm on Mon, 12 Oct 1987 15:00

aggregates
By: Philip Dart on Tue, 13 Oct 1987 15:16

PROLOG Digest V5 #72
By: Chuck Restivo, The Moderator on Sun, 11 Oct 1987 16:45

Prolog for Sys V R3
By: gerry on Thu, 22 Oct 1987 04:28

Re: Suggestions for Course
By: "Steve" Stevenson on Tue, 27 Oct 1987 15:42

Re: Suggestions for Course
By: Mark Feblowitz on Mon, 26 Oct 1987 20:30

Re: Suggestions for Course
By: Juergen Wagner on Mon, 26 Oct 1987 06:02

Re: Suggestions for Course
By: David Smyth on Mon, 26 Oct 1987 20:44

Re: Suggestions for Course
By: Michael Gleicher on Sun, 25 Oct 1987 15:44

Re: Suggestions for Course (Getting a PROLOG cheap or free)
By: Edouard Lagache on Sun, 25 Oct 1987 04:50

Re: Suggestions for Course
By: Juergen Wagner on Sat, 24 Oct 1987 22:09

Re: Suggestions for Course
By: Bruce Smith on Sat, 24 Oct 1987 17:42

Re: Suggestions for Course
By: /usr/acct/morley on Fri, 23 Oct 1987 15:15

Re: Suggestions for Course
By: Mike Percy on Fri, 23 Oct 1987 20:13

Suggestions for Course
By: "Steve" Stevenson on Fri, 23 Oct 1987 00:50

Re: list syntax
By: Chris Moss on Thu, 08 Oct 1987 10:05

Re: Thanks for the sour persimmons cousins, list syntax
By: Chris Moss on Wed, 07 Oct 1987 18:18

Re: Looking For Prolog Machines
By: Ted Cooley on Fri, 09 Oct 1987 13:35

Re: Looking For Prolog Machines
By: Pierre Jouvelot on Fri, 09 Oct 1987 13:38

Parallel Logic Programming
By: T. Lakshman on Thu, 08 Oct 1987 22:14

Re: SICS Prolog
By: Mats Carlsson on Mon, 05 Oct 1987 11:19

Re: Standard of Prolog code
By: Lars-Henrik Eriksson on Mon, 05 Oct 1987 10:41

Re: Looking For Prolog Machines
By: Hiroyuki Suzuki on Wed, 07 Oct 1987 21:29

Re: PROLOG library
By: fuchs on Tue, 06 Oct 1987 17:12

Re: Looking For Prolog Machines
By: Renu Raman, Sun Microsystems on Tue, 06 Oct 1987 16:54

Re: PROLOG library
By: bondc on Tue, 06 Oct 1987 14:51

Re: Algebraic simplification algorythm
By: bondc on Tue, 06 Oct 1987 14:48

Re: Prolog Compilers for the PC
By: bondc on Tue, 06 Oct 1987 14:47

Looking For Prolog Machines
By: Mark Thomsen on Tue, 06 Oct 1987 02:53

Re: list syntax
By: Micha Meier on Mon, 05 Oct 1987 08:35

O'Keefe's criticism of Lagache's code.
By: Dave West on Fri, 02 Oct 1987 13:25

Improving readability with cuts
By: Randy Goebel on Thu, 01 Oct 1987 22:15

SICS Prolog
By: Randy Gordon on Thu, 01 Oct 1987 21:26

Prolog Compilers for the PC
By: Nasir Darwish on Thu, 01 Oct 1987 19:03

abstract interpretation
By: Maurice Bruynooghe on Tue, 29 Sep 1987 15:25

PROLOG Digest V5 #69
By: Chuck Restivo, The Moderator on Tue, 29 Sep 1987 20:40

PROLOG library
By: kam on Fri, 02 Oct 1987 16:41

Algebraic simplification algorythm wanted.
By: szulc on Fri, 02 Oct 1987 10:07

Re: Thanks for the sour persimmons cousins, list syntax
By: Lee Naish on Wed, 30 Sep 1987 05:22

PROLOG Digest V5 #70
By: PROLOG-REQUEST on Wed, 30 Sep 1987 16:36

Re: PROLOG Digest V5 #67
By: dowding on Tue, 29 Sep 1987 15:59

Thanks for the sour persimmons cousins
By: Edouard Lagache on Tue, 29 Sep 1987 18:05

PROLOG Digest V5 #68
By: Chuck Restivo, The Moderator on Mon, 28 Sep 1987 17:26

Re: Standard of Prolog code
By: Saumya Debray on Tue, 29 Sep 1987 03:31

CProlog for a HP 9000 running HP-UX
By: Anne Louise Gockel on Mon, 28 Sep 1987 17:51

Re: Standard of Prolog code
By: Stanley Shebs on Mon, 28 Sep 1987 15:54

PROLOG Digest V5 #67
By: PROLOG-REQUEST on Sun, 27 Sep 1987 22:00

Standard of Prolog code
By: Lee Naish on Sun, 27 Sep 1987 04:28

PROLOG Digest V5 #66
By: Chuck Restivo, The Moderator on Sat, 26 Sep 1987 03:12

PROLOG Digest V5 #65
By: Chuck Restivo, The Moderator on Thu, 24 Sep 1987 17:19

PROLOG Digest V5 #65
By: PROLOG-REQUEST on Thu, 24 Sep 1987 17:19

PROLOG Digest V5 #64
By: PROLOG-REQUEST on Wed, 23 Sep 1987 17:41

Quintus vs. MU vs. NU Prolog -- Summary
By: maner on Wed, 23 Sep 1987 03:01

PROLOG Digest V5 #63
By: Chuck Restivo, The Moderator on Tue, 22 Sep 1987 20:03

PROLOG Digest V5 #62
By: Chuck Restivo, The Moderator on Mon, 21 Sep 1987 20:17

PROLOG Digest V5 #61
By: Chuck Restivo, The Moderator on Mon, 21 Sep 1987 02:21

Re: MU-Prolog
By: Lee Naish on Sat, 19 Sep 1987 04:09

Re: Information wanted on the Warren Abstract Machine
By: Joseph Mohan on Mon, 14 Sep 1987 16:44

'how' and 'why' in Prolog
By: N.Mazda on Thu, 17 Sep 1987 10:42

Re: MU-Prolog
By: sundar on Wed, 16 Sep 1987 15:16

Re: MU-Prolog
By: Lee Naish on Wed, 16 Sep 1987 03:45

PROLOG Digest V5 #60
By: Chuck Restivo, The Moderator on Tue, 15 Sep 1987 20:06

Prolog -> C & Goal Stacking
By: Michael Gleicher on Wed, 16 Sep 1987 02:05

KLIPS
By: V.E.Tavernini on Tue, 15 Sep 1987 14:15

PROLOG Digest V5 #59
By: Chuck Restivo, The Moderator on Mon, 14 Sep 1987 19:05

Change of address for Maarten van Emden
By: Maarten van Emden mhvanemden on Tue, 15 Sep 1987 01:51

MU-Prolog
By: maner on Fri, 11 Sep 1987 17:07

goal-stack accessible ?
By: Kalman Z. Meth on Mon, 14 Sep 1987 20:37

Re: Information wanted on the Warren Abstract Machine
By: Joseph Mohan on Mon, 14 Sep 1987 16:44

PROLOG Digest V5 #58
By: Chuck Restivo, The Moderator on Mon, 14 Sep 1987 03:55

Information wanted on the Warren Abstract Machine
By: h on Fri, 11 Sep 1987 12:43

Linking fortran and turbo-prolog
By: Bob Rennick on Mon, 24 Aug 1987 15:02

Let's update the List-of-Prologs!
By: Bruce Smith on Tue, 25 Aug 1987 17:55

Prolog on the Sun
By: m.a.shariff on Tue, 01 Sep 1987 21:22

Van Roy Compiler available?
By: Michael Gleicher on Wed, 19 Aug 1987 15:50

Turbo Prolog ...
By: cameron on Tue, 18 Aug 1987 01:18

Re: query: prolog for unix machines
By: James King on Tue, 11 Aug 1987 12:30

query: prolog for unix machines
By: fred sullivan on Mon, 10 Aug 1987 17:20

PROLOG Digest V5 #57
By: Chuck Restivo, The Moderator on Sun, 09 Aug 1987 21:14

Apologies for erroneous posting
By: Chandra on Fri, 07 Aug 1987 20:11

Thsn:q
By: Chandra on Fri, 07 Aug 1987 20:08

Re: multiple copies of a clause in the DB
By: Saumya Debray on Sat, 08 Aug 1987 15:30

multiple copies of a clause in the DB
By: Tim Finin on Fri, 07 Aug 1987 13:54

FBRL in Prolog
By: The Mad Debugger on Wed, 05 Aug 1987 16:18

PROLOG Digest V5 #56
By: Chuck Restivo, The Moderator on Wed, 05 Aug 1987 19:43

PROLOG Digest V5 #54
By: Chuck Restivo, The Moderator on Sun, 02 Aug 1987 13:25

Re: naive reverse
By: Richard Tobin, JANET: R.Tobin on Fri, 31 Jul 1987 15:24

Algorithmic Program Debugging Code
By: Grado on Thu, 30 Jul 1987 20:11

Re: Prolog terminology
By: Harald Sondergaard on Fri, 31 Jul 1987 07:23

Re: Prolog riddle summary - (nf)
By: Lee Naish on Fri, 31 Jul 1987 03:14

PROLOG Digest V5 #51
By: Chuck Restivo, The Moderator on Thu, 30 Jul 1987 18:59

Re: Prolog terminology
By: Saumya Debray on Thu, 30 Jul 1987 15:35

PROLOG Digest V5 #50
By: Chuck Restivo, The Moderator on Wed, 29 Jul 1987 03:11

Prolog terminology
By: Chris Moss on Mon, 27 Jul 1987 10:14

Operator Tests for Prolog
By: Chris Moss on Mon, 27 Jul 1987 10:07

Prolog riddle summary - (nf)
By: noekel on Tue, 28 Jul 1987 14:26

naive reverse
By: MorrisseyKA on Tue, 28 Jul 1987 22:12

PROLOG Digest V5 #49
By: Chuck Restivo, The Moderator on Tue, 28 Jul 1987 03:20

Re: Garbage Collection in Prolog
By: Pope Snodgrass IX on Mon, 27 Jul 1987 01:14

PROLOG Digest V5 #48
By: Chuck Restivo, The Moderator on Sun, 26 Jul 1987 22:03

Garbage Collection in Prolog
By: Andreas Toenne on Sat, 25 Jul 1987 12:42

Re: How does one obtain C/Prolog? (READ THIS AND SAVE IT)
By: Whitewater Wombat on Fri, 24 Jul 1987 22:31

Re: How does one obtain C/Prolog?
By: Grado on Fri, 24 Jul 1987 19:21

How does one obtain C/Prolog?
By: Jeff Kantor on Fri, 24 Jul 1987 15:00

PROLOG Digest V5 #47
By: Chuck Restivo, The Moderator on Sun, 19 Jul 1987 22:53

PROLOG Digest V5 #46
By: Chuck Restivo, The Moderator on Fri, 17 Jul 1987 07:22

Re: Behavior of assert and retract
By: F.W.G.M. de Bruyn Philips CAD Ce... on Thu, 16 Jul 1987 11:29

PROLOG Digest V5 #45
By: Chuck Restivo, The Moderator on Wed, 15 Jul 1987 10:28

Re: Prolog riddle - (nf)
By: J. A. "Biep" Durieux on Thu, 16 Jul 1987 08:31

Re: Prolog riddle - (nf)
By: Lars-Henrik Eriksson on Tue, 14 Jul 1987 11:45

PROLOG Digest V5 #44
By: Chuck Restivo, The Moderator on Wed, 15 Jul 1987 00:35

Re: Behavior of assert and retract
By: Wayne Citrin on Tue, 14 Jul 1987 17:39

PROLOG Digest V5 #43
By: Chuck Restivo, The Moderator on Tue, 14 Jul 1987 03:45

Behavior of assert and retract
By: John Dowding on Sat, 11 Jul 1987 18:48

prolog compiler/interpreter
By: Carlos Carrion on Mon, 13 Jul 1987 18:17