🚀 go-pugleaf

Simple Prolog Question
By: julian bunn on Wed, 08 Aug 1990 15:37

Re: HELP!! Need a square root function/predicate in Prolog
By: R. Kym Horsell on Wed, 08 Aug 1990 03:26

HELP!! Need a square root function/predicate in Prolog
By: Sanjiv K. Bhatia on Wed, 08 Aug 1990 00:12

Re: Prolog Efficiency and Benchmarking
By: micha Micha Meier on Mon, 06 Aug 1990 09:53

PD prolog query
By: Robert Goldman on Tue, 07 Aug 1990 02:10

PD prolog query
By: Robert Goldman on Tue, 07 Aug 1990 01:36

Re: Prolog Efficiency and Benchmarking
By: Fernando Pereira on Thu, 02 Aug 1990 18:22

Re: Finding all solutions in Prolog
By: Richard A. O'Keefe on Mon, 06 Aug 1990 06:15

Finding all solutions in Prolog
By: F0O on Sat, 04 Aug 1990 15:25

N-queens revisited
By: Johan Montelius on Fri, 03 Aug 1990 13:49

Re: Novice RETRACT question
By: Clive Rich on Fri, 03 Aug 1990 13:44

Re: Novice RETRACT question (now SETOF/BAGOF question)
By: Richard A. O'Keefe on Fri, 03 Aug 1990 02:16

Re: Re: Novice RETRACT question (now SETOF/BAGOF question)
By: Sheldon E. Smith on Wed, 01 Aug 1990 23:17

Re: Prolog Efficiency and Benchmarking
By: Richard A. O'Keefe on Thu, 02 Aug 1990 02:03

Prolog Efficiency and Benchmarking
By: Micha Meier on Wed, 01 Aug 1990 09:46

Partial Evaluation
By: Van-Binh LE on Wed, 01 Aug 1990 12:06

Re: Novice RETRACT question
By: M Y Ben Gershon on Tue, 31 Jul 1990 22:35

Re: Novice RETRACT question
By: Marc Milgram on Tue, 31 Jul 1990 17:02

Re: Novice RETRACT question
By: Richard A. O'Keefe on Tue, 31 Jul 1990 07:01

Novice RETRACT question
By: Sheldon E. Smith on Tue, 31 Jul 1990 00:04

Constrained Logic Programming
By: cerbone giuseppe on Mon, 30 Jul 1990 23:17

Re: Having a problem understanding the cut (arrgh!)
By: jgarland on Sat, 28 Jul 1990 00:38

Prolog on the Macintosh
By: Philip Craig on Sun, 29 Jul 1990 05:25

orkshop on Logic Programming & Non0-Monotonic Reasoning
By: VS Subrahmanian on Sat, 28 Jul 1990 12:37

Call For Submissions: NACLP Workshop on Deductive Databases
By: Jan Chomicki on Thu, 02 Aug 1990 15:37

Turbo Prolog question...
By: Timothy R. Gottschalk on Fri, 27 Jul 1990 05:21

request for prolog cross-referencer
By: William Dowling on Tue, 24 Jul 1990 20:22

Re: Having a problem understanding the cut (arrgh!)
By: Richard O'Keefe on Fri, 27 Jul 1990 09:39

Re: Logic Programming and spreadsheets
By: Alex Kean on Thu, 26 Jul 1990 17:19

Having a problem understanding the cut (arrgh!)
By: F0O on Thu, 26 Jul 1990 13:05

NACLP 90 Workshop on Parallel Execution
By: Bharat Jayaraman on Thu, 26 Jul 1990 13:18

Papers on Janus
By: Vijay Saraswat on Thu, 26 Jul 1990 02:11

Re: GC triggering and stack limit checking by MMU hardware
By: Fernando Pereira on Tue, 24 Jul 1990 17:47

Borland's Prolog 2.0 Toolbox
By: Jeff Beard on Wed, 25 Jul 1990 14:44

Logic Programming and spreadsheets
By: Victor M Mendoza-Grado on Wed, 25 Jul 1990 15:46

Call For Papers
By: Sanjai Narain on Tue, 24 Jul 1990 19:22

Re: GC triggering and stack limit checking by MMU hardware
By: Andrew Taylor on Wed, 25 Jul 1990 02:08

Re: Sicstus Prolog Questions
By: Roland Karlsson on Tue, 24 Jul 1990 11:17

NACLP'90 Workshop
By: U. Furbach on Tue, 24 Jul 1990 11:17

Re: GC triggering and stack limit checking by MMU hardware
By: Jan Wielemaker on Mon, 23 Jul 1990 20:12

Re: GC triggering and stack limit checking by MMU hardware
By: Alan Grant Finlay on Tue, 24 Jul 1990 04:50

Symposium on Computational Logic
By: Damian Chu on Mon, 23 Jul 1990 18:18

Storage Reclaimation in TURBO
By: ewsprickerho on Mon, 23 Jul 1990 14:12

Re: making a "call" to a text file
By: Lee Naish on Mon, 23 Jul 1990 00:40

Sicstus Prolog Questions
By: Dr. Ranga R. Vemuri on Sun, 22 Jul 1990 11:09

Efficient Prolog Compiler Needed
By: Dr. Ranga R. Vemuri on Sun, 22 Jul 1990 04:13

Re: GC triggering and stack limit checking by MMU hardware
By: Fernando Pereira on Sat, 21 Jul 1990 04:26

Re: GC triggering and stack limit checking by MMU hardware
By: Peter G Ludemann on Fri, 20 Jul 1990 01:38

LP conference in Siberia
By: Andrew Davison on Thu, 19 Jul 1990 15:04

Re: Prolog's Pitfalls?
By: Richard A. O'Keefe on Fri, 20 Jul 1990 09:37

Re: A little template matcher
By: Richard A. O'Keefe on Fri, 20 Jul 1990 09:28

Re: Need help in the differences between RDBMS and Expert Systems
By: #Stefan Bachert on Thu, 19 Jul 1990 07:12

Re: making a "call" to a text file
By: Richard A. O'Keefe on Fri, 20 Jul 1990 09:09

LP and Non-monotonic Reasoning Workshop (NACLP90)
By: Jorge Lobo on Thu, 19 Jul 1990 22:58

making a "call" to a text file
By: Eric Iverson on Thu, 19 Jul 1990 18:39

Re: Find the bug
By: Torkel Franzen on Thu, 19 Jul 1990 15:57

Find the bug
By: Sanjai Narain on Wed, 18 Jul 1990 20:54

Re: Need help in the differences between RDBMS and Expert Systems
By: Chandrasekaran Periannan on Wed, 18 Jul 1990 23:41

Prologs for IBM PC
By: Michael Pazzani on Wed, 18 Jul 1990 22:33

Re: Need help in the differences between RDBMS and Expert Systems
By: Jeff Beard on Wed, 18 Jul 1990 15:26

WAM Tutorial
By: Hassan Ait-Kaci on Wed, 18 Jul 1990 14:48

Need help in the differences between RDBMS and Expert Systems
By: swaminathan.ravikumar on Tue, 17 Jul 1990 20:13

Re: C-Prolog source wanted ...
By: William Cheng on Tue, 17 Jul 1990 21:49

A little template matcher
By: Ken Johnson on Mon, 16 Jul 1990 13:24

Wanted -- CProlog sources
By: William Cheng on Mon, 16 Jul 1990 23:09

ARITY PROLOG
By: ganeshan_k on Mon, 16 Jul 1990 04:40

Concurrent Logic(Prolog) Interpreters
By: GUNASEELAN,L on Sun, 15 Jul 1990 17:50

Wanted: a simple prolog interpreter suitable for embedding
By: Mark D. Wood on Sat, 14 Jul 1990 16:35

Re: Prolog's pitfalls
By: Joaquim Baptista [pxQuim] on Fri, 13 Jul 1990 13:44

nu prolog distribution
By: Ted Dunning on Fri, 06 Jul 1990 17:23

UNIX prologs
By: Kerry Alt on Fri, 06 Jul 1990 14:50

Re: constraint logic programming
By: Spiro Michaylov on Fri, 13 Jul 1990 15:36

Re: constraint logic programming
By: Chandrasekaran Periannan on Thu, 12 Jul 1990 22:31

SB Prolog Rev. ? Location ?
By: Paul Ling on Thu, 12 Jul 1990 17:07

Re: Prolog's Pitfalls?
By: Jeff Dalton on Thu, 12 Jul 1990 20:27

mutual recursion elimination
By: Ronen Feldman on Thu, 12 Jul 1990 22:01

constraint logic programming
By: Jack Callahan on Thu, 12 Jul 1990 21:13

Re: Prolog's Pitfalls?
By: Robert Marti on Thu, 12 Jul 1990 19:36

mode inference package for C-prolog
By: Ronen Feldman on Thu, 12 Jul 1990 17:25

Re: Prolog's pitfalls
By: Jamie Andrews on Thu, 12 Jul 1990 11:39

CFP -- 7th IEEE Conf. on AI Applications (Miami, USA, Feb. 1991)
By: Tim Finin on Sat, 07 Jul 1990 15:31

Re: Prolog's Pitfalls?
By: RCAPENER on Wed, 11 Jul 1990 16:47

Re: Prolog's pitfalls
By: David Bowen on Thu, 12 Jul 1990 02:19

a yacc grammar for 'standard' prolog?
By: dennis on Tue, 10 Jul 1990 15:11

CFP -- 7th IEEE Conf. on AI Applications (Miami, USA, Feb. 1991)
By: Tim Finin on Sat, 07 Jul 1990 15:31

Arity bug / question
By: Guy Reyniers on Fri, 06 Jul 1990 09:23

Re: Prolog standard
By: Jeff Dalton on Mon, 09 Jul 1990 20:22

Re: Prolog's Pitfalls?
By: Jeff Dalton on Mon, 09 Jul 1990 20:09

OOP vs Logic Programming II
By: Steven Prestwich on Mon, 09 Jul 1990 13:30

Re: UNH Prolog
By: R. Kym Horsell on Sun, 08 Jul 1990 15:03

UNH Prolog
By: Kiran Chugh on Sun, 08 Jul 1990 01:07

MCC, Alvey Project, . . .
By: Mark A. Friedman on Sat, 07 Jul 1990 20:59

Prolog III
By: Daniel Mark Gessel on Sat, 07 Jul 1990 17:25

Prolog III
By: Daniel Mark Gessel on Fri, 06 Jul 1990 19:02

Non-blocking process_callbacks/1 in Quintus
By: Choo Y J on Thu, 05 Jul 1990 16:56

Re: Prolog's Pitfalls?
By: Kjell Post on Fri, 06 Jul 1990 10:19

NACLP'90 WORKSHOPS
By: David Scott Warren on Thu, 05 Jul 1990 17:59

Re: Prolog's Pitfalls?
By: Peter G Ludemann on Fri, 06 Jul 1990 02:47

Re: Standards, committees, and realities (Re: Prolog standard)
By: Peter G Ludemann on Thu, 05 Jul 1990 03:58

Correction to mutual recursion elimination query
By: Ronen Feldman on Fri, 13 Jul 1990 02:26

Algebraic and Logic Programming
By: Pierre Lescanne on Wed, 04 Jul 1990 15:50

Re: 8-tile puzzle
By: Peter Ross on Wed, 04 Jul 1990 10:20

quicksort speed in prolog
By: Andrew Taylor on Wed, 04 Jul 1990 14:41

Re: 8-tile puzzle
By: Michael Coleman on Tue, 03 Jul 1990 03:54

Re: Prolog's Pitfalls Revisited
By: Richard A. O'Keefe on Tue, 03 Jul 1990 07:09

Re: Prolog's Pitfalls Revisited
By: Marco Valtorta on Mon, 02 Jul 1990 18:37

ISO committee
By: Bart Demoen on Mon, 02 Jul 1990 14:40

Re: Balance between theory and implementation
By: Jamie Andrews on Mon, 02 Jul 1990 16:10

Re: Prolog's Pitfalls?
By: Chikayama Takashi on Mon, 02 Jul 1990 09:38

Re: OOP vs Logic Programming II
By: Chikayama Takashi on Mon, 02 Jul 1990 09:22

Re: Prolog's Pitfalls Revisited
By: Richard A. O'Keefe on Mon, 02 Jul 1990 15:12

Re: recorda/3 etc.
By: Richard A. O'Keefe on Mon, 02 Jul 1990 08:47

recorda/3 etc.
By: Ray Nickson on Mon, 02 Jul 1990 20:06

Re: OOP vs Logic Programming II
By: Richard A. O'Keefe on Sat, 30 Jun 1990 08:03

Re: 8-tile puzzle
By: Richard A. O'Keefe on Sat, 30 Jun 1990 07:56

OOP vs Logic Programming II
By: Theo.Kanter on Fri, 29 Jun 1990 12:39

8-tile puzzle
By: John Milbury-Steen on Fri, 29 Jun 1990 15:42

Standards, committees, and realities (Re: Prolog standard)
By: Edouard Lagache on Fri, 29 Jun 1990 11:31

Re: Prolog standard
By: Richard A. O'Keefe on Fri, 29 Jun 1990 11:48

MProlog vs. SB-Prolog
By: Todd Pfaff on Thu, 28 Jun 1990 20:52

Re: Prolog standard
By: David Bowen on Thu, 28 Jun 1990 20:19

Re: Prolog standard
By: Richard A. O'Keefe on Thu, 28 Jun 1990 07:10

Re: Prolog standard
By: Richard A. O'Keefe on Thu, 28 Jun 1990 06:05

Balance between theory and implementation
By: vanroy on Wed, 27 Jun 1990 23:48

Re: OOP vs Logic Programming?
By: Nils Hagner on Wed, 27 Jun 1990 14:40

Call for Proposals for Workshops for NACLP'90
By: David Scott Warren on Wed, 27 Jun 1990 14:17

Re: Prolog standard
By: David Bowen on Wed, 27 Jun 1990 04:26

Re: Proof that Prolog can be faster than C
By: Matthew Huntbach on Fri, 15 Jun 1990 17:56