🚀 go-pugleaf

Re: Strings
By: Stanley T. Shebs on Tue, 15 Mar 1988 02:35

Re: Evan's puzzle
By: Seif Haridi on Mon, 14 Mar 1988 10:48

back_retract
By: Bart Demoen on Mon, 14 Mar 1988 19:18

Re: mine embarrassingly simple problem
By: Shahaf Moshe on Mon, 14 Mar 1988 12:38

Re: Destructive predicates (random musings - part-I).
By: Richard A. O'Keefe on Mon, 14 Mar 1988 07:50

Re: BSI Proposal
By: Richard A. O'Keefe on Mon, 14 Mar 1988 07:40

Re: BSI Syntax
By: Richard A. O'Keefe on Mon, 14 Mar 1988 05:50

Re: BSI Syntax
By: Richard A. O'Keefe on Mon, 14 Mar 1988 05:42

Re: Strings
By: Richard A. O'Keefe on Mon, 14 Mar 1988 05:39

Re: A Suggested Additional Predicate for Prolog
By: Richard A. O'Keefe on Mon, 14 Mar 1988 05:02

Re: A Suggested Additional Predicate for Prolog
By: Tim Finin on Sun, 13 Mar 1988 22:33

Minutes of the PROLOG Forum meeting of 3/10/88
By: Edouard Lagache on Sun, 13 Mar 1988 22:12

A users group for people interested in PROLOG
By: Edouard Lagache on Sun, 13 Mar 1988 22:04

Re: Karnaugh Maps...Help?
By: aglew on Sat, 12 Mar 1988 00:47

Re: theorem prover of R. Overbeek (Destructive list predicates)
By: Thomas Sj|land on Thu, 10 Mar 1988 17:28

Re: theorem prover of R. Overbeek (Destructive list predicates)
By: Seif Haridi on Wed, 09 Mar 1988 16:05

Re: Destructive predicates (random musings - part-I).
By: Thomas Sj|land on Wed, 09 Mar 1988 15:51

Re: Triangle Puzzle (Trilogy)
By: J Andrews on Thu, 10 Mar 1988 13:35

re: BSI Proposal
By: Chris Moss on Tue, 08 Mar 1988 16:29

re: BSI Syntax
By: Chris Moss on Tue, 08 Mar 1988 13:10

Re: BSI standards
By: Richard A. O'Keefe on Sat, 12 Mar 1988 11:08

Unification with infinite terms
By: Phil Thrift on Wed, 09 Mar 1988 14:07

A Suggested Additional Predicate for Prolog
By: gast on Sat, 12 Mar 1988 07:23

Strings
By: Micha Meier on Fri, 11 Mar 1988 12:04

BSI standards
By: vantreeck on Fri, 11 Mar 1988 23:31

Re: When to use Prolog?
By: Richard A. O'Keefe on Sat, 12 Mar 1988 00:47

Re: mine embarrassingly simple problem
By: Richard A. O'Keefe on Sat, 12 Mar 1988 00:23

Implementation of Prolog in Lisp
By: Nevin Heintze on Fri, 11 Mar 1988 20:09

Re: Prolog for the AMIGA
By: roch on Fri, 11 Mar 1988 03:58

Re: character type (was Re: BSI standards)
By: Stanley T. Shebs on Fri, 11 Mar 1988 16:40

Re: BSI standards
By: Chikayama Takashi on Fri, 11 Mar 1988 08:07

Re: When to use Prolog?
By: Richard A. O'Keefe on Fri, 11 Mar 1988 09:41

Re: BSI syntax
By: Richard A. O'Keefe on Fri, 11 Mar 1988 08:03

character type (was Re: BSI standards)
By: Richard A. O'Keefe on Fri, 11 Mar 1988 06:48

Re: Evan's puzzle
By: Richard A. O'Keefe on Fri, 11 Mar 1988 06:01

Re: BSI standards
By: Brad Miller on Fri, 11 Mar 1988 02:55

When to use Prolog?
By: Mott Given on Thu, 10 Mar 1988 20:21

Re: BSI standards
By: Stanley T. Shebs on Thu, 10 Mar 1988 15:12

mine embarrassingly simple problem
By: Shahaf Moshe on Thu, 10 Mar 1988 11:15

Re: BSI standards
By: Richard A. O'Keefe on Thu, 10 Mar 1988 09:01

Re: BSI syntax
By: Richard A. O'Keefe on Thu, 10 Mar 1988 07:59

Re: BSI standards
By: Richard A. O'Keefe on Thu, 10 Mar 1988 05:47

Re: Re: code formatting (even more random musings)
By: Lars-Henrik Eriksson on Mon, 07 Mar 1988 16:05

Re: BSI standards
By: Steve Hardy on Wed, 09 Mar 1988 17:33

Re: BSI standards
By: Stanley T. Shebs on Wed, 09 Mar 1988 15:23

Re: please use Lisp
By: Bart Demoen on Mon, 07 Mar 1988 22:52

BSI syntax
By: Bart Demoen on Mon, 07 Mar 1988 22:20

retractall(Head)
By: Richard A. O'Keefe on Wed, 09 Mar 1988 03:30

Re: Prolog for the AMIGA
By: terry on Sat, 05 Mar 1988 06:55

BSI standards
By: vantreeck on Tue, 08 Mar 1988 23:57

Re: Performance Evaluation and Benchmarks
By: Mott Given 614-238-9431 on Tue, 08 Mar 1988 16:15

Re: BSI syntax
By: Richard A. O'Keefe on Tue, 08 Mar 1988 07:29

Performance Evaluation and Benchmarks
By: Timothy S Meyer on Tue, 08 Mar 1988 00:38

Re: Triangle Puzzle (Trilogy)
By: Micha Meier on Mon, 07 Mar 1988 10:37

Re: BSI syntax
By: Richard A. O'Keefe on Sun, 06 Mar 1988 08:51

Change of address: John Lloyd
By: John Lloyd on Thu, 03 Mar 1988 17:35

BSI syntax
By: Richard A. O'Keefe on Sun, 06 Mar 1988 02:38

Comments of Periera & Shieber wrt Partial Evaluation
By: Arun Lakhotia on Fri, 04 Mar 1988 00:36

Re: Comments of Periera & Shieber wrt Partial Evaluation
By: Richard A. O'Keefe on Fri, 04 Mar 1988 10:34

Prolog Standardization
By: Chris Moss on Thu, 03 Mar 1988 16:36

Re: Simple decomposition and PROLOG (random musings - part II)
By: Chris Moss on Thu, 03 Mar 1988 15:19

Re: Simple decomposition and PROLOG (random musings - part II)
By: Jeff Schultz on Thu, 03 Mar 1988 02:53

Re: Embarrassingly simple problem (Embarassingly simple answer)
By: Mike Bell on Wed, 02 Mar 1988 11:16

Partial evaluation, unfolding
By: Don Dwiggins on Wed, 02 Mar 1988 00:59

Re: theorem prover of R. Overbeek (Destructive list predicates)
By: "Steve" Stevenson on Wed, 02 Mar 1988 13:01

Re: Triangle Puzzle
By: Richard A. O'Keefe on Wed, 02 Mar 1988 07:35

Re: Destructive predicates (random musings - part-I).
By: Peter Schachte on Tue, 01 Mar 1988 22:38

Re: Destructive predicates (random musings - part-I).
By: Saumya Debray on Tue, 01 Mar 1988 15:16

Re: Triangle Puzzle
By: Paul Voda on Mon, 29 Feb 1988 21:32

Simple decomposition and PROLOG (random musings - part II)
By: Edouard Lagache on Tue, 01 Mar 1988 07:14

Destructive predicates (random musings - part-I).
By: Edouard Lagache on Tue, 01 Mar 1988 07:10

Re: SBProlog setof bug
By: Saumya Debray on Mon, 29 Feb 1988 17:12

Re: theorem prover of R. Overbeek (Destructive list predicates)
By: Richard A. O'Keefe on Mon, 29 Feb 1988 07:52

SBProlog setof bug
By: Ken Shrum on Fri, 26 Feb 1988 17:43

Re: Prolog for the AMIGA
By: roch on Sat, 27 Feb 1988 19:46

Prolog Interpreter Source Code
By: Sanjiv K. Bhatia on Fri, 26 Feb 1988 17:15

Re: theorem prover of R. Overbeek (Destructive list predicates)
By: Edouard Lagache on Sun, 28 Feb 1988 03:53

Many LIPS
By: Jonas Barklund/adb on Sun, 21 Feb 1988 03:59

Re: triangle puzzle (496-497)
By: Richard A. O'Keefe on Fri, 26 Feb 1988 03:23

Re: Prolog for the AMIGA
By: Peter Schachte on Thu, 25 Feb 1988 21:29

Re: Prolog applications
By: MorrisseyKA on Wed, 24 Feb 1988 17:51

Re: triangle puzzle (496-497)
By: Bart Demoen on Wed, 24 Feb 1988 10:40

theorem prover of R. Overbeek
By: Bart Demoen on Tue, 23 Feb 1988 08:46

Re: Embarrassingly simple problem
By: Bjorn Danielsson on Mon, 22 Feb 1988 22:38

Re: Prolog Grammar Rules (a question on interpreters)
By: Edouard Lagache on Thu, 25 Feb 1988 04:53

Re: Prolog Grammar Rules
By: Chris Moss on Mon, 22 Feb 1988 18:02

Re: Escalation
By: fuchs on Mon, 22 Feb 1988 14:29

Prolog applications
By: Jonas Almgren on Sun, 21 Feb 1988 22:13

Re: code formatting (even more random musings)
By: Douglas M. Pase on Sat, 20 Feb 1988 19:56

Prolog interpreter info
By: Beth Freeman on Mon, 22 Feb 1988 14:55

Re: Prolog Grammar Rules
By: Richard A. O'Keefe on Fri, 19 Feb 1988 10:47

Re: the story so far ... (prolog for apollo)
By: Richard A. O'Keefe on Fri, 19 Feb 1988 04:51

Re: Embarrassingly simple problem
By: Richard A. O'Keefe on Fri, 19 Feb 1988 04:05

Re: Prolog Grammar Rules
By: Don Dwiggins on Thu, 18 Feb 1988 01:14

Embarrassingly simple problem
By: Ian Dickinson on Wed, 17 Feb 1988 16:18

Re: Escalation
By: Ian Dickinson on Wed, 17 Feb 1988 15:53

Re: Yacc in Prolog, Parsing and Dali
By: Richard A. O'Keefe on Thu, 18 Feb 1988 01:00

Re: Escalation
By: Ian Dickinson on Wed, 17 Feb 1988 09:38

Re: code formatting (even more random musings)
By: Richard A. O'Keefe on Wed, 17 Feb 1988 08:21

Re: Re: code formatting (even more random musings)
By: Varol Akman on Fri, 12 Feb 1988 10:23

Re: code formatting (some amusing musings)
By: Stanley T. Shebs on Sun, 14 Feb 1988 17:38

Re: code formatting (some amusing musings)
By: Arun Lakhotia on Sat, 13 Feb 1988 05:03

Re: Re: code formatting (even more random musings)
By: Joseph Mohan on Wed, 10 Feb 1988 04:10

Re: tools & modules in Quintus-Prolog
By: Richard A. O'Keefe on Wed, 17 Feb 1988 07:15

Re: code formatting (even more random musings)
By: J Andrews on Mon, 15 Feb 1988 10:39

META88 -- Workshop on Meta-Programming in Logic Programming
By: Robert Evans on Fri, 12 Feb 1988 15:40

Re: ProWindows
By: Yorick Phoenix on Wed, 10 Feb 1988 10:28

tools & modules in Quintus-Prolog
By: Bruno Poterie on Thu, 11 Feb 1988 07:37

Re: ProWindows
By: Yorick Phoenix on Mon, 08 Feb 1988 11:44

Re: code formatting (even more random musings)
By: MorrisseyKA on Fri, 12 Feb 1988 16:13

Re: Escalation
By: Gary Fritz on Fri, 12 Feb 1988 16:44

Another example from that book
By: Richard A. O'Keefe on Mon, 15 Feb 1988 09:06

Triangle Puzzle
By: Richard A. O'Keefe on Mon, 15 Feb 1988 07:55

Yacc in Prolog, Parsing and Dali
By: Michael McCool on Mon, 15 Feb 1988 16:18

Perils of spelling checkers
By: Richard A. O'Keefe on Mon, 15 Feb 1988 03:32

Triangle puzzle
By: Richard A. O'Keefe on Mon, 15 Feb 1988 05:03

New Book
By: Richard A. O'Keefe on Sun, 14 Feb 1988 09:09

Re: code formatting (even more random musings) - Touche!
By: Richard A. O'Keefe on Sun, 14 Feb 1988 05:59

Re: code formatting (even more random musings) - Touche!
By: James Wilbur Lewis on Sun, 14 Feb 1988 00:32

Re: code formatting (even more random musings) - Touche!
By: Edouard Lagache;;;6310183;GY24 on Sat, 13 Feb 1988 18:40

Prolog Grammar Rules
By: Richard A. O'Keefe on Sat, 13 Feb 1988 06:31

O'Keefe
By: rolandi on Fri, 12 Feb 1988 14:19

Escalation
By: Richard A. O'Keefe on Fri, 12 Feb 1988 00:59

Tech. Reports: AND-parallelism & Intelligent Backtracking
By: Vipin Kumar on Wed, 10 Feb 1988 21:58

Re: code formatting (even more random musings)
By: Richard A. O'Keefe on Wed, 10 Feb 1988 04:10

Re: code formatting (even more random musings)
By: Edouard Lagache;;;6310183;GY24 on Tue, 09 Feb 1988 04:27

Re: PROLOG code formatting (random musings)
By: Richard A. O'Keefe on Mon, 08 Feb 1988 02:31

ripoff
By: Richard A. O'Keefe on Sun, 07 Feb 1988 03:58