🚀 go-pugleaf

Re: Why no macro facility?
By: John Dowding on Tue, 12 Jul 1988 18:35

"A Note on the Speed of Prolog"
By: Saumya Debray on Thu, 14 Jul 1988 23:38

Re: common subterms
By: Chikayama Takashi on Wed, 13 Jul 1988 11:23

tidying up control
By: Marcel Schoppers on Wed, 13 Jul 1988 18:10

Prolog Forum meeting
By: ThePrez on Tue, 12 Jul 1988 06:46

Re: "clause", breadth-first evaluation?
By: Lee Naish on Mon, 11 Jul 1988 06:24

lambda Prolog version 2.7
By: Gopalan Nadathur on Mon, 11 Jul 1988 21:03

Re: Why no macro facility?
By: Chikayama Takashi on Mon, 11 Jul 1988 03:15

PROLOG DIGEST V6 #44
By: Chuck Restivo on Mon, 11 Jul 1988 18:37

PROLOG DIGEST V6 #45
By: Chuck Restivo on Mon, 11 Jul 1988 18:39

PROLOG DIGEST V6 #43
By: Chuck Restivo on Sun, 10 Jul 1988 14:58

Re: "clause" in sbprolog? breadth-first evaluation?
By: Richard A. O'Keefe on Fri, 08 Jul 1988 22:02

Re: Why no macro facility?
By: Richard A. O'Keefe on Fri, 08 Jul 1988 21:34

Re: Why no macro facility?
By: kale on Fri, 08 Jul 1988 18:46

"clause" in sbprolog? breadth-first evaluation?
By: William LeFebvre on Thu, 07 Jul 1988 18:47

PROLOG DIGEST V6 #29
By: Chuck Restivo on Thu, 07 Jul 1988 19:06

Re: An example from "Knowledge Systems & Prolog"
By: Micha Meier on Thu, 07 Jul 1988 09:20

PROLOG DIGEST V6 #42
By: Chuck Restivo on Sun, 10 Jul 1988 09:10

PROLOG DIGEST V6 #41
By: Chuck Restivo on Sun, 10 Jul 1988 07:34

PROLOG DIGEST V6 #27
By: Chuck Restivo on Thu, 07 Jul 1988 19:07

PROLOG DIGEST V6 #42
By: Chuck Restivo on Sun, 10 Jul 1988 11:57

Re: PROLOG DIGEST V6 #26
By: Thomas Gordon on Fri, 08 Jul 1988 07:10

PROLOG DIGEST V6 #40
By: Chuck Restivo on Sat, 09 Jul 1988 14:41

PROLOG DIGEST V6 #39
By: Chuck Restivo on Sat, 09 Jul 1988 14:23

Re: Why no macro facility?
By: Tim Finin on Fri, 08 Jul 1988 13:43

Re: Why no macro facility?
By: Francois-Michel Lang on Fri, 08 Jul 1988 12:54

Why no macro facility?
By: Dave Nelson on Thu, 07 Jul 1988 18:00

Fifth Israeli Symposium on Artificial Intelligence
By: udi on Wed, 06 Jul 1988 17:14

constraint logic programming
By: David Hemmendinger on Mon, 04 Jul 1988 19:36

PROLOG DIGEST V6 #28
By: Chuck Restivo on Mon, 04 Jul 1988 16:21

PROLOG DIGEST V6 #28
By: Chuck Restivo on Mon, 04 Jul 1988 16:42

KS&P, chapter 3, part 2.
By: Richard A. O'Keefe on Mon, 04 Jul 1988 01:14

Re: Survey of Prologs for VMS VAX
By: Richard A. O'Keefe on Mon, 04 Jul 1988 00:54

PROLOG DIGEST V6 #26
By: Chuck Restivo on Sun, 03 Jul 1988 19:47

PROLOG DIGEST V6 #38
By: Chuck Restivo on Sun, 03 Jul 1988 15:33

PROLOG DIGEST V6 #25
By: Chuck Restivo on Sun, 03 Jul 1988 19:41

summary: Computer Vision and Logic Programming
By: nosmo on Thu, 14 Jul 1988 06:53

Need Royal Melbourne Institute of Technology Tech. Reports 84/6 and 86/8
By: Jonathan M. Smith on Fri, 01 Jul 1988 18:17

"Knowledge Systems and Prolog", chapter 3.
By: Richard A. O'Keefe on Sun, 03 Jul 1988 05:03

PROLOG DIGEST V6 #37
By: Chuck Restivo on Sat, 02 Jul 1988 15:10

How Prolog logic programmers see Trilogy
By: Paul Voda on Fri, 01 Jul 1988 15:56

"Knowledge Systems in Prolog", more examples
By: Richard A. O'Keefe on Sat, 02 Jul 1988 00:30

PROLOG DIGEST V6 #36
By: Chuck Restivo on Fri, 01 Jul 1988 16:34

PROLOG DIGEST V6 #35
By: restivo on Thu, 30 Jun 1988 16:52

An example from "Knowledge Systems & Prolog"
By: Richard A. O'Keefe on Fri, 01 Jul 1988 01:15

Survey of Prologs for VMS VAX
By: Simon Brooke on Wed, 29 Jun 1988 14:37

arrays in logic programming
By: Michel Feret on Mon, 27 Jun 1988 17:18

Re: NEED PROLOG QUICK REFERENCE GUIDE
By: Saumya Debray on Mon, 20 Jun 1988 22:32

NEED PROLOG QUICK REFERENCE GUIDE
By: Walter Maner on Mon, 20 Jun 1988 17:54

Re: Knowledge representation and Prolog
By: Steve Hardy on Fri, 17 Jun 1988 02:44

LP'88 Conference Announcement
By: Ken Bowen on Thu, 16 Jun 1988 21:03

Re: Knowledge representation and Prolog
By: Tim Finin on Thu, 16 Jun 1988 18:13

Unification Algorithm
By: Ling Kan on Wed, 15 Jun 1988 15:43

Knowledge representation and Prolog
By: ok on Wed, 15 Jun 1988 19:41

Prolog systems for VAX/VMS
By: Simon Brooke on Tue, 14 Jun 1988 13:28

The Logix system version 2.0 release 7
By: udi on Wed, 15 Jun 1988 14:45

Re: GNU vrs UNIPRESS
By: Richard A. O'Keefe on Tue, 14 Jun 1988 04:53

Any Prologs for the Macintosh?
By: Hal Perkins on Mon, 13 Jun 1988 23:13

Re: GNU vrs UNIPRESS
By: John Dowding on Mon, 13 Jun 1988 14:53

Re: GNU vrs UNIPRESS
By: Bernard Silver on Wed, 08 Jun 1988 13:04

Call/1 and goal processing
By: sehr on Tue, 07 Jun 1988 02:31

Re: Object-oriented system in Prolog
By: Mark Johnson on Mon, 13 Jun 1988 03:41

compiler (real) written in prolog
By: Ferhat Khendek on Fri, 10 Jun 1988 17:19

Conf. proceedings info
By: Barry S. Fagin on Fri, 03 Jun 1988 13:09

Re: oops
By: Mark Johnson on Thu, 02 Jun 1988 19:47

GNU vrs UNIPRESS
By: Jason Trenouth on Tue, 31 May 1988 11:08

New Release of NU-Prolog System
By: Jeff Schultz on Mon, 06 Jun 1988 05:08

Data Transformation
By: Russell J. Abbott on Thu, 02 Jun 1988 19:06

Hardware requirements for PROLOG on a Mac?
By: Edouard Lagache on Fri, 03 Jun 1988 04:47

test message -- please ignore
By: James Wilson on Fri, 03 Jun 1988 04:25

Info on Trilogy
By: Gerald Karam on Thu, 02 Jun 1988 18:28

screen control
By: D.BRODERICK on Thu, 26 May 1988 19:18

Re: Clause fusion (Disjunctions)
By: Richard A. O'Keefe on Fri, 27 May 1988 00:28

Usable parallel logic programming systems
By: Barry S. Fagin on Thu, 26 May 1988 15:07

Re: Clause fusion (Disjunctions)
By: Micha Meier on Wed, 25 May 1988 08:43

PD-Prolog BIN for PC (/SRC) needed. please HELP!
By: alevav on Tue, 24 May 1988 19:16

Re: small prolog problem
By: Lindsay Groves on Sun, 22 May 1988 22:34

Re: Prolog Is Semi-Procedural
By: Richard A. O'Keefe on Mon, 30 May 1988 04:03

Re: HELP ME!!!
By: Richard A. O'Keefe on Mon, 30 May 1988 03:47

Re: screen control
By: Richard A. O'Keefe on Sun, 29 May 1988 04:25

Prolog Is Semi-Procedural
By: mccaugh on Sat, 28 May 1988 06:38

Re: Clause fusion (Disjunctions)
By: mccaugh on Sat, 28 May 1988 06:14

Re: Clause fusion (Disjunctions)
By: mccaugh on Sat, 28 May 1988 06:14

Re: HELP ME!!!
By: mccaugh on Sat, 28 May 1988 06:30

Re: HELP ME!!!
By: mccaugh on Sat, 28 May 1988 06:21

Re: small prolog problem
By: Bruno Poterie on Fri, 20 May 1988 07:30

parsym digest
By: Isaac Balbin on Thu, 19 May 1988 23:15

Re: GNU or Unipress EMACS best w/Quintus Prolog?
By: Martin Carroll on Fri, 20 May 1988 19:31

GNU or Unipress EMACS best w/Quintus Prolog?
By: Walter Maner on Fri, 20 May 1988 16:24

Re: Clause fusion (Disjunctions)
By: Richard A. O'Keefe on Fri, 20 May 1988 04:37

Re: Clause fusion
By: Richard A. O'Keefe on Thu, 19 May 1988 21:59

Re: Minimum Spanning Tree with '=='
By: Richard A. O'Keefe on Thu, 19 May 1988 19:10

Re: Clause fusion (Disjunctions)
By: Micha Meier on Thu, 19 May 1988 07:41

Re: Clause fusion
By: Anjo Anjewierden on Wed, 18 May 1988 13:12

NU-Prolog "pure" declarations
By: Lee Naish on Thu, 19 May 1988 02:37

Re: Minimum Spanning Tree with '=='
By: Paul Tarau on Mon, 16 May 1988 03:17

Factoring (was Re: Clause fusion)
By: Richard A. O'Keefe on Wed, 18 May 1988 05:28

small prolog problem
By: George Bender on Wed, 18 May 1988 01:45

Re: Clause fusion
By: Lee Naish on Tue, 17 May 1988 04:46

Logic Programming Research
By: Richard A. O'Keefe on Tue, 17 May 1988 08:52

Re: Atom-based module systems
By: Jeff Dalton on Mon, 16 May 1988 16:11

Re: Clause fusion
By: Saumya Debray on Tue, 17 May 1988 00:58

Re: modules
By: Peter Schachte on Mon, 16 May 1988 21:37

detecting freedom from side effects (was Re: Clause fusion)
By: Saumya Debray on Mon, 16 May 1988 21:05

Re: Clause fusion
By: Saumya Debray on Mon, 16 May 1988 20:04

Re: Clause fusion
By: Saumya Debray on Mon, 16 May 1988 19:23

WAM Translator & Interpreter?
By: vu0140 on Mon, 16 May 1988 19:07

Clause fusion
By: Richard A. O'Keefe on Mon, 16 May 1988 05:29

Re: determinism, once etc, Trilogy
By: Richard A. O'Keefe on Mon, 16 May 1988 04:24

Re: Re: determinism, once etc, Trilogy
By: Gary Fritz on Fri, 13 May 1988 16:35

Re: Re: determinism, once etc, Trilogy
By: Paul Voda on Mon, 16 May 1988 05:31

Re: :- deterministic (HP Prolog)
By: Richard A. O'Keefe on Sun, 15 May 1988 08:34

Re: modules
By: Jeff Dalton on Sat, 14 May 1988 16:59

Re: oops
By: Jeff Dalton on Fri, 13 May 1988 17:12

Re: modules
By: Jeff Dalton on Fri, 13 May 1988 16:47

Re: modules
By: Jeff Dalton on Fri, 13 May 1988 16:35

NU-Prolog comments/opinions wanted
By: leff on Thu, 12 May 1988 19:06

Re: Atom-based module systems
By: Richard A. O'Keefe on Fri, 13 May 1988 23:35

Re: Atom-based module systems
By: Richard A. O'Keefe on Fri, 13 May 1988 23:25

Re: Atom-based module systems
By: Jeff Dalton on Wed, 11 May 1988 17:13

Re: Atom-based module systems
By: Jeff Dalton on Wed, 11 May 1988 14:05

Re: :- deterministic (HP Prolog)
By: Bjorn Danielsson on Thu, 12 May 1988 16:59

Odd behavior of C-Prolog 1.4a debugger
By: Ameen Abu_Hanna on Sat, 14 May 1988 10:49

Re: Atom-based module systems
By: ok on Fri, 13 May 1988 01:53

Re: Minimum Spanning Tree with '=='
By: ok on Fri, 13 May 1988 01:46

Re: modules
By: ok on Fri, 13 May 1988 01:23

Re: Logic Programming and Vision
By: Alan Mackworth on Fri, 20 May 1988 17:09

Re: Logic Programming and Vision
By: David Harwood on Thu, 19 May 1988 16:54