🚀 go-pugleaf

Re: Proof that Prolog can be faster than C (explanation)
By: vanroy on Fri, 15 Jun 1990 19:41

Re: Bogus! (was Re: Proof that Prolog can be faster than C)
By: Tim Olson on Fri, 15 Jun 1990 17:06

Re: Proof that Prolog can be faster than C
By: Dan Sahlin on Fri, 15 Jun 1990 16:25

Re: Bogus! (was Re: Proof that Prolog can be faster than C)
By: David C. Sehr on Fri, 15 Jun 1990 14:06

Re: Bogus! (was Re: Proof that Prolog can be faster than C)
By: Richard A. O'Keefe on Fri, 15 Jun 1990 09:17

To memo, or not to memo?
By: Saumya K. Debray on Fri, 15 Jun 1990 02:33

Are the wrong races being run?
By: Robin Popplestone on Thu, 14 Jun 1990 17:01

Re: Bogus! (was Re: Proof that Prolog can be faster than C)
By: Richard Tobin on Thu, 14 Jun 1990 14:53

Re: Bogus! (was Re: Proof that Prolog can be faster than C)
By: David C. Sehr on Thu, 14 Jun 1990 14:54

Re: Bogus! (was Re: Proof that Prolog can be faster than C)
By: Richard A. O'Keefe on Thu, 14 Jun 1990 03:24

Re: Bogus! (was Re: Proof that Prolog can be faster than C)
By: Vinod Grover on Thu, 14 Jun 1990 01:09

Re: Bogus! (was Re: Proof that Prolog can be faster than C)
By: Peter Van Roy on Wed, 13 Jun 1990 22:57

A simple forward chaining system 182 LINES
By: Ken Johnson on Wed, 13 Jun 1990 13:40

Abstract Interpretation Workshop
By: Nevin Heintze on Tue, 12 Jun 1990 16:30

Query Evaluation in Deductive Databases
By: Laurent Vieille on Tue, 12 Jun 1990 08:23

Comments on 7th Int. Conf. LP
By: ad on Mon, 11 Jun 1990 13:48

Planning and Purity
By: pop on Mon, 11 Jun 1990 13:28

Re^2: Backtracking for Happiness
By: Richard A. O'Keefe on Mon, 11 Jun 1990 11:42

Re: Theorem Provers
By: Torkel Franzen on Sat, 09 Jun 1990 17:11

Re: Theorem Provers
By: Rhys Weatherley on Sat, 09 Jun 1990 10:08

Re: mutual recursion query
By: Jiawei Han on Sat, 09 Jun 1990 03:46

Re: Bogus! (was Re: Proof that Prolog can be faster than C)
By: Jeff Dalton on Fri, 15 Jun 1990 14:14

PLILP 90 Program and Registration Information
By: Torbjorn Naslund on Tue, 12 Jun 1990 16:44

Re: Proof that Prolog can be faster than C
By: Vinod Grover on Sat, 16 Jun 1990 00:31

Re: Proof that Prolog can be faster than C
By: Peter Van Roy on Fri, 15 Jun 1990 22:09

Re: Proof that Prolog can be faster than C
By: Dan KoGai on Fri, 15 Jun 1990 20:52

Timings for tak
By: pop on Fri, 15 Jun 1990 14:05

Re: Proof that Prolog can be faster than C
By: Kevin D. Quitt on Thu, 14 Jun 1990 22:31

Re: Bogus! (was Re: Proof that Prolog can be faster than C)
By: Saumya K. Debray on Wed, 13 Jun 1990 14:49

Re: Proof that Prolog can be faster than C
By: David John Hawley on Thu, 14 Jun 1990 03:09

Re: Proof that Prolog can be faster than C
By: Jonathan Mills on Thu, 14 Jun 1990 15:47

Re: Proof that Prolog can be faster than C
By: Richard Tobin on Wed, 13 Jun 1990 21:21

Re: Proof that Prolog can be faster than C
By: Christer Ericson on Wed, 13 Jun 1990 10:03

Bogus! (was Re: Proof that Prolog can be faster than C)
By: Randal Schwartz on Tue, 12 Jun 1990 21:25

Proof that Prolog can be faster than C
By: vanroy on Tue, 12 Jun 1990 19:23

Term paper on Software Metrics for Logic Programs
By: Raghavan N. Srinivas on Fri, 08 Jun 1990 20:46

Re: Theorem Provers
By: Torkel Franzen on Fri, 08 Jun 1990 08:24

Re: mutual recursion query
By: Richard A. O'Keefe on Fri, 08 Jun 1990 05:19

Theorem Provers
By: rameshv on Thu, 07 Jun 1990 22:54

planning,meta-interpreters ....
By: Ronen Feldman on Thu, 07 Jun 1990 18:03

Re: mutual recursion query
By: Saumya K. Debray on Thu, 07 Jun 1990 13:01

Re: mutual recursion query
By: Jiawei Han on Wed, 06 Jun 1990 23:54

Compilers in Prolog
By: Jean-Bernard Saint on Wed, 06 Jun 1990 16:07

Re: mutual recursion query
By: David Scott Warren on Wed, 06 Jun 1990 17:08

Re: Graphs in Prolog
By: Matthew Huntbach on Tue, 05 Jun 1990 12:45

Re: mutual recursion query
By: Richard A. O'Keefe on Wed, 06 Jun 1990 06:08

References Needed
By: Guillermo A. Francia on Tue, 05 Jun 1990 20:09

References Needed
By: Guillermo A. Francia on Tue, 05 Jun 1990 20:01

schedule for Workshop on Logic Programming Environments - second try
By: Tony Kusalik on Mon, 04 Jun 1990 09:47

Re: Hype about Prolog
By: James Harland on Tue, 05 Jun 1990 01:08

Re: Compiling away bagof
By: Sanjai Narain on Mon, 04 Jun 1990 19:00

Re: Compiling away bagof
By: Richard A. O'Keefe on Sat, 02 Jun 1990 07:46

Graphs in Prolog
By: Jean-Bernard Saint on Mon, 04 Jun 1990 08:39

Re: Why is bagof so slow?
By: Richard A. O'Keefe on Fri, 01 Jun 1990 03:23

Any Strand Users Out There?
By: Warren Harrison on Sat, 02 Jun 1990 22:00

schedule for Workshop on Logic Programming Environments
By: Tony Kusalik on Fri, 01 Jun 1990 16:14

Compiling away bagof
By: Sanjai Narain on Thu, 31 May 1990 20:09

Re: Hype about Prolog
By: Lee Naish on Fri, 01 Jun 1990 02:38

Request for Prolog programs
By: Andrew Verden on Thu, 31 May 1990 11:53

Timetabling
By: N.H. Thomas on Thu, 31 May 1990 13:36

Transfer from sicstus to Turbo Prolog
By: jrfang%peruvian.utah.edu on Thu, 31 May 1990 16:43

Re: Why is bagof so slow?
By: Francois-Michel Lang on Thu, 31 May 1990 13:48

Re: Hype about Prolog
By: Sanjai Narain on Wed, 30 May 1990 18:23

Re: Hype about Prolog
By: Sanjai Narain on Wed, 30 May 1990 18:04

Re: Why is bagof so slow?
By: Richard A. O'Keefe on Wed, 30 May 1990 17:48

Forward chaining rule-based system
By: christil on Wed, 30 May 1990 18:38

slow bagof ?
By: Bart Demoen on Wed, 30 May 1990 08:52

Re: Why is bagof so slow?
By: Sanjai Narain on Tue, 29 May 1990 21:57

On "Does it unify ?" and the WAM
By: Raghu Toppur on Tue, 29 May 1990 17:54

Re: Compiling Arity Prolog
By: Paul G. Weiss on Tue, 29 May 1990 14:40

Re: On "Does it unify ?" and the WAM
By: Paul D. Crowley on Tue, 29 May 1990 20:16

Re: Hype about Prolog
By: Tom Blenko on Tue, 29 May 1990 15:53

Apropriate Prologs
By: Larry Manevitz on Tue, 29 May 1990 08:46

Re: Why is bagof so slow?
By: Richard A. O'Keefe on Mon, 28 May 1990 02:14

Re: Why is bagof so slow?
By: Richard A. O'Keefe on Sun, 27 May 1990 12:02

Re: Why is bagof so slow?
By: Richard A. O'Keefe on Sun, 27 May 1990 15:16

Re: Backtracking for Happiness
By: Richard A. O'Keefe on Sat, 26 May 1990 08:22

Native vs. threaded code
By: draxler on Mon, 28 May 1990 12:09

Re: Why is bagof so slow?
By: Alain Callebaut on Mon, 28 May 1990 08:12

Re: Does It Unify?
By: Mark Johnson on Mon, 28 May 1990 16:03

Re: taking a predicate name as an a
By: Richard A. O'Keefe on Fri, 25 May 1990 01:56

3GL->Prolog interfaces before '87?
By: Richard A. O'Keefe on Fri, 25 May 1990 01:20

Compiling Arity Prolog
By: Karen Valley on Sun, 27 May 1990 14:18

Re: Hype about Prolog
By: James Harland on Sun, 27 May 1990 10:52

Why is bagof so slow?
By: Sanjai Narain on Sun, 27 May 1990 05:09

Free VHDL Software in Prolog
By: Peter Reintjes on Sun, 27 May 1990 00:33

Pictorial notation
By: Vijay Saraswat on Sun, 27 May 1990 01:29

Re: Hype about Prolog
By: Sanjai Narain on Fri, 25 May 1990 18:18

Object-Oriented Prolog
By: m.ramesh on Fri, 25 May 1990 19:33

Re: concurrent logic languages
By: Paulo Rosado on Fri, 25 May 1990 18:17

Re: Does It Unify?
By: Fernando Pereira on Fri, 18 May 1990 14:56

Re: mutual recursion query
By: Raghu Ramakrishnan on Fri, 25 May 1990 19:29

Re: Backtracking for Happiness
By: Jeff Dalton on Fri, 25 May 1990 18:07

Re: taking a predicate name as an a
By: Jeff Dalton on Fri, 25 May 1990 17:24

Re: taking a predicate name as an argument
By: Jeff Dalton on Fri, 25 May 1990 17:05

Schedule for ICLP Workshop on Structuring
By: Dale Miller on Fri, 25 May 1990 14:05

Re: mutual recursion query
By: Jiawei Han on Thu, 24 May 1990 14:17

Re: arithmetic overflow checking
By: Steve Knight on Wed, 09 May 1990 17:14

Re: Does It Unify?
By: Bradley L. Richards on Wed, 09 May 1990 18:57

Re: arithmetic overflow checking
By: Peter G Ludemann on Wed, 09 May 1990 03:10

Re: arithmetic overflow checking
By: Richard O'Keefe on Wed, 09 May 1990 03:36

Re: FREE PROLOG...
By: Warren Harrison on Fri, 04 May 1990 19:44

Re: Does It Unify?
By: Andreas Stolcke on Tue, 08 May 1990 22:03

Re: Does It Unify?
By: Bradley L. Richards on Tue, 08 May 1990 19:32

arithmetic overflow checking
By: Andrew Taylor on Tue, 08 May 1990 04:30

Turbo Prolog
By: Peter Campbell on Tue, 08 May 1990 00:19

ICLP-90 Preconference Workshop on Parallel Logic Programming
By: Sverker Janson on Tue, 08 May 1990 12:36

Re: Does It Unify?
By: Peter G Ludemann on Tue, 08 May 1990 05:14

Re: Does It Unify?
By: Chris Weyand on Mon, 07 May 1990 19:54

London underground map
By: Ken Johnson on Mon, 07 May 1990 11:37

Does It Unify?
By: Andrew Choi on Mon, 07 May 1990 13:23

Turbo Prolog
By: Peter Campbell on Mon, 07 May 1990 05:56

Re: London Underground central area map in Prolog (LONG: 137 lines)
By: Paul D. Crowley on Sun, 06 May 1990 14:51

Re: Arity Prolog
By: Bradley L. Richards on Sat, 05 May 1990 22:33

Re: Arity Prolog
By: Richard A. O'Keefe on Sat, 05 May 1990 03:39

Re: London Underground central area map in Prolog (LONG: 137 lines)
By: Richard A. O'Keefe on Sat, 05 May 1990 03:25

Re: Arity Prolog
By: john grant on Fri, 04 May 1990 23:18

London Underground central area map in Prolog (LONG: 137 lines)
By: Ken Johnson on Fri, 04 May 1990 13:42

Re: Arity Prolog
By: Stefan Momma on Fri, 04 May 1990 07:38

FREE PROLOG...
By: louis k lyda on Fri, 04 May 1990 05:48

Re: Cheap & Full Prolog for PC
By: m.ramesh on Thu, 03 May 1990 21:28

Prolog applications
By: Miguel Calejo on Thu, 03 May 1990 17:14

Arity Prolog
By: George Mulford on Thu, 03 May 1990 15:38

Free Prolog
By: David Brukman (dbm) on Wed, 02 May 1990 17:06

Manna & Waldinger v2
By: Richard O'keefe on Thu, 03 May 1990 00:06

Re: this seems to have bounced back....
By: Bradley L. Richards on Wed, 02 May 1990 19:11

this seems to have bounced back....
By: louis k lyda on Wed, 02 May 1990 16:55

Re: Cheap & Full Prolog for PC
By: louis k lyda on Wed, 02 May 1990 14:36