🚀 go-pugleaf

Re: NU Prolog and Stony Brook Prolog
By: pierced 4082 Re Specifying types... on Mon, 17 Jun 1991 20:12

Re: Specifying types
By: Alan Polis on Mon, 17 Jun 1991 13:29

program testing
By: Valerie Barr on Mon, 17 Jun 1991 14:53

Re: Ignorant question about Logic and prolog
By: David John Hawley on Mon, 17 Jun 1991 05:30

Re: Specifying types
By: T.K. Lakshman on Mon, 17 Jun 1991 05:06

Re: standards, Scheme, Prolog
By: Richard A. O'Keefe on Sat, 15 Jun 1991 06:38

Re: block and exit_block
By: Richard A. O'Keefe on Sat, 15 Jun 1991 06:25

ICLP Worshop on Constraint Logic Programming
By: Pascal van Hentenryck on Fri, 14 Jun 1991 21:59

Re: ALLOY, parallel, higher level, and flexible. V2.0
By: Larry M. Jordan on Fri, 14 Jun 1991 21:45

Re: block and exit_block
By: Bart Demoen on Fri, 14 Jun 1991 12:55

NU Prolog and Stony Brook Prolog
By: Tom Yonkman on Fri, 14 Jun 1991 14:52

Re: standards, Scheme, Prolog
By: Jeff Dalton on Fri, 14 Jun 1991 18:49

Re: ANSI Standard Prolog
By: Jeff Dalton on Fri, 14 Jun 1991 18:43

Re: Specifying types
By: Chandrasekaran Periannan on Fri, 14 Jun 1991 16:05

Prolog Graphics
By: Mark Wallace on Fri, 14 Jun 1991 12:48

Re: Ignorant question about Logic and prolog
By: Anthony Shipman on Fri, 14 Jun 1991 13:08

Looking for constraint based language
By: SAITO Yasushi on Fri, 14 Jun 1991 08:25

Re: block and exit_block
By: Richard A. O'Keefe on Thu, 13 Jun 1991 04:50

Re: Specifying types
By: Richard A. O'Keefe on Fri, 14 Jun 1991 04:05

Re: Concerning standards.
By: Ken Dickey on Thu, 13 Jun 1991 20:36

ICLP'91 Preconference Workshop
By: Jacquet on Thu, 13 Jun 1991 19:02

Re: Ignorant question about Logic and prolog
By: Jens Rettig on Thu, 13 Jun 1991 11:55

Extensible Unification
By: Micha Meier on Thu, 13 Jun 1991 08:48

Quintus prolog vendor in Australia...
By: Vishv Malhotra on Thu, 13 Jun 1991 03:37

Looking for Prolog for Unix
By: Giancarlo Succi on Wed, 12 Jun 1991 14:56

Re: standards, Scheme, Prolog
By: Bart Demoen on Wed, 12 Jun 1991 07:17

Looking for Prolog for Unix
By: Giancarlo Succi on Wed, 12 Jun 1991 07:27

Re: Concerning standards.
By: Hassan Ait-Kaci on Wed, 12 Jun 1991 09:12

Ignorant question about Logic and prolog
By: Rick Franklin on Tue, 11 Jun 1991 20:34

Re: Implementing Prolog in OOPS
By: Joaquim Baptista [pxQuim] on Tue, 11 Jun 1991 16:55

Re: block and exit_block
By: Bart Demoen on Tue, 11 Jun 1991 07:12

ALLOY, parallel, higher level, and flexible. V2.0
By: Thanasis Mitsolides on Tue, 11 Jun 1991 17:55

Re: "Embedded Prolog" in C code
By: Aaron Sloman on Tue, 11 Jun 1991 00:09

Specifying types
By: Jocelyn Paine on Tue, 11 Jun 1991 13:41

Concerning standards.
By: Richard A. O'Keefe on Tue, 11 Jun 1991 06:53

Implementing Prolog in OOPS
By: Boysen John Peter on Mon, 10 Jun 1991 21:40

CALL FOR PAPERS - 1992 ACM Symposium on Applied Computing
By: Kam-Fai Wong on Mon, 10 Jun 1991 14:28

Re: block and exit_block
By: Daniel Cohen;E303 on Mon, 10 Jun 1991 13:44

Re: Trapping interrupts cleanly
By: Richard A. O'Keefe on Mon, 10 Jun 1991 12:25

Re: Trapping interrupts cleanly
By: Richard A. O'Keefe on Mon, 10 Jun 1991 12:12

Re: "Embedded Prolog" in C code
By: Richard A. O'Keefe on Mon, 10 Jun 1991 12:05

Re: block and exit_block
By: David Bowen on Fri, 07 Jun 1991 18:32

CFP: Logic and Change
By: Remo Pareschi on Fri, 07 Jun 1991 07:55

block and exit_block
By: Ted Dunning on Thu, 06 Jun 1991 14:35

Need UNSW for sun.
By: Hilbert Levitz on Wed, 05 Jun 1991 22:15

Prolog books: Summary
By: Joe Hanus - Botany on Wed, 05 Jun 1991 21:56

Re: "Embedded Prolog" in C code
By: Duncan Campbell on Tue, 04 Jun 1991 18:51

Re: ANSI Standard Prolog
By: Jack J. Woehr on Tue, 04 Jun 1991 04:35

Re: Trapping interrupts cleanly
By: Michael Dahmen on Mon, 03 Jun 1991 07:16

Re: "Embedded Prolog" in C code
By: Michael A. Covington on Fri, 31 May 1991 23:36

CFP - 8th IEEE Conference on AI for Applications
By: Tim Finin on Fri, 31 May 1991 18:37

Re: "Embedded Prolog" in C code
By: Ted Dunning on Fri, 31 May 1991 17:30

Re: "Embedded Prolog" in C code
By: Ted Dunning on Fri, 31 May 1991 17:10

C/PRolog integration
By: palamanda jairam r on Fri, 31 May 1991 16:27

Re: "Embedded Prolog" in C code
By: Michael A. Covington on Fri, 31 May 1991 14:59

Re: "Embedded Prolog" in C code
By: garym Gary Murphy on Thu, 30 May 1991 15:54

Trapping interrupts cleanly
By: Jocelyn Paine on Fri, 31 May 1991 09:22

Re: "Embedded Prolog" in C code
By: Duncan Campbell on Thu, 30 May 1991 20:12

Re: ANSI Standard Prolog
By: Tim ARNOLD on Fri, 31 May 1991 00:18

ICLP '91 workshop on Par LP: Call for Participation
By: G. Gupta on Thu, 30 May 1991 15:05

Re: "Embedded Prolog" in C code
By: David Bowen on Thu, 30 May 1991 02:56

Re: ANSI Standard Prolog
By: David Bowen on Thu, 30 May 1991 02:13

Re: Logic programming languages other than Prolog ?
By: Giancarlo Succi on Wed, 29 May 1991 20:35

Help--Prolog books
By: Joe Hanus - Botany on Wed, 29 May 1991 23:31

References to Visual Prolog
By: Bryan S. So on Tue, 28 May 1991 19:20

PLILP 91
By: Andreas Mueck on Mon, 27 May 1991 09:31

Parlog inforation
By: Jenny.Rowland on Mon, 27 May 1991 04:42

Re: "Embedded Prolog" in C code
By: Ted Dunning on Wed, 29 May 1991 19:19

Re: "Embedded Prolog" in C code
By: Duncan Campbell on Tue, 28 May 1991 16:32

Re: "Embedded Prolog" in C code
By: Ted Dunning on Mon, 27 May 1991 16:00

Re: "Embedded Prolog" in C code
By: O Morgan on Mon, 27 May 1991 10:38

Re: "Embedded Prolog" in C code
By: fore057 on Mon, 27 May 1991 05:09

AQ-type learning algorithm anyone?
By: J McNicol on Thu, 30 May 1991 09:31

Re: Parlog references
By: David John Hawley on Sun, 26 May 1991 08:45

SB-Prolog > March 88 ?
By: Frank Thomas on Sat, 25 May 1991 14:05

Re: Logic programming languages other than Prolog ?
By: Michael A. Covington on Sat, 25 May 1991 16:19

Re: Logic programming languages other than Prolog ?
By: Richard A. O'Keefe on Sat, 25 May 1991 07:11

Logic programming languages other than Prolog ?
By: John Lenarcic on Sat, 25 May 1991 05:08

Re: Parlog references
By: Charles Chien-Hong Lin on Sat, 25 May 1991 04:08

public domain prolog
By: Ashok Samal on Fri, 24 May 1991 18:16

Re: SICStus Prolog expert, HELP!
By: Herry Sutanto on Fri, 24 May 1991 17:38

2nd Conf. on Software Engineering and A.I.
By: Hassan Ait-Kaci on Fri, 24 May 1991 15:50

[Prolog] Collection of 'Folk Theorems' wanted !
By: Michel BILLAUD on Thu, 23 May 1991 10:30

Prolog teaching aids ?
By: John Lenarcic on Fri, 24 May 1991 06:58

SICStus Prolog expert, HELP!
By: Herry Sutanto on Thu, 23 May 1991 19:49

Re: carridge return
By: Andre Marien on Thu, 23 May 1991 09:11

"Embedded Prolog" in C code
By: Nirad Sharma on Sun, 26 May 1991 23:11

An Automatic Partial Evaluator for Full Prolog
By: Dan Sahlin on Wed, 22 May 1991 10:01

LP Environments workshop at ICLP'91
By: Mireille Ducasse on Tue, 21 May 1991 09:39

Logic Programming - ECRC, Munich (English Speaking)
By: Mike Reeve on Sun, 19 May 1991 12:44

Re: Seeking Prolog interpreter in Lisp
By: Phil Laird on Fri, 17 May 1991 01:46

Re: ProLog by BIM manuals in Australia
By: ProLog by BIM support on Wed, 15 May 1991 14:19

Seeking Prolog interpreter in Lisp
By: Phil Laird on Wed, 15 May 1991 23:05

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

Re: Occurs check
By: Fernando Pereira on Sun, 20 Dec 1992 22:53

Re: next_to code question
By: Claude Duguay on Sun, 20 Dec 1992 14:13

Re: Occurs check
By: Torkel Franzen on Sun, 20 Dec 1992 09:49

Re: Occurs check
By: Fernando Pereira on Sun, 20 Dec 1992 02:05

Help: overlays in Turbo-Prolog 2.0
By: Pavel A. Winogradov on Fri, 18 Dec 1992 08:10

Re: Occurs check
By: Torkel Franzen on Sat, 19 Dec 1992 11:19

Re: next_to code question
By: Jens Kilian on Sat, 19 Dec 1992 00:23

Re: Occurs check
By: Fernando Pereira on Sat, 19 Dec 1992 00:30

Looking for code to index clauses or n-ary trees
By: Thomas Hoppe on Fri, 18 Dec 1992 23:33

Looking for clause or n-ary tree indexing code
By: Thomas Hoppe on Fri, 18 Dec 1992 23:26

Re: Occurs check
By: Torkel Franzen on Fri, 18 Dec 1992 22:10

Re: Occurs check
By: Fernando Pereira on Fri, 18 Dec 1992 15:03

Re: Occurs check
By: Fernando Pereira on Fri, 18 Dec 1992 20:31

Re: Occurs check
By: Fernando Pereira on Fri, 18 Dec 1992 14:25

Re: Occurs check
By: Peter Ludemann on Fri, 18 Dec 1992 19:07

Re: Occurs check
By: Jamie Andrews on Fri, 18 Dec 1992 17:57

Re: Occurs check
By: miller on Fri, 18 Dec 1992 18:02

Re: Occurs check
By: Peter Baumgartner on Fri, 18 Dec 1992 20:15

Re: Occurs check
By: Matthew Huntbach on Fri, 18 Dec 1992 09:30

Re: Occurs check
By: Milan Richter on Thu, 17 Dec 1992 17:21

Prolog interpreter written by Emacs-lisp wanted
By: Ryuichiro Ohyama on Fri, 18 Dec 1992 04:28

next_to code question
By: Art Winterbauer on Thu, 17 Dec 1992 20:49

Re: Occurs check
By: Torkel Franzen on Thu, 17 Dec 1992 19:19

Re: Occurs check
By: Saumya K. Debray on Thu, 17 Dec 1992 18:50

Re: Occurs check
By: Fernando Pereira on Thu, 17 Dec 1992 17:10

Re: Integrated logical and object-oriented language?
By: Marti Philippe on Mon, 07 Dec 1992 17:52

Re: Occurs check
By: Stefan Kahrs on Thu, 17 Dec 1992 14:00

Re: Occurs check
By: Torkel Franzen on Thu, 17 Dec 1992 11:58

Re: Occurs check
By: Matthew Huntbach on Thu, 17 Dec 1992 11:11

Re: Occurs check
By: Roger Scowen on Wed, 16 Dec 1992 11:45

ECLiPSe (Was: Re: Occurs check)
By: Joachim Schimpf on Wed, 16 Dec 1992 18:55

Re: Array implementations?
By: Lars-Henrik Eriksson on Wed, 16 Dec 1992 11:23

Apologies (Re: Help on writing MERGE SORT!)
By: Dzung Nguyen on Tue, 15 Dec 1992 22:40

Re: Occurs check
By: Peter Van Roy on Tue, 15 Dec 1992 13:11