🚀 go-pugleaf

Interesting Cprolog 1.5 bug
By: Wayne Citrin on Sun, 09 Nov 1986 00:23

PROLOG Digest V4 #67
By: Chuck Restivo, The Moderator on Thu, 06 Nov 1986 19:19

PROLOG Digest V4 #66
By: Chuck Restivo, The Moderator on Wed, 05 Nov 1986 18:36

Prolog theorem prover
By: David Plaisted on Tue, 04 Nov 1986 19:05

PROLOG Digest V4 #65
By: Chuck Restivo, The Moderator on Wed, 05 Nov 1986 03:50

More on Prolog II
By: ECTU68 R Innis CS on Mon, 03 Nov 1986 13:01

PROLOG Digest V4 #64
By: Chuck Restivo, The Moderator on Tue, 04 Nov 1986 00:41

PROLOG Digest V4 #63
By: Chuck Restivo, The Moderator on Sat, 01 Nov 1986 12:36

Wisdom Prolog - Info Wanted
By: Tom Frauenhofer on Wed, 29 Oct 1986 14:16

Prolog II - any info?
By: ECTU68 R Innis CS on Mon, 27 Oct 1986 20:17

PROLOG Digest V4 #62
By: Chuck Restivo, The Moderator on Mon, 27 Oct 1986 12:21

PROLOG Digest V4 #60
By: Chuck Restivo, The Moderator on Thu, 23 Oct 1986 11:35

Public Domain Prolog
By: David Fiore on Wed, 22 Oct 1986 07:16

PROLOG Digest V4 #56
By: Chuck Restivo, The Moderator on Fri, 17 Oct 1986 11:18

Info on Wisdom Prolog Wanted
By: brecht on Thu, 16 Oct 1986 20:09

VMS implementations of Prolog
By: robert on Fri, 17 Oct 1986 20:57

VMS implementations of Prolog
By: robert on Tue, 14 Oct 1986 14:55

C-Prolog Porting Problems
By: Thomas C Crayner on Wed, 15 Oct 1986 00:59

net.lang.prolog is being renamed comp.lang.prolog
By: Mark Horton on Fri, 07 Nov 1986 20:08

PROLOG Digest V4 #55
By: Chuck Restivo, The Moderator on Thu, 16 Oct 1986 03:52

Request for reposting prolog benchmark programs
By: N Shashidhar on Wed, 15 Oct 1986 19:28

opinions on Prolog books requested
By: Todd Ogasawara on Fri, 10 Oct 1986 07:12

Re: help needed
By: Kim P. Collins on Thu, 09 Oct 1986 01:32

help needed
By: peter srulovicz on Mon, 06 Oct 1986 12:52

New Book on Prolog Multiprocessors
By: Michael Wise on Tue, 07 Oct 1986 19:58

PROLOG Digest V4 #54
By: Chuck Restivo, The Moderator on Thu, 25 Sep 1986 01:12

PROLOG Digest V4 #53
By: Chuck Restivo, The Moderator on Wed, 24 Sep 1986 01:11

"For All" in Prolog - Thanks
By: Douglas Baldwin on Tue, 23 Sep 1986 12:58

PROLOG Digest V4 #52
By: Chuck Restivo, The Moderator on Mon, 22 Sep 1986 02:25

PROLOG Digest V4 #51
By: Chuck Restivo, The Moderator on Wed, 17 Sep 1986 10:48

Turbo Prolog and MS Fortran
By: IFY on Tue, 16 Sep 1986 20:21

PROLOG Digest V4 #50
By: Chuck Restivo, The Moderator on Sat, 13 Sep 1986 23:51

PROLOG Digest V4 #49
By: Chuck Restivo, The Moderator on Fri, 12 Sep 1986 00:25

New deadline for HP contest
By: AI on Mon, 08 Sep 1986 19:48

PROLOG Digest V4 #48
By: Chuck Restivo, The Moderator on Wed, 10 Sep 1986 10:38

<PROLOG> at SU-SCORE
By: gooley on Tue, 09 Sep 1986 14:17

SLP '86
By: keller on Wed, 10 Sep 1986 05:50

Question - Control Structures and Parallelism
By: Douglas Baldwin on Wed, 10 Sep 1986 15:14

C-prolog, MU-prolog, Quintus prolog
By: Edwin Plantinga on Tue, 09 Sep 1986 19:50

PROLOG Digest V4 #47
By: Chuck Restivo, The Moderator on Sat, 06 Sep 1986 02:07

Anwers: Knights and Knaves
By: David Fiore on Wed, 03 Sep 1986 21:06

Re: fixed points
By: Jamie Andrews on Tue, 02 Sep 1986 17:04

PROLOG Digest V4 #46
By: Chuck Restivo, The Moderator on Sun, 31 Aug 1986 21:59

Re: fixed points
By: Bjorn Danielsson on Sat, 30 Aug 1986 06:48

Answer to fixed-points query of #41
By: Ran Ever-Hadani on Sun, 31 Aug 1986 12:24

PROLOG Digest V4 #45
By: Chuck Restivo, The Moderator on Fri, 29 Aug 1986 03:37

PROLOG Digest V4 #44
By: Chuck Restivo, The Moderator on Tue, 26 Aug 1986 14:08

PROLOG Digest V4 #43
By: Chuck Restivo, The Moderator on Tue, 26 Aug 1986 03:52

PROLOG Digest V4 #42
By: Chuck Restivo, The Moderator on Tue, 26 Aug 1986 02:43

Re: Dave Plummer's bagof query
By: Chris Moss on Fri, 22 Aug 1986 09:53

PROLOG Digest V4 #41
By: Chuck Restivo, The Moderator on Sat, 23 Aug 1986 14:02

Re: Dave Plummer's bagof query
By: Ramesh Krishnamurti on Wed, 20 Aug 1986 14:10

PROLOG Digest V4 #40
By: Chuck Restivo, The Moderator on Tue, 19 Aug 1986 21:38

Knights and Knaves
By: David Fiore on Mon, 18 Aug 1986 22:26

PROLOG Digest V4 #39
By: Chuck Restivo, The Moderator on Mon, 18 Aug 1986 10:59

Re: lemmas
By: Ran Ever-Hadani on Sun, 17 Aug 1986 23:39

Re: lemmas
By: Ran Ever-Hadani on Sun, 17 Aug 1986 23:10

Re: lemmas
By: Mario O. Bourgoin on Sun, 17 Aug 1986 17:30

PROLOG Digest V4 #38
By: Chuck Restivo, The Moderator on Thu, 14 Aug 1986 23:56

PROLOG Digest V4 #37
By: Chuck Restivo, The Moderator on Wed, 13 Aug 1986 18:57

lemmas
By: David Sherman on Wed, 13 Aug 1986 12:45

Farmer Puzzle
By: Mario O. Bourgoin on Wed, 13 Aug 1986 04:02

PROLOG Digest V4 #36
By: Chuck Restivo, The Moderator on Tue, 12 Aug 1986 03:15

PROLOG Digest V4 #35
By: Chuck Restivo, The Moderator on Sun, 10 Aug 1986 20:57

Graphics for C-Prolog on the SUN
By: Barry Brachman on Sun, 14 Sep 1986 22:09

Re: How should I do this?
By: windes on Wed, 06 Aug 1986 23:42

PROLOG Digest V4 #34
By: Chuck Restivo, The Moderator on Thu, 07 Aug 1986 18:00

PROLOG Digest V4 #33
By: Chuck Restivo, The Moderator on Wed, 06 Aug 1986 01:00

How should I do this?
By: Mario O. Bourgoin on Mon, 04 Aug 1986 18:02

Chat-80 Source?
By: gooley on Sun, 03 Aug 1986 23:40

PROLOG Digest V4 #32
By: Chuck Restivo, The Moderator on Sat, 02 Aug 1986 19:30

A fix for C-Prolog Ctrl-C handler problem
By: andrew on Fri, 18 Jul 1986 19:19

query--obtaining cprolog
By: henry on Wed, 16 Jul 1986 02:53

Re: BENCHMARKING PROLOG SYSTEMS, PART 1 of 3 (FINAL VERSION)
By: rb on Sat, 12 Jul 1986 00:13

New List syntax
By: cdsm on Fri, 11 Jul 1986 16:59

Syntax variant tests
By: cdsm on Fri, 11 Jul 1986 16:53

Re: Cut, var, nonvar, and Goebel's
By: reddy on Wed, 09 Jul 1986 20:04

Re: cputime in UNSW prolog?
By: gooley on Mon, 07 Jul 1986 18:39

Re: Cut, var, nonvar, and Goebel's
By: reddy on Tue, 08 Jul 1986 20:33

Re: Degrees of provability - Re: "assert" considered harmful?
By: David Sherman on Mon, 07 Jul 1986 02:56

Overlay in Turbo Prolog?
By: h1c on Thu, 03 Jul 1986 21:20

IRS and expert systems
By: W. Randolph Franklin on Thu, 10 Jul 1986 07:59

cputime in UNSW prolog?
By: Rex Ballard on Wed, 02 Jul 1986 21:58

Logical? (Re: Cut, var, nonvar, and Goebel's stardom
By: Rex Ballard on Wed, 02 Jul 1986 17:03

BENCHMARKING PROLOG SYSTEMS, PART3 (OF 3) (FINAL VERSION)
By: Jean Claude Syre on Wed, 02 Jul 1986 11:13

BENCHMARKING PROLOG SYSTEMS, PART 2 (OF 3) (FINAL VERSION)
By: Jean Claude Syre on Wed, 02 Jul 1986 11:02

BENCHMARKING PROLOG SYSTEMS, PART 1 of 3 (FINAL VERSION)
By: Jean Claude Syre on Wed, 02 Jul 1986 10:58

Re: looking for Prolog
By: Rex Ballard on Thu, 26 Jun 1986 04:49

Re: "assert" considered harmful?
By: David Sherman on Sun, 29 Jun 1986 03:25

Puzzel grammars
By: vantreeck on Fri, 27 Jun 1986 14:17

Degrees of provability - Re: "assert" considered harmful?
By: rb on Fri, 20 Jun 1986 17:13

Defining var(X).
By: bhyde on Thu, 26 Jun 1986 20:15

Re: Standard behavior?
By: avg on Wed, 25 Jun 1986 02:30

Re: PROLOG Digest V4 #22
By: Uday U-reddy on Wed, 25 Jun 1986 02:16

Re: Cut, var, nonvar, and Goebel's stardom
By: Uday U-reddy on Wed, 25 Jun 1986 01:45

York Portable Prolog and the p-syst
By: bnh on Fri, 20 Jun 1986 21:34

Re: Standard behavior?
By: Alan Tonisson on Thu, 19 Jun 1986 08:24

Re: "assert" considered harmful?
By: Bob Dalgleish on Fri, 20 Jun 1986 22:09

Re: PROLOG Digest V4 #22
By: Wombat on Sat, 21 Jun 1986 01:16

PROLOG Digest V4 #23
By: Chuck Restivo, The Moderator on Thu, 19 Jun 1986 13:22

PROLOG Digest V4 #23
By: Chuck Restivo, The Moderator on Thu, 19 Jun 1986 13:16

PROLOG Digest V4 #23
By: Chuck Restivo, The Moderator on Thu, 19 Jun 1986 13:33

PROLOG Digest V4 #23
By: Chuck Restivo, The Moderator on Thu, 19 Jun 1986 13:33

PROLOG Digest V4 #23
By: Chuck Restivo, The Moderator on Wed, 18 Jun 1986 14:58

PROLOG for course
By: dunn on Thu, 19 Jun 1986 02:30

PROLOG Digest V4 #22
By: Chuck Restivo, The Moderator on Tue, 17 Jun 1986 14:53

Re: TOO MUCH TRAFFIC
By: David Sherman on Fri, 20 Jun 1986 03:22

TOO MUCH TRAFFIC
By: avg on Tue, 17 Jun 1986 03:13

Re: Standard behavior?
By: Lars-Henrik Eriksson on Sat, 14 Jun 1986 07:00

Prolog on Common Lisp
By: jeg on Sat, 14 Jun 1986 06:01

LIPS
By: micha on Fri, 13 Jun 1986 18:54

Re: Standard behavior? (semantics of nonlogical primitives)
By: lhe on Fri, 13 Jun 1986 02:01

PROLOG Digest V4 #21
By: Chuck Restivo, The Moderator on Thu, 12 Jun 1986 16:09

Re: Standard behavior?
By: Gilbert Cockton on Mon, 09 Jun 1986 13:39

Re: looking for Prolog
By: Greg Michaelson on Mon, 09 Jun 1986 10:37

Re: Depth First Iterative Deepening in parallel PROLOGs
By: Thomas Sj|land on Wed, 11 Jun 1986 02:29

Re: looking for (PD) Prolog
By: Rex Ballard on Tue, 10 Jun 1986 14:57

Re: looking for Prolog
By: Claude Sammut on Wed, 11 Jun 1986 04:41

Re: "assert" considered harmful?
By: dave on Thu, 12 Jun 1986 05:16

Prolog Standardization
By: Chris Moss on Fri, 06 Jun 1986 17:32

PROLOG Digest V4 #18
By: Chuck Restivo, The Moderator on Tue, 10 Jun 1986 00:39

Cut, var, nonvar, and Goebel's stardom
By: Jamie Andrews on Fri, 06 Jun 1986 18:00

Re: "assert" considered harmful?
By: Jamie Andrews on Fri, 06 Jun 1986 17:35

Re: looking for Prolog
By: F.W.G.M. de Bruyn Philips CAD Ce... on Tue, 10 Jun 1986 03:24

PROLOG Digest V4 #17
By: Chuck Restivo, The Moderator on Sat, 07 Jun 1986 18:07

Re: Standard behavior?
By: reddy on Sun, 08 Jun 1986 00:19

Re: looking for Prolog
By: san on Fri, 06 Jun 1986 20:06

PROLOG Digest V4 #16
By: Chuck Restivo, The Moderator on Fri, 06 Jun 1986 13:18