🚀 go-pugleaf

Re: delayed computation challenge
By: Lee Naish on Thu, 21 Dec 1989 02:23

Re: delayed computation challenge
By: Lee Naish on Thu, 21 Dec 1989 01:37

Wanted: References for Constraint Logic Programming
By: Prakash N. Kytharam on Wed, 20 Dec 1989 21:55

How can I reach Martin Nilsson?
By: Barry S. Fagin on Wed, 20 Dec 1989 14:07

Re: delayed computation challenge
By: G. Gupta on Mon, 18 Dec 1989 18:45

Re: Prolog interpreter in LISP wanted
By: Dorai Sitaram on Mon, 18 Dec 1989 21:16

Help with VT Prolog
By: chet on Mon, 18 Dec 1989 17:05

Re: A Challenge
By: Daniel Mahler on Mon, 18 Dec 1989 04:31

Prolog interpreter in LISP wanted
By: William Clocksin on jenny on Thu, 14 Dec 1989 11:35

Re: A Challenge
By: Denys Duchier on Fri, 15 Dec 1989 16:47

Porting SB-Prolog
By: Michael Brooks on Thu, 14 Dec 1989 19:24

canonical syntax
By: Mats Carlsson on Fri, 08 Dec 1989 11:58

Re: Prefix operators and blanks (was: WG17)
By: Mats Carlsson on Fri, 08 Dec 1989 07:52

Re: A Challenge
By: Mark Johnson on Fri, 15 Dec 1989 15:41

Re: Prefix operators and blanks (was: WG17)
By: Peter G Ludemann on Fri, 15 Dec 1989 05:51

Re: Prefix operators and blanks (was: WG17)
By: Mats Carlsson on Wed, 06 Dec 1989 08:50

Job offer
By: Alexander Herold on Thu, 14 Dec 1989 16:57

Re: assert/record
By: Hamid Bacha on Thu, 14 Dec 1989 23:59

A Challenge
By: Pat Chkoreff on Sun, 10 Dec 1989 06:53

Translating negation to Horn clauses? (was Re: Fun. vs. Logic)
By: Jamie Andrews on Thu, 14 Dec 1989 16:45

Prolog interpreter sources needed.
By: Scott Holt on Thu, 14 Dec 1989 17:27

ACM doctoral dissertation award
By: Saumya K. Debray on Thu, 14 Dec 1989 17:26

Re: Fun. vs. Logic
By: Francois Puget on Thu, 14 Dec 1989 13:34

Re: Fun. vs. Logic
By: Francois Puget on Thu, 14 Dec 1989 13:32

assert/record
By: John Milbury-Steen on Thu, 14 Dec 1989 15:14

SB-Prolog System V port wanted
By: John E Van Deusen III on Wed, 13 Dec 1989 19:46

Re: Fun. vs. Logic
By: Torbjorn Naslund on Thu, 14 Dec 1989 09:49

Re: retractall and backtracking
By: Francois-Michel Lang on Mon, 12 Jun 1989 21:10

Looking for K. Kono Konolige
By: morado on Mon, 12 Jun 1989 17:03

Re: retractall and backtracking
By: Armagan Ozdinc on Mon, 12 Jun 1989 14:09

Re: retractall and backtracking
By: Suzanne Sluizer on Fri, 09 Jun 1989 19:51

Re: retractall and backtracking
By: Chris Moss on Fri, 09 Jun 1989 09:45

Available Prologs for Unix/Ultrix
By: Shaun Smith on Tue, 06 Jun 1989 00:03

re: definite clause grammar
By: Thom Fruhwirth on Fri, 09 Jun 1989 22:18

Re: retractall and backtracking
By: Joaquim Baptista (pxQuim) on Fri, 09 Jun 1989 19:41

NACLP89 Special Interest Group Sessions
By: Nevin Heintze on Fri, 09 Jun 1989 15:25

Re: retractall and backtracking
By: David C. Sehr on Fri, 09 Jun 1989 14:50

retractall and backtracking
By: Nigel Cliffe on Thu, 08 Jun 1989 08:07

SB Prolog
By: Mott Given on Tue, 06 Jun 1989 14:26

Definite clause grammar
By: Ken Johnson on Fri, 02 Jun 1989 16:49

Prolog for Microport V/AT
By: Tom Frauenhofer on Thu, 01 Jun 1989 22:35

SB-Prolog under MS-DOS
By: Gary Murphy on Wed, 31 May 1989 16:04

SB-Prolog/Sicstus Prolog info. request
By: dsouza on Wed, 31 May 1989 16:13

SB-Prolog/Sicstus Prolog Info. Request
By: dsouza on Wed, 31 May 1989 16:08

PCE -- Prolog, User Interfaces, Graphics and OOP
By: Anjo Anjewierden on Wed, 31 May 1989 13:28

Looking for a Prolog (for PCs) for teaching
By: Philippe Chatalic on Wed, 31 May 1989 08:49

The inverse problem -- Compiling Prolog with a parser generator.
By: Mark William Hopkins on Wed, 31 May 1989 01:09

Augmented Transitions Networks.
By: R.Kassem on Mon, 29 May 1989 22:13

Re: Propositional Theorem Prover
By: mccaugh on Sat, 27 May 1989 10:00

Re: Prolog interpreter/compiler on IBM (4MB memory) machines
By: Joaquim Baptista (pxQuim) on Fri, 26 May 1989 17:19

Re: Propositional Theorem Prover
By: Andre Vellino on Wed, 24 May 1989 15:43

Re: Request for User Interface Toolkit
By: Suzanne Sluizer on Mon, 22 May 1989 14:12

Re: Prolog interpreter/compiler on IBM (4MB memory) machines (seek info)
By: Suzanne Sluizer on Mon, 22 May 1989 14:08

Re: Prolog interpreter/compiler on IBM (4MB memory) machines (seek info)
By: Suzanne Sluizer on Mon, 22 May 1989 14:03

Knowledge Engineering Environment
By: Jason Trenouth on Mon, 22 May 1989 08:45

Looking for DLGEDIT examples for Arity on Pc
By: Seung Hee Ree on Tue, 23 May 1989 23:16

sbprolog
By: messer on Sun, 21 May 1989 01:57

Request for User Interface Toolkit
By: Russell J. Abbott on Fri, 19 May 1989 23:06

POSITION AVAILABLE AT ECRC MUNICH (GROUP LEADER)
By: Jean Claude Syre on Mon, 22 May 1989 12:57

Request for public domain prolog
By: Turnando Fuad on Thu, 01 Jun 1989 16:18

Prolog interpreter/compiler on IBM (4MB memory) machines (seek info)
By: Eric Y.H. Tsui on Fri, 19 May 1989 04:43

Re: Propositional Theorem Prover
By: Bart Demoen on Fri, 19 May 1989 06:45

Wanted:Programs to test Implementation
By: Venkatesh Choppella on Wed, 17 May 1989 06:01

Re: Parallel Execution of Logic Progras
By: Son of Knuth on Tue, 16 May 1989 03:11

Re: IBM PROLOG
By: Jose Alberto Fernandez R on Sun, 14 May 1989 17:53

IBM PROLOG
By: Mott Given on Fri, 12 May 1989 17:09

RE: CP, Linda and Multiple Producers.
By: Udi Shapiro on Wed, 10 May 1989 07:42

Re: Higher Order Extensions
By: Chris Moss on Wed, 10 May 1989 13:15

Re: Higher Order Extensions
By: Chris Moss on Tue, 09 May 1989 13:25

Re: Higher Order Extensions
By: Paul Tarau on Mon, 08 May 1989 15:41

Parallel Execution of Logic Progras
By: kale on Sat, 06 May 1989 19:24

Propositional Theorem Prover
By: Andre Vellino on Fri, 05 May 1989 20:38

Lin vs. specific sharing
By: kale on Fri, 05 May 1989 16:03

Re: Knowledge Engineering Environment
By: Jim Meritt on Fri, 05 May 1989 13:35

Re: Higher Order Extensions
By: Pat Chkoreff on Thu, 04 May 1989 23:08

CP, Linda and Multiple Producers.
By: Thanasis Mitsolides on Thu, 04 May 1989 23:30

SBProlog 3.0 Problems
By: Tom Shott on Thu, 04 May 1989 01:53

Re: Higher Order Extensions
By: Francois-Michel Lang on Wed, 03 May 1989 17:26

Re: Inline expansion versus threaded code
By: Saumya K. Debray on Wed, 03 May 1989 15:52

Knowledge Engineering Environment
By: Jason Trenouth on Tue, 02 May 1989 20:23

Re: OOL in Prolog
By: Anjo Anjewierden on Tue, 02 May 1989 12:38

SoftEng or CS Graduate Program Search
By: Stanislaw L. Olejniczak on Mon, 01 May 1989 23:09

compiler writing in Prolog
By: Chris Fickert on Fri, 28 Apr 1989 22:08

More on Linda and language embedding
By: Udi Shapiro on Fri, 28 Apr 1989 14:28

Approaches to OOP and Prolog
By: Anjo Anjewierden on Thu, 27 Apr 1989 16:13

Workshop on Alternatives of Logic Programming
By: Timo Knuutila on Fri, 28 Apr 1989 10:20

Inline expansion versus threaded code
By: Andre Marien on Fri, 28 Apr 1989 06:55

Re: Intr programming/Prolog text wanted
By: Lee Naish on Thu, 27 Apr 1989 08:41

Re: Higher Order Extensions
By: Chris Moss on Wed, 26 Apr 1989 10:00

Prolog and Object-Orientation
By: William Clocksin on jenny on Tue, 25 Apr 1989 17:35

Linda controversy
By: "Steve" Stevenson on Wed, 26 Apr 1989 18:20

Intr programming/Prolog text wanted
By: Goeran Baage on Wed, 26 Apr 1989 09:48

Re: Parlog documents wanted
By: Soren Mark on Mon, 24 Apr 1989 11:50

Re: Higher Order Extensions
By: Pat Chkoreff on Fri, 21 Apr 1989 22:32

Re: Higher Order Extensions
By: Inst.f.Prakt.Info 1802 on Fri, 21 Apr 1989 14:32

FTP'able Prolog?
By: Richard Rosenthal on Thu, 20 Apr 1989 14:49

XWIP available
By: tek on Tue, 18 Apr 1989 23:49

Turbo Prolog - 2 questions
By: rezac on Mon, 17 Apr 1989 05:30

Berkeley PLM compiler and emulator available
By: vanroy on Tue, 18 Apr 1989 17:32

Inline expansion versus threaded code
By: Francois-Michel Lang on Tue, 18 Apr 1989 13:48

Re: infinite structures, lazy evaluation
By: "Steve" Stevenson on Mon, 17 Apr 1989 12:38

Absorbing unification (in CLLs)
By: George Papadopoulos CMP RA on Sat, 15 Apr 1989 17:43

Re: Inline expansion versus threaded code
By: Fernando Pereira on Sun, 16 Apr 1989 05:09

Re: infinite structures, lazy evaluation
By: Mark Johnson on Sat, 15 Apr 1989 17:29

Re: Inline expansion versus threaded code
By: Tim Lindholm on Fri, 14 Apr 1989 22:45

Inline expansion versus threaded code compiling Prolog
By: Andre' Marien on Tue, 25 Apr 1989 00:36

infinite structures, lazy evaluation
By: Jamie Andrews on Fri, 14 Apr 1989 10:29

Re: Inline expansion versus threaded code
By: Lee Naish on Fri, 14 Apr 1989 07:24

Embedding Linda and other joys of concurrent logic programming
By: Udi Shapiro on Fri, 14 Apr 1989 14:16

Re: Higher Order Extensions
By: Richard A. O'Keefe on Fri, 14 Apr 1989 04:07

Higher Order Extensions
By: Pat Chkoreff on Wed, 12 Apr 1989 01:58

Re: Re: Committed Choice
By: Pat Chkoreff on Wed, 12 Apr 1989 02:37

Re: Constraint satisfaction in LOG(F)
By: Richard A. O'Keefe on Thu, 13 Apr 1989 05:46

Re: Constraint satisfaction in LOG(F)
By: Sanjai Narain on Mon, 10 Apr 1989 19:22

Re: Inline expansion versus threaded code
By: Fernando Pereira on Tue, 11 Apr 1989 18:42

blam
By: Bart Demoen on Mon, 10 Apr 1989 08:44

friends
By: Bart Demoen on Mon, 10 Apr 1989 08:41

Re: Constraint satisfaction in LOG(F)
By: Lee Naish on Mon, 10 Apr 1989 01:29

Re: Committed Choice
By: Inst.f.Prakt.Info 1802 on Sun, 09 Apr 1989 12:12

Re: Constraint satisfaction in LOG(F)
By: Sanjai Narain on Sun, 09 Apr 1989 00:19

Re: Re: Constraint satisfaction in LOG(F)
By: Bart Demoen on Fri, 07 Apr 1989 07:50

Re: Committed Choice
By: Jamie Andrews on Fri, 07 Apr 1989 08:47

Re: Arity Prolog / Expert Development Package
By: Suzanne Sluizer on Fri, 07 Apr 1989 18:23

Definite Clause Grammar
By: Gary H. Jones on Fri, 07 Apr 1989 03:26

Re: Committed Choice
By: Micha Meier on Thu, 06 Apr 1989 08:53

Re: Committed Choice
By: Inst.f.Prakt.Info 1802 on Thu, 06 Apr 1989 03:22

Re: Committed Choice
By: Chris Moss on Tue, 04 Apr 1989 14:33

Re: Naive Reverse
By: Paul Broome on Wed, 05 Apr 1989 03:34