🚀 go-pugleaf

Unification with Occur-Check in Quintus-Prolog
By: Max Moser on Thu, 05 Nov 1992 11:32

Call For Workshop Proposals - ICLP'93
By: Mats Carlsson on Thu, 05 Nov 1992 10:17

Re: Prolog 1000
By: Markus Fromherz on Thu, 05 Nov 1992 05:34

Re: prolog compiler
By: Claude Duguay on Wed, 04 Nov 1992 20:06

Special Symposium Announcement
By: Dawn Vance on Tue, 06 Oct 1992 20:23

Re: Graph Traversal
By: Richard A. O'Keefe on Tue, 06 Oct 1992 12:15

Re: postfix operators - does anyone need them?
By: Richard A. O'Keefe on Tue, 06 Oct 1992 12:07

Question about adding
By: Bert Edens on Mon, 05 Oct 1992 12:05

Re: retract*all
By: Richard A. O'Keefe on Tue, 06 Oct 1992 04:49

Re: a question about read
By: Richard A. O'Keefe on Tue, 06 Oct 1992 04:42

Re: Writing portable code.
By: Richard A. O'Keefe on Tue, 06 Oct 1992 04:31

DCGs in ISO Prolog
By: Tony Dodd on Mon, 05 Oct 1992 19:25

Looking for....
By: Jake on Tue, 06 Oct 1992 02:28

Elegant technologies (was: Graph Traversal)
By: Peter Ludemann on Mon, 05 Oct 1992 17:45

Re: Need help with prolog
By: Michael Hinz on Mon, 05 Oct 1992 15:24

Re: Efficiency
By: Michael Covington on Mon, 05 Oct 1992 15:11

Re: Efficiency
By: Michael Covington on Mon, 05 Oct 1992 15:09

Re: Efficiency
By: Micha Meier on Mon, 05 Oct 1992 10:21

Re: Graph Traversal
By: Michael Covington on Mon, 05 Oct 1992 03:28

Re: Graph Traversal
By: Gerry Trinidad on Sun, 04 Oct 1992 22:31

More about Horn clauses
By: Torkel Franzen on Sun, 04 Oct 1992 07:01

Re: Comprehensive understanding of logic languages
By: Torkel Franzen on Sat, 03 Oct 1992 18:47

Re: Comprehensive understanding of logic languages
By: carleton walker `93 on Sat, 03 Oct 1992 17:55

Re: Logic Programming
By: Gopal Gupta on Sat, 03 Oct 1992 06:15

Comprehensive understanding of logic languages
By: COMTET on Sat, 03 Oct 1992 00:27

Graph Traversal
By: Arindam Das on Fri, 02 Oct 1992 22:31

target code in LISP
By: Arindam Das on Fri, 02 Oct 1992 22:20

Re: a question about read
By: Alan Newman on Fri, 02 Oct 1992 07:07

ISSAC'93 Call for Paper (LaTeX)
By: Andrei Voronkov on Thu, 01 Oct 1992 14:09

Re: Writing portable code./partial evaluation
By: goldsmig on Thu, 01 Oct 1992 15:44

Re: Writing portable code.
By: Fergus James HENDERSON on Thu, 01 Oct 1992 12:39

comp.lang.prolog Frequently Asked Questions
By: Jamie Andrews on Thu, 01 Oct 1992 09:00

JICSLP/Washington,DC -- share room?
By: Jamie Andrews on Wed, 30 Sep 1992 21:37

Re: conf. on applications of Prolog
By: Mats Carlsson on Thu, 01 Oct 1992 07:59

Re: retract*all
By: Fergus James HENDERSON on Thu, 01 Oct 1992 06:18

Small Prolog Interpreter
By: Magnus Alvestad on Thu, 01 Oct 1992 04:41

distfix and parentheses (was: postfix operators - does anyone need them?)
By: Takashi Chikayama on Thu, 01 Oct 1992 03:21

Re: Writing portable code.
By: Stephen J Bevan on Wed, 30 Sep 1992 08:02

Re: postfix operators - does anyone need them?
By: Peter D. Schachte on Wed, 30 Sep 1992 20:56

turbo prolog
By: Bryan D. Nehl on Wed, 30 Sep 1992 19:48

retract*all
By: Claude Duguay on Wed, 30 Sep 1992 16:57

Turbo Prolog w/Pascal
By: Claude Duguay on Wed, 30 Sep 1992 16:47

conf. on applications of Prolog
By: Paolo Ciancarini on Wed, 30 Sep 1992 14:46

logic-functional
By: Rudolf Opalla on Wed, 30 Sep 1992 13:49

Re: a question about read
By: Michael Brady on Wed, 30 Sep 1992 13:45

Re: Prolog with pc serial
By: Cyberman on Sat, 26 Sep 1992 00:31

Re: sublists
By: goldsmig on Tue, 29 Sep 1992 19:24

Re: Writing portable code.
By: Jose Alberto Fernandez R on Tue, 29 Sep 1992 18:18

Re: a question about read
By: Fernando Pereira on Tue, 29 Sep 1992 17:53

Re: Writing portable code.
By: Jose Alberto Fernandez R on Tue, 29 Sep 1992 16:41

Re: Writing portable code.
By: Micha Meier on Tue, 29 Sep 1992 12:22

Re: Occur check
By: Pekka Kilpelainen on Tue, 29 Sep 1992 12:57

Re: a question about read
By: Michael Brady on Tue, 29 Sep 1992 10:57

Re: Logic Programming
By: Kurt Siegl on Tue, 29 Sep 1992 08:42

Re: Writing portable code.
By: Richard A. O'Keefe on Tue, 29 Sep 1992 03:50

Re: a question about read
By: Richard A. O'Keefe on Tue, 29 Sep 1992 02:23

Logic Programming
By: Robert I. Benett on Tue, 29 Sep 1992 02:24

Re: a question about read
By: Lee Naish on Tue, 29 Sep 1992 02:10

Re: Writing portable code.
By: Paul Singleton on Tue, 29 Sep 1992 00:57

a question about read
By: Peter Robinson (P.J.) on Mon, 28 Sep 1992 21:32

Re: Writing portable code.
By: Jose Alberto Fernandez R on Mon, 28 Sep 1992 15:35

Re: How to cleanup side effects after cut?
By: Andrew Taylor on Mon, 28 Sep 1992 15:27

SB-Prolog
By: m.ramesh on Mon, 28 Sep 1992 13:51

Another Quintus PROLOG problem
By: Joern Baier on Mon, 28 Sep 1992 13:26

Re: How to cleanup side effects after cut?
By: Arjen Duursma on Mon, 28 Sep 1992 06:59

Re: Need help with prolog
By: John Conery on Sun, 27 Sep 1992 21:30

Re: Writing portable code.
By: Paul Singleton on Sun, 27 Sep 1992 14:00

Writing portable code.
By: Kjell Post on Sun, 27 Sep 1992 08:54

Prolog to SQL Compiler version 1.0
By: ue701af on Sat, 26 Sep 1992 22:28

Re: Need help with prolog
By: Joern Baier on Sat, 26 Sep 1992 17:56

Re: How to cleanup side effects after cut?
By: Peter Ludemann on Thu, 24 Sep 1992 18:10

Re: Demons in Prolog
By: Matthew Huntbach on Wed, 05 Dec 1990 15:59

Re: inheritance in prolog
By: Stu on Thu, 06 Dec 1990 15:40

Bertrand
By: Michael S. Steinbach on Thu, 06 Dec 1990 21:58

co-routining
By: Ted Dunning on Thu, 06 Dec 1990 21:55

Re: Implication in Prolog (sigh...)
By: Richard A. O'Keefe on Thu, 06 Dec 1990 08:59

Re: inheritance in prolog
By: Way A on Tue, 04 Dec 1990 15:30

Address for CProlog Source
By: Peter Danielson on Tue, 04 Dec 1990 19:52

Something (from USSR). Cooperation.
By: Igor L. Bel'chinskiy on Mon, 03 Dec 1990 13:48

Constraint Logic Programming
By: Narendra Ravi on Mon, 03 Dec 1990 09:01

Demons in Prolog
By: "Peter Ludemann" on Tue, 04 Dec 1990 18:47

Re: Demons in Prolog
By: paolo ciancarini on Mon, 03 Dec 1990 21:04

Demons in Prolog
By: Alan Quan on Mon, 03 Dec 1990 16:50

Concurrent Constraint Logic Programming
By: Narendra Ravi on Mon, 03 Dec 1990 14:22

Implication in Prolog (sigh...)
By: brady on Fri, 30 Nov 1990 15:53

ALPUK91 Call for Papers - REMINDER
By: Tim Duncan on Thu, 29 Nov 1990 16:27

Re: immediate update
By: Bart Demoen on Sun, 02 Dec 1990 00:11

Re: C-Prolog question - construct atom '12'
By: Francois-Michel Lang on Fri, 30 Nov 1990 18:51

C-Prolog question - construct atom '12'
By: Erik Baalbergen on Fri, 30 Nov 1990 11:49

Re: Prolog for Vax
By: Frank C. Paterra on Thu, 29 Nov 1990 21:22

Sequent Theorem Prover
By: Jose de Siqueira on Thu, 29 Nov 1990 18:56

Arity Prolog & Turbo C
By: Marshall Sutherland on Thu, 29 Nov 1990 20:36

Prolog for Vax
By: Frank C. Paterra on Thu, 29 Nov 1990 16:55

Prolog Symbolic Integration ?
By: Feng Yang on Thu, 29 Nov 1990 15:31

Re: Can I talk about Parlog here?
By: Feliks Kluzniak on Tue, 27 Nov 1990 20:16

Re: Question about DCGs and natural language grammars
By: Jan Tore Loenning on Tue, 27 Nov 1990 16:54

Re: Can I talk about Parlog here?
By: Feliks Kluzniak on Mon, 26 Nov 1990 14:50

Re: immediate update
By: Roland Karlsson on Tue, 27 Nov 1990 09:51

Re: Good public domain MS/DOS Prologs?
By: David Goggin on Tue, 27 Nov 1990 02:25

Re: Good public domain MS/DOS Prologs?
By: Timo Knuutila on Wed, 28 Nov 1990 14:12

Prolog's Practicability
By: fuchs on Wed, 28 Nov 1990 09:58

inheritance in prolog
By: Robert Goldman on Wed, 28 Nov 1990 18:04

Re: Good public domain MS/DOS Prologs?
By: Richard A. O'Keefe on Wed, 28 Nov 1990 07:09

Advanced Program - IEEE Conference on AI APPLICATIONS
By: Tim Finin on Tue, 27 Nov 1990 16:48

Free Prolog(s)
By: cerbone giuseppe on Tue, 27 Nov 1990 15:35

Call for Proposals for ALP Meeting Organization
By: David Scott Warren on Tue, 27 Nov 1990 15:21

Re: Can I talk about Parlog here?
By: Matthew Huntbach on Mon, 26 Nov 1990 15:29

Re: POPLOG, HOW CAN I GET IT?
By: Matsuzawa Takashi on Wed, 21 Nov 1990 10:17

immediate update
By: Bart Demoen on Mon, 26 Nov 1990 21:45

Re: where can I find...
By: Jeff Schultz on Mon, 26 Nov 1990 01:22

LOGIN interpreter wanted
By: hathout on Tue, 20 Nov 1990 10:57

Re: Compiler smartness?
By: Mattias Waldau on Sun, 25 Nov 1990 18:11

where can I find...
By: Ranjan Bagchi on Sun, 25 Nov 1990 17:37

BIM v. QUINTUS
By: Bill Imlah on Fri, 23 Nov 1990 19:01

Re: Question about DCGs and natural language grammars
By: Mark Johnson on Fri, 23 Nov 1990 17:32

UNIX Prolog
By: Claude Duguay on Thu, 22 Nov 1990 21:31

Re: Prolog utility library
By: fuchs on Fri, 23 Nov 1990 13:16

Re: Question about DCG's and natural language
By: Mark Johnson on Fri, 23 Nov 1990 12:23

Re: Can I talk about Parlog here?
By: Richard A. O'Keefe on Fri, 23 Nov 1990 07:37

Re: Question about DCGs and natural language grammars
By: Richard A. O'Keefe on Fri, 23 Nov 1990 07:15

Re: Prolog utility library
By: Richard A. O'Keefe on Fri, 23 Nov 1990 06:19

Re: Compiler smartness?
By: Richard A. O'Keefe on Fri, 23 Nov 1990 06:25

Jacob Kan Yu's email address
By: Bernd Meyer on Tue, 20 Nov 1990 10:02

Re: Can I talk about Parlog here?
By: Ted Dunning on Thu, 22 Nov 1990 21:36

Re: Can I talk about Parlog here?
By: Feliks Kluzniak on Thu, 22 Nov 1990 17:42

Re: Standards question: behavior of arg/3
By: Peter G Ludemann on Thu, 22 Nov 1990 08:12

Can I talk about Parlog here?
By: ad on Wed, 21 Nov 1990 15:40

Re: Question about DCG's and natural language
By: ada612 on Thu, 22 Nov 1990 01:38