🚀 go-pugleaf

Re: bagof & setof (& findall)
By: Malte Grosse on Thu, 30 Nov 1989 09:47

Looking for a test site for a X Window Prolog development environment
By: Henk Schouten on Thu, 30 Nov 1989 13:51

Thanks for pointer to Implementing Prolog
By: Harri Pasanen on Wed, 29 Nov 1989 09:34

Re: Strings: a bad example.
By: Robert Monsen on Tue, 28 Nov 1989 01:49

frames
By: John Milbury-Steen on Mon, 27 Nov 1989 14:29

Re: Logic Programming Research (addition)
By: Isaac Balbin on Sun, 26 Nov 1989 22:10

Re: Prolog or deduction/Unification in Common Lisp, Scheme or P
By: Peter G Ludemann on Fri, 01 Dec 1989 04:22

FFOPL theorem provers
By: Peter Flach on Fri, 24 Nov 1989 15:17

Re: More fun with WG17
By: Shaun Smith on Fri, 24 Nov 1989 19:20

Re: Fun. vs. Logic
By: Jamie Andrews on Thu, 23 Nov 1989 12:20

Re: More fun with WG17
By: Chris Moss on Wed, 22 Nov 1989 17:35

Re: More fun with WG17
By: Peter G Ludemann on Thu, 23 Nov 1989 02:35

Re: Fun. vs. Logic
By: Lee Naish on Thu, 23 Nov 1989 09:21

Re: Func. vs. Logic
By: Lee Naish on Thu, 23 Nov 1989 08:51

Re: Fun. vs. Logic
By: David Keegel on Thu, 23 Nov 1989 07:48

Re: Fun. vs. Logic
By: Pat Chkoreff on Wed, 22 Nov 1989 07:27

Shallow backtracking
By: Hans Mulder on Wed, 22 Nov 1989 22:45

Logic Programming Research (addition)
By: Richard O'Keefe on Thu, 23 Nov 1989 00:28

Comment on Berkeley Prolog system (Re: WG17)
By: vanroy on Wed, 22 Nov 1989 22:37

Re: bagof & setof
By: Richard O'Keefe on Wed, 22 Nov 1989 17:34

bagof & setof
By: Malte Grosse on Tue, 21 Nov 1989 11:17

Re: More fun with WG17
By: Richard O'Keefe on Wed, 22 Nov 1989 11:20

Strings: a bad example.
By: Richard O'Keefe on Wed, 22 Nov 1989 09:45

Re: More fun with WG17
By: Chris Moss on Mon, 20 Nov 1989 18:40

Re: More fun with WG17
By: Richard O'Keefe on Wed, 22 Nov 1989 08:01

Re: More fun with WG17
By: Gerald Karam on Mon, 20 Nov 1989 18:13

Logic Programming Research
By: Richard O'Keefe on Tue, 21 Nov 1989 14:09

Functions AND relations
By: Sanjai Narain on Tue, 21 Nov 1989 02:00

Re: Fun. vs. Logic
By: Fernando Pereira on Mon, 20 Nov 1989 15:44

Re: Fun. vs. Logic
By: John Gateley on Mon, 20 Nov 1989 16:08

Re: More fun with WG17
By: Richard O'Keefe on Mon, 20 Nov 1989 14:21

Re: More fun with WG17
By: Peter G Ludemann on Mon, 20 Nov 1989 05:34

Re: Fun. vs. Logic
By: Lee Naish on Mon, 20 Nov 1989 05:07

Re: More fun with WG17
By: Aaron Sloman on Sun, 19 Nov 1989 14:37

Re: Fun. vs. Logic
By: Dorai Sitaram on Sun, 19 Nov 1989 20:03

Re: Fun. vs. Logic
By: Tim Finin on Sun, 19 Nov 1989 05:29

Prolog/C Term passing
By: Alain Callebaut on Fri, 17 Nov 1989 12:01

What's in a name?
By: Robert Stanley on Fri, 17 Nov 1989 22:05

Re: Fun. vs. Logic
By: Mark T Vandewettering on Sat, 18 Nov 1989 18:08

Re: Prolog/C Term passing
By: Richard O'Keefe on Sat, 18 Nov 1989 11:57

Re: More fun with WG17
By: Richard O'Keefe on Sat, 18 Nov 1989 11:42

Prolog Standard
By: Jason Trenouth on Thu, 16 Nov 1989 10:53

Re: Fun. vs. Logic
By: Richard O'Keefe on Sat, 18 Nov 1989 07:37

Re: More fun with WG17
By: Chris Moss on Thu, 16 Nov 1989 17:22

Re: A Question of Style
By: Peter Schachte on Sat, 18 Nov 1989 02:46

Re: More fun with WG17
By: Isaac Balbin on Thu, 16 Nov 1989 23:19

Re: papers on parallel unification
By: Ashok Singhal on Thu, 16 Nov 1989 22:47

Re: papers on parallel unification
By: James Harland on Sat, 18 Nov 1989 02:58

Re: Prolog or deduction/Unification in Common Lisp, Scheme or Pearl wanted
By: Drew Adams on Thu, 23 Nov 1989 11:13

Re: Prolog or deduction/Unification in Common Lisp, Scheme or Pearl wanted
By: Jeffrey Siegal on Thu, 23 Nov 1989 00:01

Prolog or deduction/Unification in Common Lisp, Scheme or Pearl wanted
By: Jordan Bortz on Mon, 20 Nov 1989 20:53

CHIP
By: dsr on Sun, 26 Nov 1989 14:50

Fun. vs. Logic
By: Pat Chkoreff on Fri, 10 Nov 1989 01:43

Thesis book for sale
By: Tebra Hans on Fri, 17 Nov 1989 16:18

Re: A Question of Style
By: Richard O'Keefe on Thu, 16 Nov 1989 07:45

A Question of Style
By: Peter Reintjes on Thu, 16 Nov 1989 00:09

papers on parallel unification
By: Daniel Lippmann on Wed, 15 Nov 1989 18:17

Re: More fun with WG17
By: Richard O'Keefe on Wed, 15 Nov 1989 17:48

Meta-prolog
By: jkchan on Wed, 15 Nov 1989 18:00

Re: More fun with WG17
By: Chris Moss on Tue, 14 Nov 1989 12:37

Re: Passing a C STRUCT to Quintas Prolog
By: Richard O'Keefe on Wed, 15 Nov 1989 15:14

Re: Passing a C STRUCT to Quintas Prolog
By: Victor Krawczuk on Thu, 02 Nov 1989 15:14

Re: More fun with WG17
By: Richard O'Keefe on Wed, 15 Nov 1989 08:38

Re: More fun with WG17
By: fuchs on Mon, 13 Nov 1989 18:09

Re: The jobs puzzle revisted
By: Russell J. Abbott on Mon, 13 Nov 1989 16:41

SB Prolog Documentation
By: Michael De Groot on Tue, 14 Nov 1989 00:07

Re: More fun with WG17
By: Richard O'Keefe on Sun, 12 Nov 1989 17:23

Re: non-sequential recursion
By: Lee Naish on Sun, 12 Nov 1989 12:16

Re: non-sequential recursion
By: Ted Dunning on Sat, 11 Nov 1989 04:25

Re: More fun with WG17
By: Chris Moss on Fri, 10 Nov 1989 13:09

Re: More fun with WG17
By: Chris Moss on Fri, 10 Nov 1989 11:42

Re: non-sequential recursion
By: Chris Malcolm on Wed, 08 Nov 1989 17:03

Re: Prolog standardization
By: Richard O'Keefe on Fri, 10 Nov 1989 11:13

Re: Prolog standardization
By: Richard O'Keefe on Fri, 10 Nov 1989 11:03

Re: Dynamic Properties
By: Richard O'Keefe on Mon, 06 Nov 1989 05:44

Re: Dynamic Properties
By: Chris Moss on Wed, 08 Nov 1989 17:46

Re: Dynamic Properties
By: Richard O'Keefe on Fri, 10 Nov 1989 09:55

Prolog standardization
By: David Bowen on Fri, 10 Nov 1989 05:47

The jobs puzzle revisted
By: Jonathan Oliver on Fri, 10 Nov 1989 05:57

Fast fold/unfold
By: Benjamin Yu on Thu, 09 Nov 1989 18:28

FGCS '88 Proceedings
By: Benjamin Yu on Thu, 09 Nov 1989 18:26

WG17 against Sterling and Shapiro
By: Richard O'Keefe on Wed, 08 Nov 1989 12:36

Mailing List
By: Gary Bushey on Wed, 08 Nov 1989 19:30

The touchstone applied to "The Art of Prolog"
By: Richard O'Keefe on Wed, 08 Nov 1989 11:55

Re: non-sequential recursion
By: Richard O'Keefe on Tue, 31 Oct 1989 01:56

Re: Floating Point
By: Fernando Pereira on Fri, 27 Oct 1989 14:41

Re: Floating Point
By: Richard O'Keefe on Tue, 31 Oct 1989 01:52

non-sequential recursion
By: Eric Iverson on Mon, 30 Oct 1989 21:53

Re: Floating Point
By: Mark Johnson on Mon, 30 Oct 1989 15:18

Re: Floating Point
By: Richard O'Keefe on Mon, 30 Oct 1989 03:53

Re: Floating Point
By: Mark Johnson on Sun, 29 Oct 1989 16:52

Re: Floating Point
By: Richard O'Keefe on Sun, 29 Oct 1989 07:25

Re: Floating Point
By: Mark Johnson on Sat, 28 Oct 1989 18:17

indexing of dynamic code with hashing or binary search
By: Bart Demoen on Fri, 27 Oct 1989 11:21

A question about IF/Prolog
By: Richard O'Keefe on Sat, 28 Oct 1989 12:20

Re: Floating Point
By: Richard O'Keefe on Sat, 28 Oct 1989 05:41

Re: Floating Point
By: Mark Johnson on Fri, 27 Oct 1989 14:59

Re: Floating Point
By: Richard O'Keefe on Fri, 27 Oct 1989 09:09

Syllogisms
By: Chris Moss on Thu, 26 Oct 1989 14:24

Re: Floating Point
By: Daniel Mahler on Thu, 26 Oct 1989 16:30

Re: Semantics of type checking (was "extralogical")
By: Mattias Waldau on Wed, 25 Oct 1989 19:48

The BSI/ISO Prolog standarisation "work"
By: Richard O'Keefe on Thu, 26 Oct 1989 05:15

Request for source code of any prolog !
By: Javed Khan on Wed, 25 Oct 1989 12:19

rolog update
By: kale on Wed, 25 Oct 1989 14:50

Re: C-Prolog on the Mac, Prolog comparisons
By: Lee Naish on Wed, 25 Oct 1989 14:48

Re: Floating Point
By: Richard O'Keefe on Wed, 25 Oct 1989 06:11

Floating Point
By: Subash Shankar on Tue, 24 Oct 1989 19:31

C-Prolog on the Mac, Prolog comparisons
By: USENET News System on Tue, 24 Oct 1989 16:38

looking for reference
By: Gerald Karam on Mon, 23 Oct 1989 18:53

Re: Semantics of type checking (was "extralogical")
By: Lee Naish on Mon, 23 Oct 1989 06:56

Floats and the SubStandard
By: Richard O'Keefe on Sun, 22 Oct 1989 15:52

goal stacking execution of Prolog
By: Vassilios Axaris on Fri, 27 Oct 1989 18:51

Re: Semantics of type checking (was "extralogical")
By: Richard O'Keefe on Sat, 21 Oct 1989 05:03

Semantics of type checking (was "extralogical")
By: Mattias Waldau on Fri, 20 Oct 1989 13:20

Re: Speed comparison between Quintus and BIMProlog
By: Richard O'Keefe on Wed, 18 Oct 1989 05:12

Re: different Prologs?
By: Brad Miller on Tue, 17 Oct 1989 17:01

Speed comparison between Quintus and BIMProlog
By: Thong Phan on Mon, 16 Oct 1989 19:30

Re: Non-ASCII characters, suggestion and question
By: Jose Alberto Fernandez R on Tue, 17 Oct 1989 14:53

Re: different Prologs?
By: goldfain on Tue, 17 Oct 1989 09:40

Re: Non-ASCII characters, suggestion and question
By: Richard O'Keefe on Tue, 17 Oct 1989 06:02

looking for Edinburgh Prolog
By: Vince Pugliese on Mon, 16 Oct 1989 14:32

Re: Non-ASCII characters, suggestion and question
By: Chris Moss on Mon, 16 Oct 1989 18:16

Re: Non-ASCII characters, suggestion and question
By: Richard O'Keefe on Mon, 16 Oct 1989 04:02

Re: Non-ASCII characters, suggestion and question
By: Ted Dunning on Sun, 15 Oct 1989 18:20

Re: What does "extralogical" mean?
By: Jiyang Xu on Thu, 12 Oct 1989 13:28

Re: Non-ASCII characters, suggestion and question
By: Richard O'Keefe on Sun, 15 Oct 1989 10:31

Re: Non-ASCII characters, suggestion and question
By: Jose Alberto Fernandez R on Sat, 14 Oct 1989 18:59

Re: logic programs -> procedural lang?
By: Jeff Dalton on Fri, 13 Oct 1989 16:36