🚀 go-pugleaf

Re: Occurs check
By: Jimmy Ho Man Lee on Tue, 15 Dec 1992 01:02

Re: Trilogy vendor in UK or Europe?
By: Milan Richter on Tue, 15 Dec 1992 00:32

Prolog job at Quintus
By: David Bowen on Tue, 15 Dec 1992 04:26

WCLP '93 -- Call for Papers
By: Frederic Benhamou on Mon, 14 Dec 1992 19:57

Re: Array implementations?
By: Gregory Sidebottom on Mon, 14 Dec 1992 18:55

Re: Trilogy vendor in UK or Europe?
By: Gregory Sidebottom on Mon, 14 Dec 1992 18:26

Re: Array implementations?
By: Paul Singleton on Mon, 14 Dec 1992 17:08

Re: Occurs check
By: Peter Baumgartner on Mon, 14 Dec 1992 19:50

What is a reduction?
By: Robert Scott on Mon, 14 Dec 1992 14:10

Re: Array implementations?
By: Joachim Schimpf on Mon, 14 Dec 1992 11:04

Re: Occurs check
By: Joachim Schimpf on Mon, 14 Dec 1992 10:38

WANTED: RULE SET OF SMALL EXPERT SYSTEM
By: WU JIANHUA on Mon, 14 Dec 1992 08:44

Quintus
By: Walter Rolandi on Mon, 07 Dec 1992 15:28

Help! FTP-site for dos-prolog
By: slzw0 on Sun, 13 Dec 1992 23:03

Occurs check
By: Jussi Rintanen on Sun, 13 Dec 1992 17:30

Turbo-Prolog
By: Lavoie Alain on Sun, 13 Dec 1992 01:32

Re: Turbo Prolog Info
By: Claude Duguay on Fri, 11 Dec 1992 22:54

Re: Trilogy vendor in UK or Europe?
By: Claude Duguay on Fri, 11 Dec 1992 22:49

Re: Turbo Prolog question
By: Claude Duguay on Fri, 11 Dec 1992 22:45

Re: Array implementations?
By: Peter D. Schachte on Fri, 11 Dec 1992 21:40

9th IEEE Conference on AI for Applications (CAIA-93) program
By: Timothy Finin on Sun, 03 Jan 1993 15:51

Re: Trilogy vendor in UK or Europe?
By: Micha Meier on Wed, 30 Dec 1992 15:27

qprolog & Mrm
By: Oliver Brock on Mon, 28 Dec 1992 14:39

Re: ICOT 5th Generation Project Catalog
By: Takashi Chikayama on Mon, 28 Dec 1992 01:53

Graphs in Prolog
By: Subash Shankar on Sun, 27 Dec 1992 02:47

Re: Trilogy vendor in UK or Europe?
By: Claude Duguay on Sat, 26 Dec 1992 03:32

Re: Trilogy vendor in UK or Europe?
By: Michael Fuerst on Fri, 25 Dec 1992 05:40

rational term unification and conservation of sharing
By: Bart Demoen on Wed, 23 Dec 1992 16:42

Cost of cyclic unification?
By: Mark Johnson on Wed, 23 Dec 1992 15:50

Unification of rational terms
By: Olivier Ridoux on Wed, 23 Dec 1992 10:04

Re: Occurs check (really constraints)
By: Jamie Andrews on Wed, 23 Dec 1992 01:09

sbprolog help
By: Jafar Musa - Business Faculty on Tue, 22 Dec 1992 22:32

sbprolog help
By: Jafar Musa - Business Faculty on Tue, 22 Dec 1992 22:24

same predicate in different files ?
By: Arindam Das on Tue, 22 Dec 1992 20:48

ICOT 5th Generation Project Catalog
By: Michael Werts on Tue, 22 Dec 1992 20:01

Re: occurs check
By: Bart Demoen on Tue, 22 Dec 1992 19:45

Rational terms (was: Occurs check)
By: Olivier Ridoux on Tue, 22 Dec 1992 16:52

Re: Occurs check
By: Torkel Franzen on Tue, 22 Dec 1992 16:07

Re: Occurs check
By: Gert Smolka on Tue, 22 Dec 1992 15:20

Prolog to SQL compiler v. 1.1 (part 2/2)
By: Christoph Draxler on Tue, 22 Dec 1992 12:50

Prolog to SQL compiler v.1.1 (part 1/2)
By: Christoph Draxler on Tue, 22 Dec 1992 12:47

TEST (PLEASE IGNORE) (RH)
By: ron house on Wed, 16 Dec 1992 02:29

CASLOG is available
By: Nai-Wei Lin on Mon, 21 Dec 1992 22:01

Re: Occurs check
By: Torkel Franzen on Mon, 21 Dec 1992 21:08

Re: Occurs check
By: Mark Johnson on Mon, 21 Dec 1992 19:56

Re: Occurs check
By: Fernando Pereira on Mon, 21 Dec 1992 19:38

Re: Help: overlays in Turbo-Prolog 2.0
By: Claude Duguay on Mon, 21 Dec 1992 14:09

Re: Occurs check
By: Torkel Franzen on Mon, 21 Dec 1992 18:11

Recursive program fixpoint as a term
By: Greg Bond on Mon, 21 Dec 1992 17:35

Re: Occurs check
By: Torkel Franzen on Mon, 21 Dec 1992 16:54

Re: Occurs check
By: Mark Johnson on Mon, 21 Dec 1992 15:31

Re: Looking for clause or n-ary tree indexing code
By: Mark Johnson on Mon, 21 Dec 1992 15:13

Re: Occurs check
By: Gert Smolka on Mon, 21 Dec 1992 13:17

Re: Occurs check
By: Bruno Dumant on Mon, 21 Dec 1992 10:48

Re: Occurs check
By: Matthew Huntbach on Mon, 21 Dec 1992 09:33

Natural Language Parsing in Prolog
By: James Tauber on Mon, 21 Dec 1992 08:25

XPCE
By: Alan D. Cabrera on Mon, 23 Nov 1992 21:48

International Logic Programming Symposium 93, Preliminary Announcement
By: David Poole on Mon, 23 Nov 1992 18:38

Goedel language available
By: John Lloyd on Mon, 23 Nov 1992 17:33

Re: PC Prolog Compilers
By: Chris D S Moss on Mon, 23 Nov 1992 18:23

Re: History of Prolog? (pointer to HOPL-II)
By: Matthew Huntbach on Mon, 23 Nov 1992 14:38

Re: Q: Synergy of C and prolog
By: Claude Duguay on Mon, 16 Nov 1992 14:15

Concurrent Prolog
By: Rahul Kumar on Sat, 21 Nov 1992 18:05

Re: History of Prolog? (pointer to HOPL-II)
By: Peter Ludemann on Fri, 20 Nov 1992 18:20

Re: PROLOG puzzle frameworks
By: Joachim Schimpf on Thu, 19 Nov 1992 09:59

Please read: ***Request for Eliza***
By: prestontim on Wed, 18 Nov 1992 20:12

Prolog for MS DOS
By: Floris Wiesman on Wed, 18 Nov 1992 16:38

A paper on Directionality and Termination
By: Francois Bronsard on Wed, 18 Nov 1992 14:19

Re: PROLOG puzzle frameworks
By: Ken Johnson on Wed, 18 Nov 1992 12:27

Permutations and combinations
By: Ken Johnson on Wed, 18 Nov 1992 12:15

Re: Looking for a cross-referencer for Prolog
By: Milan Richter on Tue, 17 Nov 1992 18:02

Re: Q: Synergy of C and prolog
By: WU JIANHUA on Wed, 18 Nov 1992 01:02

Re: Looking for a cross-referencer for Prolog
By: Paul Singleton on Tue, 17 Nov 1992 21:59

Re: Fuzzy Predicates AnyoneIn article <1992Nov16.120436.471@hpb.hwc.ca>, jcampione@hpb.hwc.ca writes:
By: Bradley Richards on Tue, 17 Nov 1992 14:36

Re: Q: Synergy of C and prolog
By: Roland Karlsson on Tue, 17 Nov 1992 10:04

Re: Q: Synergy of C and prolog
By: Bernard Silver on Mon, 16 Nov 1992 14:15

Re: Quintus Prolog on Silicon Graphics platform
By: Tim Lindholm on Tue, 17 Nov 1992 04:26

Quintus Prolog on Silicon Graphics platform
By: Tuan Tran on Mon, 16 Nov 1992 17:30

Re: Q: Synergy of C and prolog
By: Thilo Kielmann on Mon, 16 Nov 1992 18:50

Re: Q: Synergy of C and prolog
By: Tim Lindholm on Mon, 16 Nov 1992 17:29

Re: Fuzzy predicates anyone?
By: jcampione on Mon, 16 Nov 1992 17:07

<None>
By: jcampione on Mon, 16 Nov 1992 17:04

Re: Prolog for Macintoshes
By: Paul Robichaux on Mon, 16 Nov 1992 14:44

Object Prolog
By: Harry Virtanen INF on Mon, 16 Nov 1992 10:32

Re: Q: Synergy of C and prolog
By: Arjen Duursma on Mon, 16 Nov 1992 07:12

Re: Fuzzy predicates anyone?
By: Harry Virtanen INF on Mon, 16 Nov 1992 09:38

Re: Q: Synergy of C and prolog
By: Douglas Kyle Pierce on Mon, 16 Nov 1992 04:24

Re: Prolog for Macintoshes
By: Fernando Pereira on Mon, 16 Nov 1992 02:08

Re: Fuzzy predicates anyone?
By: Z. Yang on Mon, 16 Nov 1992 00:02

Re: Q: Synergy of C and prolog
By: Xiuming Huang on Sun, 15 Nov 1992 22:24

Re: PC Prolog Compilers
By: Michael Covington on Sun, 15 Nov 1992 18:43

8-tiles problem
By: wilson on Mon, 13 May 1991 16:24

Re: carridge return
By: Lars-Henrik Eriksson on Mon, 13 May 1991 12:22

Re: carridge return
By: Richard A. O'Keefe on Mon, 13 May 1991 06:24

Re: looking for citation - formal semantics
By: Peter Sestoft on Mon, 13 May 1991 07:58

ANSI Standard Prolog
By: John Lenarcic on Sun, 12 May 1991 06:24

Research position(s) U. of Calgary, Canada
By: John Cleary on Fri, 10 May 1991 16:29

Re: Parlog references
By: Ken Johnson on Fri, 10 May 1991 10:23

Re: sbprolog v3.0 on sparc
By: [John E. Kreznar] on Thu, 09 May 1991 20:18

PDK'91: Preliminary Program and Call for Participation
By: Tim Finin on Fri, 10 May 1991 04:23

Prolog Digest ftp site?
By: Roggie Boone on Thu, 09 May 1991 21:14

Neural nets via Prolog
By: Roggie Boone on Wed, 08 May 1991 22:05

Re: Parlog references
By: Charles Chien-Hong Lin on Thu, 09 May 1991 06:34

Last Call for Participation, ICLP workshop on merging OOP and LP
By: Jean-Marc Andreoli on Wed, 08 May 1991 22:26

looking for citation - formal semantics
By: Wayne Citrin on Wed, 08 May 1991 21:28

Re: Looking for source code for Prolog (general)
By: Richard A. O'Keefe on Wed, 08 May 1991 07:24

Looking for a copy of Proceedings
By: Guillermo A. Francia on Tue, 07 May 1991 22:03

Re: STRAND88?
By: Eric Iverson on Tue, 07 May 1991 18:41

sbprolog v3.0 on sparc
By: James Wilbur Lewis on Tue, 07 May 1991 09:54

STRAND88?
By: Jan Chomicki on Mon, 06 May 1991 20:26

Re: Looking for source code for Prolog (general)
By: brady on Mon, 06 May 1991 12:18

looking for Prolog (on Macs) with good tracing
By: Alex Borgida on Fri, 03 May 1991 12:31

Re: WAM / Silicon Book Recommendations?
By: Hassan Ait-Kaci on Fri, 03 May 1991 08:59

Prolog Job Offering
By: Georges Saab on Thu, 02 May 1991 18:58

Re: carridge return
By: Andre Marien on Thu, 02 May 1991 09:33

Negation in Concurrent Prolog
By: Jose Najera on Thu, 02 May 1991 12:42

Re: Looking for source code for Prolog (general)
By: Raghu Toppur on Thu, 02 May 1991 15:50

Re: why do i need an extra carridge return?
By: Thom Fruehwirth on Tue, 30 Apr 1991 14:32

Re: Looking for source code for Prolog (general)
By: Richard A. O'Keefe on Thu, 02 May 1991 03:56

Re: WAM / Silicon Book Recommendations?
By: Jack J. Woehr on Thu, 02 May 1991 04:20

ICLP'91 Preconference Workshop (2nd call)
By: Jacquet on Wed, 01 May 1991 15:21

Re: Fallibility of the sane
By: Bill Imlah on Wed, 01 May 1991 12:07

ICLP'91 pre-conference workshop on merging Object-Oriented and Logic programming
By: Jean-Marc Andreoli on Tue, 30 Apr 1991 20:59

Re: why do i need an extra carridge return?
By: Richard A. O'Keefe on Wed, 01 May 1991 05:51

SQL parser (grammar rules) wanted
By: P. Singleton on Tue, 30 Apr 1991 21:20

Re: why do i need an extra carriage return?
By: Bill Imlah on Tue, 30 Apr 1991 14:03

Re: Looking for source code for Prolog (general)
By: Kjell E Post on Tue, 30 Apr 1991 09:00

Looking for source code for Prolog (general)
By: tnbf6 on Tue, 30 Apr 1991 07:59