🚀 go-pugleaf

Re: set predicates for db-access
By: Jeff Beard on Fri, 11 Aug 1989 17:06

Re: searching for C-Prolog
By: Alex Kean on Fri, 11 Aug 1989 18:24

set predicates for db-access
By: draxler on Thu, 10 Aug 1989 12:07

searching for C-Prolog
By: Uwe Baumgarten on Thu, 10 Aug 1989 11:46

Prolog Comparison
By: Colin Eagle on Wed, 09 Aug 1989 23:51

Public Domain Version of Prolog
By: Stephen C. Arnold on Wed, 09 Aug 1989 15:50

Re: Unification as equation solving.
By: Jamie Andrews on Tue, 08 Aug 1989 10:11

Prolog and Windowing.
By: A J C Blyth on Mon, 07 Aug 1989 15:27

Suntools and Sicstus/Quintus Prolog
By: Afzal Ballim on Mon, 07 Aug 1989 12:59

Re: Bootstrapping precedence grammars.
By: Jiyang Xu on Fri, 04 Aug 1989 08:21

Re: Comments wanted on SICStus (and prolog in general) under HP-UX
By: Stephen McGowan on Fri, 04 Aug 1989 08:32

Workshop on LP Environment ...
By: Arun Lakhotia on Fri, 04 Aug 1989 22:36

Re: Bootstrapping precedence grammars.
By: David Bowen on Wed, 02 Aug 1989 03:17

Lexical Functional Grammar, Situations Semantics
By: kurej Petra Kurej on Tue, 01 Aug 1989 06:44

Bootstrapping precedence grammars.
By: Mark William Hopkins on Mon, 31 Jul 1989 22:44

NACLP'89 Workshop on Logic Programming Environments
By: Arun Lakhotia on Mon, 31 Jul 1989 03:18

Unification as equation solving.
By: Mark William Hopkins on Sun, 30 Jul 1989 02:59

Look for info about Warren Abstract Prolog Machine
By: Juan Ramon Larre on Thu, 27 Jul 1989 16:04

LISP-implemented PROLOG compilers?
By: Bernd Bachmann AG Richter on Thu, 27 Jul 1989 17:04

Re: Comments wanted on SICStus (and prolog in general) under HP-UX
By: Dave Elliott on Thu, 27 Jul 1989 17:38

Comments wanted on SICStus (and prolog in general) under HP-UX
By: Evan Kirshenbaum on Wed, 26 Jul 1989 23:09

Re: ProYACC??? (was: Pro4th???)
By: Ted Dunning on Wed, 26 Jul 1989 17:27

Re: LISP interpreter in Prolog
By: Tim Finin on Wed, 26 Jul 1989 13:48

ProYACC??? (was: Pro4th???)
By: Mark William Hopkins on Tue, 25 Jul 1989 23:43

LISP interpreter in Prolog
By: Arun Lakhotia on Tue, 25 Jul 1989 19:31

Prolog Book Critique
By: Thom Fruhwirth on Tue, 25 Jul 1989 15:46

Re. Bagof (considerations, implementation)
By: dave8 on Mon, 24 Jul 1989 23:14

CFP: Seventh International Conference on Logic Programming
By: Udi Shapiro on Mon, 24 Jul 1989 11:59

PLM runtime system wanted!
By: Lyndon Jong A Ten on Thu, 20 Jul 1989 13:31

Re: Pro4th???
By: Zerksis D. Umrigar on Tue, 18 Jul 1989 17:04

Prolog on VAX VMS wanted.
By: sunderraman on Tue, 18 Jul 1989 09:05

Pro4th???
By: Jack J. Woehr on Tue, 18 Jul 1989 04:21

Quintus Prolog on Sun Wanted
By: X Zang on Mon, 17 Jul 1989 14:20

Prolog for Xenix- results
By: Usenet file owner on Fri, 14 Jul 1989 14:05

Looking for Prolog for Sun 3s
By: Tom Bradshaw on Mon, 10 Jul 1989 13:49

prolog for SCO XENIX 386?
By: Usenet file owner on Mon, 10 Jul 1989 16:31

Bagof (considerations, implementation)
By: Jan Wielemaker on Mon, 10 Jul 1989 11:34

Re: Let's update the List-of-Prologs!
By: Matthew Huntbach on Sat, 08 Jul 1989 18:02

6th IEEE Conference in AI Applications
By: Tim Finin on Sun, 09 Jul 1989 01:26

Let's update the List-of-Prologs!
By: Bruce Smith on Fri, 07 Jul 1989 17:12

Help on Page 221 of Bratko's book
By: swaminathan.ravikumar on Fri, 07 Jul 1989 16:04

Research fellowships at the University of Melbourne
By: Kotagiri Ramamohanarao on Wed, 05 Jul 1989 01:22

Want Prolog Programs
By: X Zang on Mon, 03 Jul 1989 19:12

Lectureship in Information Technology at Bristol University
By: John Lloyd on Fri, 30 Jun 1989 16:51

Call for newsletter Items
By: Chris Moss on Mon, 03 Jul 1989 14:33

Re: A question about Quintus and external lang interfaces
By: Anjo Anjewierden on Fri, 30 Jun 1989 09:40

Re: A question about Quintus and external lang interfaces
By: Jianhua Zhu on Thu, 29 Jun 1989 02:11

A question about Quintus and external lang interfaces
By: Mark F. Russo on Tue, 27 Jun 1989 18:29

Re: Parlog Texts
By: fai to leung on Tue, 27 Jun 1989 08:40

Parlog Texts
By: Torsten Reichert on Sun, 25 Jun 1989 22:25

Turbo Prolog's PIE
By: Thomas Muhr on Fri, 23 Jun 1989 15:00

Arity/Prolog for OS/2
By: Todd Ogasawara on Fri, 23 Jun 1989 05:51

Collecting timing statistics
By: David J. Barker-Plummer on Thu, 22 Jun 1989 22:23

NACLP'89
By: Leon Sterling on Thu, 22 Jun 1989 14:54

HELP: reference about Parlog needed
By: Yiu Ming Ray Lai on Thu, 22 Jun 1989 01:17

Prolog for Pyramid 98x
By: Duc Tran on Wed, 21 Jun 1989 21:41

Re: Prolog bibliography --- Errata
By: "Steve" Stevenson on Wed, 21 Jun 1989 12:04

ACE Version 1.3 Distribution
By: David Wolfram on Tue, 20 Jun 1989 08:36

Prolog bibliography done finally
By: "Steve" Stevenson on Tue, 20 Jun 1989 18:19

public domain prolog for apollo domain
By: Sandiway Fong on Mon, 19 Jun 1989 22:16

Call for NACLP SIG meeting
By: Spiro Michaylov on Sun, 18 Jun 1989 21:20

Logix on the Cosmic Environment
By: Udi Shapiro on Thu, 15 Jun 1989 11:54

Prolog standardisation effort
By: Jacob Levy on Tue, 13 Jun 1989 05:20

Re: retractall and backtracking
By: Joaquim Baptista (pxQuim) on Tue, 13 Jun 1989 02:50

Research Post in Logic Programming at Bristol University
By: John Lloyd on Mon, 12 Jun 1989 15:47

acceptance of Prolog
By: Tony Kusalik on Thu, 16 Apr 1992 23:04

Re: Help needed with DCG.
By: Michael A. Covington on Thu, 16 Apr 1992 15:49

Help needed with DCG.
By: Greg Martin on Thu, 16 Apr 1992 15:20

Re: ?: Efficient implementation of HASHING in PROLOG
By: P. Singleton on Thu, 16 Apr 1992 14:09

Re: PARLOG
By: bokkie on Thu, 16 Apr 1992 08:52

Re: To all who posted supposedly solutions of J.W. Lloyds example
By: Lars-Henrik Eriksson on Wed, 15 Apr 1992 17:42

Re: Purpose of Prolog Semantics
By: Torkel Franzen on Wed, 15 Apr 1992 08:23

database applications of functional/logic languages
By: Zeki Bayram on Thu, 16 Apr 1992 08:27

database applications of functional/logic languages
By: Zeki Bayram on Thu, 16 Apr 1992 08:23

database applications of functional/logic languages
By: Zeki Bayram on Thu, 16 Apr 1992 08:15

Re: To all who posted supposedly solutions of J.W. Lloyds example
By: enrico on Wed, 15 Apr 1992 15:29

To all who posted supposedly solutions of J.W. Lloyds example
By: Jan Stout on Wed, 15 Apr 1992 10:12

Help needed with sbprolog -- can't run
By: Himawan Gunadhi on Wed, 15 Apr 1992 10:03

Re: ?: Efficient implementation of HASHING in PROLOG
By: Richard A. O'Keefe on Wed, 15 Apr 1992 04:44

Re: To J.W. Lloyd (Foundations of Logic Programming)
By: Fernando Pereira on Tue, 14 Apr 1992 21:31

Re: ?: Efficient implementation of HASHING in PROLOG
By: Peter Ludemann on Tue, 14 Apr 1992 18:14

Re: To J.W. Lloyd (Foundations of Logic Programming)
By: Alex Kean on Tue, 14 Apr 1992 20:13

Re: Purpose of Prolog Semantics
By: Michel BILLAUD on Mon, 13 Apr 1992 17:41

Re: To J.W. Lloyd (Foundations of Logic Programming)
By: enrico on Tue, 14 Apr 1992 16:41

Re: call/n (was finding min/max no. from a list)
By: Fernando Pereira on Tue, 14 Apr 1992 13:57

To J.W. Lloyd (Foundations of Logic Programming)
By: Jan Stout on Tue, 14 Apr 1992 14:40

Re: debugging psychologist program.
By: Richard A. O'Keefe on Tue, 14 Apr 1992 05:24

Re: want a bagoff impl. without assert/retracts
By: Jens Kilian on Mon, 13 Apr 1992 10:50

Re: call/n (was finding min/max no. from a list)
By: Paul Tarau on Mon, 13 Apr 1992 15:31

Re: term-encoding sets so that unify = intersect
By: P. Singleton on Mon, 13 Apr 1992 13:16

Re: term-encoding sets so that unify = intersect
By: Richard A. O'Keefe on Mon, 13 Apr 1992 06:04

Re: call/n (was finding min/max no. from a list)
By: Richard A. O'Keefe on Mon, 13 Apr 1992 05:50

Re: Revised instructions to download ISO Prolog draft
By: Michael A. Covington on Mon, 13 Apr 1992 04:08

Re: memoization
By: Bharat Jayaraman on Mon, 13 Apr 1992 00:11

Re: term-encoding sets so that unify = intersect
By: Fernando Pereira on Sun, 12 Apr 1992 20:34

Re: memoization
By: Fernando Pereira on Sun, 12 Apr 1992 20:13

Re: Breadth_first question
By: Francois-Michel Lang on Sun, 12 Apr 1992 13:35

term-encoding sets so that unify = intersect
By: P. Singleton on Sun, 12 Apr 1992 17:02

Re: memoization
By: Bharat Jayaraman on Sun, 12 Apr 1992 17:24

re: call/n (was finding min/max no. from a list)
By: peter schachte on Fri, 10 Apr 1992 22:56

prolog for mac
By: Jim Lipton on Sun, 12 Apr 1992 02:04

Re: memoization
By: Fernando Pereira on Sat, 11 Apr 1992 17:26

Re: memoization
By: David Scott Warren on Fri, 10 Apr 1992 21:11

Re: Purpose of Prolog Semantics
By: Shinji KONO on Fri, 10 Apr 1992 15:52

Re: Breadth_first question
By: Shinji KONO on Fri, 10 Apr 1992 15:26

Revised instructions to download ISO Prolog draft
By: Chris D S Moss on Fri, 10 Apr 1992 14:32

Re: debugging psychologist program.
By: Richard A. O'Keefe on Fri, 10 Apr 1992 09:30

was Finding min/max no. from a list
By: Lukanowicz Martin on Fri, 10 Apr 1992 08:44

debugging psychologist program.
By: Peter Radonyi on Fri, 10 Apr 1992 03:49

Re: memoization
By: Bharat Jayaraman on Fri, 10 Apr 1992 03:02

ISO Prolog draft standard available
By: Chris D S Moss on Thu, 09 Apr 1992 15:22

Re: ?: Efficient implementation of HASHING in PROLOG
By: Michael A. Covington on Thu, 09 Apr 1992 00:40

Re: want a bagoff impl. without assert/retracts
By: Richard A. O'Keefe on Thu, 09 Apr 1992 12:35

Re: How to get the n'th element of a list
By: P. Singleton on Thu, 09 Apr 1992 11:52

want a bagoff impl. without assert/retracts
By: Fred Kwakkel on Thu, 09 Apr 1992 11:07

LP Newsletter Call
By: Andrew Davison on Thu, 09 Apr 1992 09:43

SBPROLOG on a Sequent Symmetry?
By: Dallas Jensen on Wed, 08 Apr 1992 23:26

?: Efficient implementation of HASHING in PROLOG
By: Karl MacDorman on Wed, 08 Apr 1992 23:46

Where can I get a Type Inference system for prolog?
By: Rolando Carrera-Sanchez on Wed, 08 Apr 1992 17:22

Re: memoization
By: David Scott Warren on Wed, 08 Apr 1992 16:13

Re: Speed of LP languages - Naive Reverse
By: Brady Michael on Wed, 08 Apr 1992 11:23

Breadth_first question
By: Erwin van Egmond on Wed, 08 Apr 1992 08:42

Re: How to get the n'th element of a list
By: Richard A. O'Keefe on Wed, 08 Apr 1992 06:20

Re: Solving 4 queens using boolean constraint
By: Mattias Waldau on Wed, 08 Apr 1992 04:49

Purpose of Prolog Semantics
By: Damon Feldman on Wed, 08 Apr 1992 00:46

Re: Programming vs. Specification
By: Paul Tarau on Wed, 08 Apr 1992 00:12

Re: memoization
By: Bharat Jayaraman on Tue, 07 Apr 1992 20:06

FAQ is not needed for this newsgroup now
By: Sanjiv Kapoor on Tue, 07 Apr 1992 19:07