🚀 go-pugleaf

Yet another bibliography request: logic programming
By: Steve Stevenson on Tue, 17 Jan 1989 20:08

Re: X interface?
By: Ted Kim (ATW) on Tue, 17 Jan 1989 18:05

PRESS
By: Sean W. Doyle on Tue, 17 Jan 1989 16:12

C-Prolog Question
By: Rajeev Pandey on Tue, 17 Jan 1989 08:15

Comp.lang.prolog archival site?
By: Dan Koren on Mon, 16 Jan 1989 08:43

Programs using GHC's run-time safety test
By: George Papadopoulos CMP RA on Sun, 15 Jan 1989 18:48

Re: Perfect Numbers, Complexity
By: David Bowen on Sat, 14 Jan 1989 09:08

X interface?
By: T.WOLF on Fri, 13 Jan 1989 14:33

Deadline for ALP newsletter is 17 January
By: Chris Moss on Wed, 11 Jan 1989 12:02

Perfect Numbers, Complexity
By: Arun Lakhotia on Thu, 12 Jan 1989 08:11

BEACON configurator (Upenn Colloquium)
By: Tim Finin on Wed, 11 Jan 1989 21:34

Re: perfect numbers
By: Dale Miller on Wed, 11 Jan 1989 18:17

Yet another perfect number program
By: Andre Marien on Tue, 10 Jan 1989 09:48

Re: Prolog and Smalltalk
By: Barry W. Kort on Sat, 07 Jan 1989 16:13

DelPhi Prolog Machine Progress
By: William Clocksin on jenny on Wed, 04 Jan 1989 10:22

Re: Newsletter.
By: Chris Moss on Wed, 04 Jan 1989 16:16

Prolog in Concurrent Logic Languages
By: Nils Hagner on Wed, 04 Jan 1989 00:27

Re: Queens Again
By: kale on Wed, 04 Jan 1989 16:31

Queens Again
By: kale on Tue, 03 Jan 1989 23:14

Prolog and Smalltalk
By: Jan Chomicki on Tue, 03 Jan 1989 15:18

declarative vs. efficient code [was Re: Efficiency, O'Keefe]
By: Saumya K. Debray on Sat, 31 Dec 1988 17:25

Availability of predicates...
By: Sankarnarayan Sridhar on Sat, 31 Dec 1988 03:39

Efficiency, O'Keefe
By: Arun Lakhotia on Wed, 28 Dec 1988 20:04

O'Keefe; primality testing
By: Saumya K. Debray on Tue, 27 Dec 1988 22:24

looking for information on Prolog compilation
By: News system owner ID on Tue, 27 Dec 1988 17:24

ISO Prolog standardization?
By: Yasusi Kanada on Sat, 24 Dec 1988 04:56

Learning Prolog: suggestions request.
By: Stanislaw L. Olejniczak on Thu, 22 Dec 1988 23:47

Re: PARLOG and FCP
By: Kave Eshghi on Thu, 22 Dec 1988 16:28

Yet another perfect number program
By: Arun Lakhotia on Thu, 22 Dec 1988 05:54

Re: PARLOG and FCP
By: Jacob Levy on Thu, 22 Dec 1988 00:51

Re: perfect numbers
By: Francois-Michel Lang on Wed, 21 Dec 1988 23:13

posting code to comp.lang.prolog
By: Francois-Michel Lang on Wed, 21 Dec 1988 15:05

PARLOG and FCP
By: Steve Lawyer on Tue, 20 Dec 1988 19:14

Re: SBProlog bug? fix? assert, asserta, assertz
By: Madhu Murthy on Mon, 19 Dec 1988 15:48

Deriving isprime/1 (Long)
By: Arun Lakhotia on Wed, 21 Dec 1988 04:24

Porting Quintus Prolog code to BIM_Prolog
By: Marco Valtorta on Tue, 20 Dec 1988 22:04

Re: perfect numbers
By: Laurent PIERRON on Tue, 20 Dec 1988 22:56

Be seeing you!
By: ok on Sat, 17 Dec 1988 09:15

Christmas pleasure.
By: Thomas Sj|land on Fri, 16 Dec 1988 16:31

Re: sets of integers
By: Richard A. O'Keefe on Thu, 15 Dec 1988 23:52

Re: Newsletter.
By: Richard A. O'Keefe on Thu, 15 Dec 1988 23:44

sets of integers
By: Mats Carlsson on Tue, 13 Dec 1988 10:47

Re: Newsletter.
By: Chris Moss on Mon, 12 Dec 1988 17:50

Re: SBProlog bug? fix? assert, asserta, assertz
By: Saumya K. Debray on Tue, 13 Dec 1988 02:51

SBProlog bug? fix? assert, asserta, assertz
By: Gary Anderson on Mon, 12 Dec 1988 22:35

Re: Resolution in Prolog
By: Kave Eshghi on Fri, 09 Dec 1988 17:39

Re: PARLOG, FCP
By: Yasusi Kanada on Wed, 07 Dec 1988 02:06

Re: BENCHMARKS AND LIPS, KIPS
By: Chris Moss on Mon, 05 Dec 1988 12:47

Re: Logic Programming Newsletter
By: Mike Barley on Tue, 06 Dec 1988 17:33

Logic Programming Newsletter
By: ok on Tue, 06 Dec 1988 08:05

Re: Journal of LP for Assoc. for LP members
By: Chris Moss on Sat, 03 Dec 1988 12:26

Re: PARLOG, FCP
By: Jacob Levy on Fri, 02 Dec 1988 20:05

PARLOG, FCP
By: Steve Lawyer on Thu, 01 Dec 1988 15:05

Prolog Standards meeting
By: Chris Moss on Tue, 29 Nov 1988 14:53

A problem
By: Surya Mantha on Thu, 01 Dec 1988 20:48

CFP for ICLP?
By: Jacob Levy on Wed, 30 Nov 1988 22:12

Re: BENCHMARKS AND LIPS, KIPS
By: Richard A. O'Keefe on Wed, 30 Nov 1988 10:40

Reccomendations for Prolog systems
By: Tim Zickus on Wed, 30 Nov 1988 16:46

Journal of LP for Assoc. for LP members
By: Peter Schachte on Wed, 30 Nov 1988 02:11

Re: BENCHMARKS AND LIPS, KIPS
By: Chris Moss on Mon, 28 Nov 1988 12:10

Re: Prolog and Paging
By: Juergen Wagner on Tue, 29 Nov 1988 04:20

Prolog and Paging
By: tek on Mon, 28 Nov 1988 18:33

Constraint Processing in Prolog
By: Randy Kaplan on Sun, 27 Nov 1988 16:52

Prolog Software Engineering
By: Orville Weyrich on Thu, 24 Nov 1988 21:33

Re: Infix-to-prefix notation (Or: Why doesn't C-Prolog's "display" work?)
By: Richard A. O'Keefe on Thu, 24 Nov 1988 02:37

doctor honoris causa
By: Maurice Bruynooghe on Tue, 22 Nov 1988 16:22

Re: BENCHMARKS AND LIPS, KIPS
By: Richard A. O'Keefe on Wed, 23 Nov 1988 01:54

Re: Quintus Prolog Memory Management
By: Francois-Michel Lang on Tue, 22 Nov 1988 14:03

Catalog of Prototype Prolog Applications
By: Orville Weyrich on Tue, 22 Nov 1988 01:46

Infix-to-prefix notation (Or: Why doesn't C-Prolog's "display" work?)
By: Rajiv Sarathy on Wed, 23 Nov 1988 00:16

BENCHMARKS AND LIPS, KIPS
By: LIALG on Mon, 21 Nov 1988 15:54

Re: iterative deepening [was Re: The meaning of "declarative"]
By: Pat Chkoreff on Fri, 18 Nov 1988 11:27

Re: Resolution in Prolog
By: Richard A. O'Keefe on Sun, 20 Nov 1988 07:21

Resolution in Prolog
By: Giordano Pezzoli on Thu, 17 Nov 1988 16:54

Re: iterative deepening [was Re: The meaning of "declarative"]
By: Marco Valtorta on Fri, 18 Nov 1988 19:14

Catalog of Application Programs
By: Spiro Michaylov on Fri, 18 Nov 1988 18:05

Re: Determining order of argument unification
By: Micha Meier on Thu, 17 Nov 1988 09:29

Re: Search strategies in PROLOG
By: Richard A. O'Keefe on Fri, 18 Nov 1988 03:51

Re: Quintus Prolog Memory Management
By: Richard A. O'Keefe on Fri, 18 Nov 1988 03:40

Search strategies in PROLOG
By: vantreeck on Thu, 17 Nov 1988 16:57

Quintus Prolog Memory Management
By: Alex Kean on Thu, 17 Nov 1988 00:15

Re: iterative deepening [was Re: The meaning of "declarative"]
By: Richard A. O'Keefe on Thu, 17 Nov 1988 04:45

Simple Prolog Examples/Programs
By: Rajiv Sarathy on Fri, 18 Nov 1988 01:00

iterative deepening [was Re: The meaning of "declarative"]
By: Saumya K. Debray on Wed, 16 Nov 1988 21:45

Catalog of Application Programs
By: Spiro Michaylov on Wed, 16 Nov 1988 15:56

Re: The meaning of "declarative"
By: Richard A. O'Keefe on Wed, 16 Nov 1988 10:52

Re: The meaning of "declarative"
By: Francois-Michel Lang on Tue, 15 Nov 1988 16:38

Inexpensive prolog for sun ?
By: Madhu Murthy on Mon, 14 Nov 1988 21:31

C - Prolog interpreter availability info wanted
By: Keptin Comrade Dr. Bob on Tue, 15 Nov 1988 02:20

looking for C-code on unification
By: Sean Boisen on Mon, 14 Nov 1988 17:35

Son of Stupid Prolog Questions
By: Jack J. Woehr on Sat, 12 Nov 1988 07:38

Re: MAC Prolog, and Refs on Program transformations
By: Mark Johnson on Fri, 11 Nov 1988 21:50

Re: MAC Prolog
By: Richard A. O'Keefe on Fri, 11 Nov 1988 09:13

Re: Determining order of argument unification
By: Lindsay Groves on Thu, 10 Nov 1988 21:44

Compiler/interpreter wanted
By: Timothy Jones on Thu, 10 Nov 1988 18:18

Re: MAC Prolog
By: Mark Johnson on Thu, 10 Nov 1988 14:57

Re: MAC Prolog
By: Richard A. O'Keefe on Thu, 10 Nov 1988 08:00

FCP for Hypercube
By: Zerksis Umrigar on Thu, 10 Nov 1988 06:28

Re: Determining order of argument unification
By: Richard A. O'Keefe on Thu, 10 Nov 1988 01:35

Re: Determining order of argument unification
By: Francois-Michel Lang on Wed, 09 Nov 1988 14:26

Re: MAC Prolog
By: Scott Chase on Wed, 09 Nov 1988 04:15

Meta90
By: Danny De Schreye on Tue, 08 Nov 1988 10:42

Re: The meaning of "declarative"
By: Richard A. O'Keefe on Sun, 30 Oct 1988 00:44

Stupid Question about UNH Prolog
By: Jack J. Woehr on Sun, 30 Oct 1988 03:56

SB-Prolog & recorda/recorded
By: Madhu Murthy on Mon, 07 Nov 1988 19:12

Re: MAC Prolog
By: David Casseres on Tue, 08 Nov 1988 17:42

Re: The meaning of "declarative"
By: Richard A. O'Keefe on Tue, 08 Nov 1988 09:46

Re: Determining order of argument unification
By: Richard A. O'Keefe on Tue, 08 Nov 1988 09:04

Re: Determining order of argument unification
By: Lee Naish on Mon, 07 Nov 1988 00:35

MAC Prolog
By: Cliff Joslyn on Tue, 08 Nov 1988 05:11

Re: The meaning of "declarative"
By: Barry W. Kort on Sun, 06 Nov 1988 17:57

Re: Folk predicates
By: Thom Fruehwirth on Fri, 04 Nov 1988 13:14

Re: Determining order of argument unification
By: Francois-Michel Lang on Fri, 04 Nov 1988 21:41

Re: Determining order of argument unification
By: Richard A. O'Keefe on Fri, 04 Nov 1988 12:26

Benchmarks
By: Tom Emerson on Fri, 04 Nov 1988 14:43

Need info on C & PROLOG comparisons for expert systems
By: Madhu Murthy on Thu, 03 Nov 1988 17:55

Determining order of argument unification
By: Francois-Michel Lang on Thu, 03 Nov 1988 21:56

Re: Stupid Question about UNH Prolog
By: Jack J. Woehr on Wed, 02 Nov 1988 05:38

Re: Folk Predicates
By: Francois-Michel Lang on Wed, 02 Nov 1988 21:15

Re: Folk Predicates
By: Richard A. O'Keefe on Wed, 02 Nov 1988 08:44

Re: Prolog Programs Wanted
By: Geoffrey Phipps on Wed, 02 Nov 1988 00:35

Re: Prolog Programs Wanted
By: Thom Fruehwirth on Tue, 01 Nov 1988 09:01

Re: Prolog Programs Wanted
By: Robert Marti on Mon, 31 Oct 1988 13:00

Folk Predicates
By: Jack J. Woehr on Tue, 01 Nov 1988 03:03

Re: Stupid Question about UNH Prolog
By: Richard A. O'Keefe on Mon, 31 Oct 1988 04:15

Re: Prolog Programs Wanted
By: Geoffrey Phipps on Fri, 28 Oct 1988 17:19

Re: Looking for sources to SB-Prolog....
By: Usenet file owner on Fri, 28 Oct 1988 21:45

Prolog Programs Wanted
By: S. Sudarshan on Thu, 27 Oct 1988 22:05