🚀 go-pugleaf

Re: Naive Reverse
By: Saumya K. Debray on Tue, 04 Apr 1989 15:23

Re: Constraint satisfaction in LOG(F)
By: lee Lee Naish on Tue, 04 Apr 1989 02:09

Re: Re: SB Prolog
By: Ian Dickinson on Tue, 04 Apr 1989 09:10

Re: Naive Reverse
By: Anon on Tue, 04 Apr 1989 00:34

Re: "Prolog for Programmers"
By: Richard Shelby on Mon, 03 Apr 1989 20:48

Re: Interfacing Turbo Prolog to Turbo Pascal of Turbo C
By: CHRIS_LAVENDER_WADE on Mon, 03 Apr 1989 01:09

Re: Naive Reverse
By: Paul Broome on Mon, 03 Apr 1989 00:48

Inline expansion versus threaded code
By: Andre Marien on Mon, 10 Apr 1989 08:42

Well-formed substring tables in Prolog
By: John Dowding on Sat, 01 Apr 1989 18:54

Re: Parlog documents wanted
By: Ken Johnson on Fri, 31 Mar 1989 10:11

Re: Arity Prolog / Expert Development P
By: goldfain on Thu, 30 Mar 1989 21:49

Prolog on MAC and benchmark code for AAIS Prolog
By: Eric Y.H. Tsui on Fri, 31 Mar 1989 04:49

New Prolog book
By: Richard Okeefe on Thu, 30 Mar 1989 06:15

Re: Naive Reverse
By: Richard Okeefe on Thu, 30 Mar 1989 06:11

Re: Committed Choice
By: Richard Okeefe on Thu, 30 Mar 1989 06:05

"Prolog for Programmers"
By: Richard Okeefe on Tue, 28 Mar 1989 06:24

DAP Prolog
By: Hamid Bacha on Wed, 29 Mar 1989 21:22

data flow analysis of prolog
By: dennis on Thu, 30 Mar 1989 21:21

Parlog documents wanted
By: T.WOLF on Thu, 30 Mar 1989 15:03

Re: PROLOG / ORACLE interface
By: Paul Eccleson on Wed, 29 Mar 1989 13:05

Re: Arity Prolog / Expert Development Package
By: Todd Ogasawara on Wed, 29 Mar 1989 23:01

Apology for accidental submission
By: Sanjai Narain on Mon, 27 Mar 1989 06:18

Constraint satisfaction in LOG(F)
By: Sanjai Narain on Mon, 27 Mar 1989 06:10

Arity Prolog / Expert Development Package
By: W. Dale Hall on Mon, 27 Mar 1989 20:08

Meta90
By: Danny De Schreye on Tue, 28 Mar 1989 14:50

Objects in Quintas Prolog
By: Danielle Smith (Dani) on Tue, 28 Mar 1989 22:02

Style for MIT Press format
By: reddy on Thu, 23 Mar 1989 23:40

Re: Committed Choice
By: Chris Moss on Thu, 23 Mar 1989 18:01

Re: Committed Choice
By: Paul Broome on Thu, 23 Mar 1989 17:09

Interfacing Turbo Prolog to Turbo Pascal of Turbo C
By: NU115247 on Tue, 21 Mar 1989 19:15

Re: Committed Choice
By: Fernando Pereira on Tue, 21 Mar 1989 02:41

Request Info on SICSTUS Prolog
By: MHx on Wed, 29 Mar 1989 20:42

Re: Committed Choice
By: Michel Billaud on Wed, 15 Mar 1989 16:15

Survey paper on "Modules For Prolog"
By: Manolis Koubarakis on Mon, 20 Mar 1989 21:05

Re: Referees
By: Lee Naish on Mon, 20 Mar 1989 02:33

Re: Committed Choice
By: Lee Naish on Mon, 20 Mar 1989 02:08

Re: Naive Reverse
By: Paul Broome on Mon, 20 Mar 1989 02:55

Naive Reverse
By: Tom Emerson on Sun, 19 Mar 1989 17:18

referees
By: Maurice Bruynooghe on Fri, 17 Mar 1989 08:39

Re: SB Prolog
By: Dan Sahlin on Fri, 17 Mar 1989 14:14

Re: SB Prolog
By: Yechiel Yehuda on Thu, 16 Mar 1989 22:44

Re: Referees
By: Torkel Franzen on Wed, 15 Mar 1989 17:48

Re: Committed Choice
By: Chris Moss on Tue, 14 Mar 1989 14:26

SB Prolog
By: wgr on Wed, 15 Mar 1989 15:08

Referees
By: Hamid Bacha on Tue, 14 Mar 1989 22:42

Committed Choice
By: Pat Chkoreff on Fri, 10 Mar 1989 08:47

Re: Prolog for the Mac
By: Fernando da Silva (PW Ph.D.) on Sun, 12 Mar 1989 04:44

Research Posts at Bristol University
By: John Lloyd on Fri, 03 Mar 1989 17:02

BIM_Prolog on Sequent
By: Bart Demoen on Wed, 08 Mar 1989 19:36

Re: Parallel Prolog
By: Matthew Huntbach on Tue, 07 Mar 1989 20:35

Quintus Prolog Workshops
By: Don Hester on Mon, 06 Mar 1989 17:52

Prolog source-code profiling, measures.
By: MHx5745 on Mon, 06 Mar 1989 23:03

Prolog source for C/SysV Unix
By: paul kirkaas on Sun, 05 Mar 1989 23:19

Against fuzzy unification
By: Richard Okeefe on Fri, 03 Mar 1989 04:16

Re: Advanced Prolog Course
By: Hans Buurman on Fri, 03 Mar 1989 13:45

(Fuzzy) Prolog Interpreter/Compiler
By: Mark A. Scarton on Sat, 04 Mar 1989 00:19

PROLOG / ORACLE interface
By: ? on Thu, 02 Mar 1989 17:45

Advanced Prolog Course
By: Operator on Thu, 02 Mar 1989 08:56

Re: Parallel Prolog
By: Tim Duncan on Thu, 02 Mar 1989 16:10

Prolog for Xenix
By: Ken Wilson on Tue, 28 Feb 1989 14:42

Re: Comparing Prolog with other languag
By: kale on Wed, 01 Mar 1989 14:53

Re: Public Domain Prolog for Macintosh
By: Steven Mark Wexler on Tue, 28 Feb 1989 23:34

Parallel Prolog
By: Ee491s18 on Tue, 28 Feb 1989 10:36

Re: Forward chaining production systems on Prolog
By: Yasusi Kanada on Tue, 28 Feb 1989 00:00

DEC-10 Prolog library file vcheck.pl
By: Francois-Michel Lang on Mon, 27 Feb 1989 17:20

Re: Summary: Reference on control structures in Prolog
By: Marco Valtorta on Mon, 27 Feb 1989 14:47

Re: a Mac prolog
By: James C O'Connor III, 2846 on Mon, 27 Feb 1989 18:55

a Mac prolog
By: Leslie Burkholder on Mon, 27 Feb 1989 14:14

Re: Prolog and Modal Logic
By: Bob Tausworthe on Sun, 26 Feb 1989 02:53

Summary: Forward chaining production systems on Prolog
By: Yasusi Kanada on Sun, 26 Feb 1989 02:48

Summary: Reference on control structures in Prolog
By: Yasusi Kanada on Sun, 26 Feb 1989 02:44

Re: Comparing Prolog with other languages
By: Carl Kesselman on Fri, 24 Feb 1989 22:30

Re: Comparing Prolog with other languages
By: Bruce Smith on Fri, 24 Feb 1989 16:34

Prolog and Modal Logic
By: Scott Dietzen on Wed, 22 Feb 1989 20:48

Variable Usage Patterns in Prolog Programs
By: Gopal Gupta on Tue, 21 Feb 1989 22:53

Re: Forward chaining production systems on Prolog?
By: David G. Novick on Mon, 20 Feb 1989 18:55

Comparing Prolog with other languages
By: vanroy on Sun, 19 Feb 1989 21:20

Re: Forward chaining production systems on Prolog?
By: Tim Finin on Sun, 19 Feb 1989 04:43

Position for visiting researcher at SICS
By: Seif Haridi on Fri, 17 Feb 1989 13:16

Forward chaining production systems on Prolog?
By: Yasusi Kanada on Fri, 17 Feb 1989 15:47

german distributer for QUINTUS
By: hubert on Thu, 16 Feb 1989 10:21

Re: existential quantification in bagof
By: wengert on Thu, 16 Feb 1989 18:55

Re: Quintus compatibles
By: Jan Newmarch on Mon, 13 Feb 1989 04:36

Re: existential quantification in bagof
By: fuchs on Mon, 13 Feb 1989 17:38

Re: Reference on control structures on Prolog?
By: William S. Ang on Tue, 14 Feb 1989 02:26

Re: existential quantification in bagof
By: wengert on Mon, 13 Feb 1989 15:27

Reference on control structures on Prolog?
By: Yasusi Kanada on Mon, 13 Feb 1989 17:50

PARLOG for Mac and PC
By: Steve Gregory on Fri, 10 Feb 1989 16:38

where are "writef" and "vcheck" ?
By: Felix S.-T. Wu on Fri, 10 Feb 1989 17:25

looking for reference
By: Gerald Karam on Wed, 08 Feb 1989 21:40

Re: existential quantification in bagof
By: gerdeman on Thu, 09 Feb 1989 22:17

Prolog Library - anonymous ftp access
By: Renganathan Sundararajan on Thu, 09 Feb 1989 20:30

Coroutining in IC-Prolog and LOG(F)
By: Sanjai Narain on Wed, 08 Feb 1989 03:00

Re: existential quantification in bagof
By: gerdeman on Wed, 08 Feb 1989 18:36

PRATTFALL - A Machine Translation System in Prolog
By: Tim Finin on Wed, 08 Feb 1989 17:44

Re: existential quantification in bagof
By: Francois-Michel Lang on Wed, 08 Feb 1989 15:15

existential quantification in bagof and setof
By: Bart Demoen on Mon, 06 Feb 1989 09:37

existential quantification in bagof and setof
By: Bob Riemenschneider on Tue, 07 Feb 1989 20:57

Re: existential quantification in bagof
By: gerdeman on Mon, 06 Feb 1989 20:18

Re: IC-Prolog
By: Andre Vellino on Mon, 06 Feb 1989 22:29

Request for a List of Prolog Vendors
By: william on Mon, 06 Feb 1989 17:03

Re: NU-Prolog times/3 (was: IC-Prolog)
By: David Keegel on Mon, 06 Feb 1989 09:34

Re: Quintus compatibles
By: dunn on Sat, 04 Feb 1989 14:46

Re: Quintus compatibles
By: Gerald Karam on Thu, 02 Feb 1989 13:24

Re: IC-Prolog
By: Richard Okeefe on Fri, 03 Feb 1989 05:43

Re: existential quantification in bagof and setof
By: Fernando Pereira on Fri, 03 Feb 1989 07:34

existential quantification in bagof and setof
By: Francois-Michel Lang on Thu, 02 Feb 1989 18:59

Re: Relational Arithmetic in Prolog
By: Andre Vellino on Thu, 02 Feb 1989 19:27

PD prolog sources, again!
By: Mike Slade on Wed, 01 Feb 1989 19:52

Relational Arithmetic in Prolog
By: Andre Vellino on Wed, 01 Feb 1989 17:41

Quintus compatibles
By: Perry Alexander on Tue, 31 Jan 1989 05:47

Re: Natural Deduction Logic Programming
By: Thomas Sj|land on Mon, 30 Jan 1989 13:33

Re: IC-Prolog
By: Matthew Huntbach on Sun, 29 Jan 1989 19:35

Prolog for New Ultrix-Based VAX 3100
By: Randy Kaplan on Mon, 30 Jan 1989 01:37

Re: IC-Prolog
By: Chris Moss on Fri, 27 Jan 1989 11:54

Mac II Prologs (additional info)
By: Frank Malczewski on Sat, 28 Jan 1989 08:02

Re: C-Prolog on Macintosh
By: Mike Newton on Fri, 27 Jan 1989 11:23

Re: Looking for Prolog on Mac II
By: Frank Malczewski on Thu, 26 Jan 1989 02:01

Bibliografy on Modular Programming
By: Jose Alberto Fernandez on Wed, 25 Jan 1989 18:03

C-Prolog on Macintosh
By: Chris Tweed on Fri, 20 Jan 1989 13:23

Natural Deduction Logic Programming
By: Gary Levin on Tue, 24 Jan 1989 22:25

IC-Prolog
By: Gary Levin on Tue, 24 Jan 1989 22:09

Looking for Prolog on Mac II
By: Joachim Posegga on Mon, 23 Jan 1989 20:02

Re: SB-Prolog on SGI Iris?
By: Scott Henry on Mon, 23 Jan 1989 16:58

SB-Prolog on SGI Iris?
By: Michael Gleicher on Sun, 22 Jan 1989 01:16

Call for Papers
By: olson on Thu, 19 Jan 1989 19:18

X and Prolog
By: Bart Demoen on Wed, 18 Jan 1989 21:14

Re: X interface?
By: Andreas Baecker on Wed, 18 Jan 1989 09:59