🚀 go-pugleaf

Real Prolog applications?
By: holliday on Sat, 23 Mar 1991 18:40

Re: Environments
By: fore057 on Sat, 23 Mar 1991 04:22

Re: Environments (was Re: Arity's so-called upgrade)
By: Todd Ogasawara on Fri, 22 Mar 1991 22:25

ICLP'91 Preconference Workshop
By: Jacquet on Fri, 22 Mar 1991 10:15

Logic Programming Within an Imperative Framework
By: Diomidis Spinellis on Wed, 20 Mar 1991 20:33

LPA 386-PROLOG
By: Richard A. O'Keefe on Fri, 22 Mar 1991 09:10

Re: simple question
By: Bill Viggers on Thu, 21 Mar 1991 22:44

Re: simple question
By: Feliks Kluzniak on Thu, 21 Mar 1991 12:34

public domain prolog
By: Kay Nettle on Thu, 21 Mar 1991 16:55

Environments (was Re: Arity's so-called upgrade)
By: Richard A. O'Keefe on Thu, 21 Mar 1991 13:29

Re: Arity's so-called upgrade
By: Todd Ogasawara on Thu, 21 Mar 1991 08:58

Re: simple question
By: Richard A. O'Keefe on Thu, 21 Mar 1991 05:03

Re: simple question
By: Bill Viggers on Wed, 20 Mar 1991 22:50

simple question
By: C Wayne Huling on Tue, 19 Mar 1991 16:29

Call for participation, ICLP'91 workshop on Object Oriented Logic Programming
By: Jean-Marc Andreoli on Tue, 19 Mar 1991 22:46

Re: Arity's so-called upgrade
By: Paul G. Weiss on Tue, 19 Mar 1991 15:13

Availability of summer position
By: Sanjai Narain on Tue, 19 Mar 1991 17:33

ALPUK'91 Logic Programming Conference
By: Tim Duncan on Wed, 20 Mar 1991 17:35

Looking for a PD C-Prolog
By: Rick Walker on Fri, 01 Mar 1991 08:14

Call for Poster Papers for ILPS'91
By: Leon Sterling on Mon, 18 Mar 1991 21:40

Call for Poster Papers for ILPS'91
By: Leon Sterling on Mon, 18 Mar 1991 21:37

Known Bugs in Quintus Prolog version 3.0/3.1?
By: John Dowding on Mon, 18 Mar 1991 18:07

Re: Arity's so-called upgrade
By: John Dowding on Mon, 18 Mar 1991 18:03

Looking for references on parallel PROLOG
By: Jean-Marc Alliot on Mon, 18 Mar 1991 00:19

St. Patrick's Day
By: brady on Fri, 15 Mar 1991 23:42

Re: Arity's so-called upgrade
By: Richard A. O'Keefe on Mon, 18 Mar 1991 08:15

Re: Arity's so-called upgrade
By: Richard A. O'Keefe on Mon, 18 Mar 1991 07:50

CFP: Japanese LPC'91
By: Satoh Ken on Mon, 18 Mar 1991 04:32

Re: Arity's so-called upgrade
By: Todd Ogasawara on Sat, 16 Mar 1991 19:25

Re: Arity's so-called upgrade
By: John Dowding on Fri, 15 Mar 1991 17:39

Re: Arity's so-called upgrade
By: Michael A. Covington on Fri, 15 Mar 1991 05:05

Re: Arity's so-called upgrade
By: J. PUKITE on Fri, 15 Mar 1991 13:32

Re: Arity's so-called upgrade
By: Todd Ogasawara on Thu, 14 Mar 1991 21:24

Re: Prolog parser bug in reading conditional? Or not?
By: Thomas Sj|land on Fri, 01 Mar 1991 10:27

Re: Theorem Prover
By: Geraint Wiggins on Thu, 28 Feb 1991 10:23

Re: Another question on pointers and Prolog.
By: Thanasis Mitsolides on Thu, 28 Feb 1991 19:45

<None>
By: Bob Angell on Thu, 14 Mar 1991 18:15

Re: Arity's so-called upgrade
By: Richard A. O'Keefe on Thu, 14 Mar 1991 04:46

Re: LPA Prolog; Address Correction
By: David Bowen on Thu, 14 Mar 1991 01:30

Re: general data structures are [not] impossible
By: Jamie Andrews on Wed, 27 Feb 1991 21:05

Re: Arity's so-called upgrade
By: John Dowding on Thu, 14 Mar 1991 01:48

Re: Object Oriented Prolog question
By: paolo ciancarini on Wed, 27 Feb 1991 15:18

Call for Workshop Proposals for 1991 ILPS
By: Kim Marriott on Sun, 20 Jan 1991 08:30

Re: Arity's so-called upgrade
By: J. PUKITE on Wed, 13 Mar 1991 23:34

Re: Another question on pointers and Prolog
By: Micha Meier on Wed, 27 Feb 1991 09:33

Re: general data structures are impossible
By: Thom Fruehwirth on Fri, 15 Feb 1991 10:14

Re: Arity's so-called upgrade
By: Paul G. Weiss on Wed, 13 Mar 1991 19:43

Re: Arity's so-called upgrade
By: Paul G. Weiss on Wed, 13 Mar 1991 21:35

A comment on Fifth Generation Project
By: paolo ciancarini on Wed, 13 Mar 1991 18:36

two research posts offered
By: Mark Wallace on Wed, 13 Mar 1991 14:51

JOKE
By: Chris Trueman on Mon, 11 Mar 1991 12:03

Re: nqueens
By: brady on Mon, 11 Mar 1991 10:00

ftp'able prolog
By: David O. Nelson on Tue, 12 Mar 1991 00:02

Re: LPA Prolog
By: Tim Duncan on Fri, 08 Mar 1991 14:19

nqueens
By: Thom Fruehwirth on Fri, 08 Mar 1991 15:30

LPA Prolog
By: Vicci Varner on Thu, 07 Mar 1991 23:18

Looking for papers by Mike Kieffer of SUNY
By: Russell Turpin on Wed, 06 Mar 1991 22:52

RA position at Bristol University
By: John Lloyd on Wed, 06 Mar 1991 18:18

E-mail address for Quintus Corporation??
By: Jan B.Andersen on Tue, 05 Mar 1991 21:24

Re: general data structures are [not] impossible
By: Pierre Lescanne on Wed, 06 Mar 1991 17:14

Re: Partial Orders
By: Richard A. O'Keefe on Wed, 06 Mar 1991 05:24

Re: Constructive negation
By: Mark Johnson on Tue, 05 Mar 1991 12:55

Arity's so-called upgrade
By: Todd Ogasawara on Tue, 05 Mar 1991 07:24

Re: Partial Orders
By: Steve Cassidy on Tue, 05 Mar 1991 02:19

X-11 Interface for Prolog
By: Colin Scott on Mon, 04 Mar 1991 22:19

Re: Partial Orders
By: ged on Mon, 04 Mar 1991 22:38

Re: Does Prolog have an unambiguous syntax definition?
By: Micha Meier on Mon, 04 Mar 1991 09:20

Re: A Type checking/reconstruction procedure for Typed-Prolog
By: T.K. Lakshman on Sun, 03 Mar 1991 05:49

New ftp archive
By: Michael A. Covington on Sun, 03 Mar 1991 02:05

ALLOY: Parallel anf Higher Level
By: Thanasis Mitsolides on Thu, 07 Mar 1991 21:38

Cones (was: general data structures)
By: turpin on Fri, 01 Mar 1991 16:03

Re: general data structures are impossible
By: Thom Fruehwirth on Fri, 01 Mar 1991 08:31

Re: Partial Orders
By: Richard A. O'Keefe on Fri, 01 Mar 1991 07:05

Re: Another question on pointers and Prolog.
By: Micha Meier on Fri, 01 Mar 1991 12:43

Re: Does Prolog have an unambiguous syntax definition?
By: Richard A. O'Keefe on Wed, 27 Feb 1991 07:18

Re: Looking for MIKE
By: Mats Lidell TM/JUF 91753 on Fri, 01 Mar 1991 10:20

Re: general data structures are impossible
By: Chris Holt on Thu, 28 Feb 1991 15:36

Re: Partial Orders
By: Hassan Ait-Kaci on Fri, 01 Mar 1991 11:15

Re: A Type checking/reconstruction procedure for Typed-Prolog
By: Mattias Waldau on Fri, 01 Mar 1991 06:03

Re: Partial Orders
By: Steve Cassidy on Fri, 01 Mar 1991 00:57

Re: Object Oriented Prolog question
By: Richard A. O'Keefe on Thu, 28 Feb 1991 03:06

Re: Object Oriented Prolog question
By: Richard A. O'Keefe on Thu, 28 Feb 1991 03:01

Re: Does Prolog have an unambiguous syntax definition?
By: Mark William Hopkins on Thu, 28 Feb 1991 01:03

Re: Object Oriented Prolog question
By: Shibl Mourad on Wed, 27 Feb 1991 22:35

Re: Object Oriented Prolog question
By: Richard A. O'Keefe on Wed, 27 Feb 1991 07:27

Partial Orders
By: Steve Cassidy on Wed, 27 Feb 1991 03:24

CFP: ICLP Workshop on Language Processing
By: Patrick SAINT-DIZIER on Tue, 26 Feb 1991 15:09

Turbo Prolog
By: Riaz Mohammad on Tue, 26 Feb 1991 19:06

Object Oriented Prolog question
By: Shibl Mourad on Tue, 26 Feb 1991 17:52

Re: SICSTUS warning question
By: Richard A. O'Keefe on Tue, 26 Feb 1991 05:19

Re: Prolog parser bug in reading conditional? Or not?
By: Richard A. O'Keefe on Tue, 26 Feb 1991 05:16

Position offered
By: Thomas Schoenauer on Thu, 07 Feb 1991 16:38

Infinite data structures, object-orientedness
By: Russell Turpin on Tue, 26 Feb 1991 00:42

Theorem Prover
By: Dr. Ranga R. Vemuri on Mon, 25 Feb 1991 22:53

GERMAN TRANSLATOR
By: 2fmmreform on Mon, 25 Feb 1991 22:14

Another question on pointers and Prolog.
By: Russell Turpin on Mon, 25 Feb 1991 22:19

Re: Questions on Prolog
By: Jamie Andrews on Mon, 25 Feb 1991 11:11

Re: Updates to Edinburgh Tools
By: Ray Nickson on Tue, 26 Feb 1991 13:49

SICSTUS warning question
By: raan on Sun, 24 Feb 1991 12:10

Prolog parser bug in reading conditional? Or not?
By: dave8 on Fri, 22 Feb 1991 17:26

Re: general data structures are impossible
By: Richard A. O'Keefe on Mon, 25 Feb 1991 07:21

Re: general data structures are [not] impossible
By: Mark William Hopkins on Sun, 24 Feb 1991 02:28

Re: general data structures are impossible
By: Mark William Hopkins on Sun, 24 Feb 1991 02:02

Re: Review of "The Craft of Prolog"
By: Lars-Henrik Eriksson on Tue, 05 Feb 1991 13:53

Re: Tree drawing
By: Gustaf Neumann on Sat, 16 Feb 1991 23:15

Cyclic structures
By: Andre Marien on Tue, 19 Feb 1991 08:18

Tools for LR parsers
By: Paola G. Merlo on Fri, 22 Feb 1991 00:59

Re: odd question
By: Michael A. Covington on Thu, 21 Feb 1991 02:34

Updates to Edinburgh Tools
By: Jocelyn Paine on Tue, 19 Feb 1991 22:34

Improvements to Edinburgh Tools
By: Jocelyn Paine on Tue, 19 Feb 1991 09:55

Please help me with T-joins
By: Richard A. O'Keefe on Wed, 20 Feb 1991 06:44

odd question
By: Ted Dunning on Thu, 21 Feb 1991 00:24

Questions on Prolog
By: Guillermo A. Francia on Wed, 20 Feb 1991 23:14

Re: Heaps and other data structures (was: interesting exercise)
By: Richard A. O'Keefe on Tue, 19 Feb 1991 12:09

Re: general data structures are impossible
By: Richard A. O'Keefe on Tue, 19 Feb 1991 11:50

Re: Question about operators
By: Richard A. O'Keefe on Tue, 19 Feb 1991 11:35

CFP ICLP'91 preconference workshop on LP environments
By: Mireille Ducasse on Tue, 19 Feb 1991 09:37

Cyclic structures (was general data structures are [not] impossible)
By: Mark Johnson on Mon, 18 Feb 1991 12:41

Humourous explanation of backtracking in Prolog
By: Jacob Levy on Fri, 01 Feb 1991 16:59

Re: Interesting exercise / NeXT machines
By: Mattias Waldau on Sat, 16 Feb 1991 05:09

Re: general data structures are impossible
By: Chris Holt on Tue, 19 Feb 1991 23:53

Re: general data structures are impossible
By: Paul Crowley on Tue, 19 Feb 1991 20:57

porting MPROLOG application to Quintus prolog
By: Todd Pfaff on Wed, 13 Feb 1991 16:53

show of interest
By: Karen A. Morrissey on Tue, 19 Feb 1991 18:49

Re: general data structures are .not. impossible
By: Hong Chen on Tue, 19 Feb 1991 16:07

Re: Tree drawing
By: Richard A. O'Keefe on Tue, 19 Feb 1991 12:20

Looking for MIKE
By: Mats Lidell TM/JUF 91753 on Tue, 19 Feb 1991 08:59

Re: Heaps and other data structures (was: interesting exercise)
By: Micha Meier on Mon, 18 Feb 1991 08:25