🚀 go-pugleaf

PROLOG code formatting (random musings)
By: Edouard Lagache on Sun, 07 Feb 1988 00:27

Re: Looking for Macintosh Prolog
By: Bruce Smith on Sat, 06 Feb 1988 19:50

Quicksort Strikes Again!
By: Richard A. O'Keefe on Sat, 06 Feb 1988 10:27

Re: Question: Lists or Assert?
By: Richard A. O'Keefe on Sat, 06 Feb 1988 05:46

Prolog efficiency
By: Peter Schachte on Sat, 06 Feb 1988 02:05

Question: Lists or Assert?
By: Jeff De Vries on Fri, 05 Feb 1988 19:57

Seen in a time-tabling program
By: Richard A. O'Keefe on Fri, 05 Feb 1988 11:45

Re: ProWindows (What is it?)
By: Edouard Lagache;;;6310183;GY24 on Fri, 05 Feb 1988 04:09

prolog on apollo
By: Vince Pugliese on Thu, 04 Feb 1988 15:54

Re: Evan's puzzle
By: Seif Haridi on Thu, 28 Jan 1988 18:10

PROLOG, Adventures, EMAIL ADDRESS
By: ??? on Tue, 02 Feb 1988 08:04

PROLOG, Adventure
By: ??? on Tue, 02 Feb 1988 07:56

Re: ProWindows
By: David Znidarsic on Tue, 02 Feb 1988 00:20

Re: Do you consider yourself a TURBO PROLOG expert?
By: Richard A. O'Keefe on Sun, 31 Jan 1988 03:51

LIST-of-PROLOGs available by FTP!
By: Bruce Smith on Sat, 30 Jan 1988 09:13

Re: Prolog problem
By: Christopher Dollin on Fri, 29 Jan 1988 16:35

Re: Request - email address Benoit Menendez, HPlabs
By: "Steve" Stevenson on Fri, 29 Jan 1988 14:26

Request - email address for C-Prolog
By: edmoy on Thu, 28 Jan 1988 20:13

Public domain (or inexpensive) PROLOG interpreter??
By: Ken Garnett on Wed, 27 Jan 1988 22:22

Re: ProWindows
By: Anjo Anjewierden on Mon, 01 Feb 1988 15:55

Looking for Macintosh Prolog
By: Jim Tubman on Wed, 27 Jan 1988 22:43

the story so far ... (prolog for apollo)
By: Vince Pugliese on Mon, 15 Feb 1988 14:54

Do you consider yourself a TURBO PROLOG expert?
By: Patrick Fitzsimmons on Tue, 26 Jan 1988 00:30

ProWindows
By: Jason Trenouth on Wed, 27 Jan 1988 11:37

PD Prolog for VAX/VMS?
By: William L. Rupp on Wed, 27 Jan 1988 19:19

Macros in Prolog systems
By: Peter Van Roy on Thu, 21 Jan 1988 01:07

Re: Request for prolog code for Stuttgart LFG system
By: Juergen Wagner on Wed, 20 Jan 1988 03:31

CHAT-80 (and other large Prolog programs)
By: John Dowding on Mon, 18 Jan 1988 20:26

Cprolog status ??
By: Owen McArdle 42824 on Mon, 25 Jan 1988 12:32

Re: Object oriented extensions to Prolog
By: Wayne Cook on Mon, 25 Jan 1988 17:40

Re: WISDOM prolog
By: Dave Hampton on Mon, 25 Jan 1988 19:48

parallel prolog
By: Colin O. Rafferty on Mon, 25 Jan 1988 22:06

Object oriented extensions to Prolog
By: Benoit Menendez on Fri, 22 Jan 1988 20:14

Algebraic simplification
By: Jan Chomicki on Sat, 16 Jan 1988 18:16

Re: Request for prolog code for Stuttgart LFG system
By: Juergen Wagner on Fri, 22 Jan 1988 01:44

WISDOM prolog
By: MorrisseyKA on Thu, 21 Jan 1988 04:08

Quintus Prolog questions.
By: Richard A. O'Keefe on Wed, 13 Jan 1988 00:48

Prolog for SCO Xenix System V
By: Peter Benson on Tue, 12 Jan 1988 01:10

GNAT -- A number sequence guessing game
By: Glenn A. Emelko on Thu, 07 Jan 1988 23:12

Name that Executable ... C-Prolog Version 1.4
By: Jack Chappelear on Mon, 18 Jan 1988 18:42

Request for prolog code for Stuttgart LFG system
By: Ann Nicholson on Sat, 16 Jan 1988 00:36

Is PRESS available?
By: jdevries on Mon, 04 Jan 1988 19:30

Non-classical logics bulletin announcement
By: Luis Farinas on Wed, 06 Jan 1988 19:08

PROLOG Digest V6 #5
By: Chuck Restivo, The Moderator on Wed, 06 Jan 1988 17:33

Re: String operations in PROLOG: some comments.
By: Peter Schachte on Wed, 06 Jan 1988 19:13

PROLOG Digest V6 #4
By: Chuck Restivo, The Moderator on Wed, 06 Jan 1988 11:05

String operations in PROLOG: some comments.
By: Edouard Lagache on Tue, 05 Jan 1988 18:25

PROLOG Digest V6 #3
By: Chuck Restivo, The Moderator on Mon, 04 Jan 1988 17:23

Is PRESS available?
By: Jeff De Vries on Mon, 04 Jan 1988 20:30

PROLOG Digest V6 #2
By: Chuck Restivo, The Moderator on Sat, 02 Jan 1988 16:54

PROLOG Digest V6 #1
By: Chuck Restivo, The Moderator on Thu, 31 Dec 1987 14:29

Re: Question on get0/read and call
By: Francois-Michel Lang on Thu, 31 Dec 1987 12:56

PROLOG Digest V5 #100
By: Chuck Restivo, The Moderator on Wed, 30 Dec 1987 14:02

Re: Question on get0/read and call
By: Richard A. O'Keefe on Thu, 31 Dec 1987 01:53

Question on get0/read and call
By: Duc Kim Nguyen on Wed, 30 Dec 1987 14:20

Re: Help with WARPLAN
By: Chris Preist on Tue, 22 Dec 1987 14:11

PROLOG for Ultrix wanted
By: Bill Hanrahan on Mon, 28 Dec 1987 20:48

PROLOG Digest V5 #99
By: Chuck Restivo, The Moderator on Thu, 24 Dec 1987 15:13

Declarative Debugging in Non-standard Logic Programming
By: Song Yan on Wed, 23 Dec 1987 01:34

PROLOG Digest V5 #98
By: Chuck Restivo, The Moderator on Tue, 22 Dec 1987 13:52

Algorithms for polynomial operations
By: Sankarnarayan Sridhar on Mon, 21 Dec 1987 07:07

Your Solution....
By: Steve Albany on Thu, 17 Dec 1987 02:35

Inductive consequence
By: reddy on Wed, 16 Dec 1987 00:14

Cprolog -- Where? (also PD Prolog in C)
By: Glenn A. Emelko on Tue, 15 Dec 1987 07:19

PROLOG Digest V5 #97
By: Chuck Restivo, The Moderator on Sun, 13 Dec 1987 18:30

Re: LIST-OF-PROLOGs (addition!)
By: Bruce Smith on Sat, 12 Dec 1987 20:21

LIST-OF-PROLOGs
By: Bruce Smith on Sat, 12 Dec 1987 05:01

updated list of Prolog implementations...
By: Bruce Smith on Sat, 12 Dec 1987 01:47

Call For Papers
By: Isaac Balbin on Thu, 10 Dec 1987 23:28

PROLOG Digest V5 #96
By: Chuck Restivo, The Moderator on Thu, 10 Dec 1987 17:20

Where do I get a C-Prolog for 3B2, 3B15, Xenix?
By: Keith Werkman on Fri, 11 Dec 1987 05:37

PROLOG Digest V5 #95
By: Chuck Restivo, The Moderator on Wed, 09 Dec 1987 13:47

Help with WARPLAN
By: David Hunter on Tue, 08 Dec 1987 20:44

Re: Arity/Prolog and Microsoft C 5.0?
By: Randy Gordon on Tue, 08 Dec 1987 20:19

Research Fellowship Available
By: Rodney Topor on Tue, 08 Dec 1987 02:07

Turbo Prolog
By: Stephen King on Tue, 08 Dec 1987 13:34

testing
By: Paul Coppinger on Fri, 04 Dec 1987 15:22

NU-Prolog termCompare/3.
By: spooner on Thu, 03 Dec 1987 06:18

Re: Arity/Prolog and Microsoft C 5.0?
By: The Perplexed Wiz on Thu, 03 Dec 1987 22:29

PROLOG Digest V5 #94
By: Chuck Restivo, The Moderator on Mon, 30 Nov 1987 15:38

Arity/Prolog and Microsoft C 5.0?
By: The Perplexed Wiz on Mon, 30 Nov 1987 21:54

PROLOG Digest V5 #93
By: Chuck Restivo, The Moderator on Wed, 25 Nov 1987 13:04

Re: Theoretical impediments to logic programming?
By: Jan Chomicki on Wed, 25 Nov 1987 22:23

Re: Constraint Logic Programming info sought
By: Spiro Michaylov on Tue, 24 Nov 1987 17:25

PROLOG Digest V5 #91
By: Chuck Restivo, The Moderator on Mon, 23 Nov 1987 17:02

PROLOG Digest V5 #90
By: Chuck Restivo, The Moderator on Sat, 21 Nov 1987 22:47

Re: self-replicating programs
By: Grado on Mon, 23 Nov 1987 06:46

PROLOG Digest V5 #89
By: Chuck Restivo, The Moderator on Sat, 21 Nov 1987 21:28

Re: self-replicating programs
By: ROTH on Sun, 22 Nov 1987 06:06

Re: Question about prolog-10 syntax
By: Abdul Sattar on Thu, 19 Nov 1987 01:39

self-replicating programs
By: Eiji "A.G." Hirai on Sun, 22 Nov 1987 01:46

Question about prolog-10 syntax
By: Abdul Sattar on Wed, 18 Nov 1987 21:09

bug or feature?
By: finin on Thu, 19 Nov 1987 21:16

Segmenting a Prolog Data Base to Speed Up Search
By: April Gillam on Wed, 18 Nov 1987 14:44

PROLOG Digest V5 #87
By: Chuck Restivo, The Moderator on Tue, 17 Nov 1987 19:32

Re: Comparing numbers
By: Leon Sterling on Tue, 17 Nov 1987 19:15

Integer/floating point type conversion in Prolog
By: Bruce K. Holmer on Tue, 17 Nov 1987 02:43

Request: Instruction sets for Prolog
By: Bruce K. Holmer on Mon, 16 Nov 1987 09:27

Re: Badness
By: Lee Naish on Fri, 13 Nov 1987 07:57

tail recursion optimization test
By: Rick Giles on Sat, 14 Nov 1987 15:08

PROLOG Digest V5 #86
By: Chuck Restivo, The Moderator on Fri, 13 Nov 1987 18:55

Needed: views on Wisdom Prolog
By: Dr. Dennis R. Bahler on Thu, 12 Nov 1987 21:41

Re: Badness
By: Paul Broome on Thu, 12 Nov 1987 21:16

Re: Badness
By: Tom Blenko on Wed, 11 Nov 1987 00:27

Re: Badness
By: Lee Naish on Tue, 10 Nov 1987 02:22

Constraint Logic Programming info sought
By: bobk on Mon, 09 Nov 1987 21:52

PROLOG Digest V5 #85
By: Chuck Restivo, The Moderator on Sun, 08 Nov 1987 15:41

Sources for CProlog
By: Eric R. Terrell on Sat, 07 Nov 1987 19:16

Preserving side-effects in Intelligent backtracking
By: Jayen Vaghani on Wed, 04 Nov 1987 06:49

Prolog Partial Evaluation ....
By: Arun Lakhotia on Tue, 03 Nov 1987 19:50

Re: Looking For Prolog Machines
By: Mike Carlton on Tue, 03 Nov 1987 02:27

Doubly-linked list package
By: Philip Dart on Tue, 03 Nov 1987 03:02

A parser in Prolog, For HELP (In English)
By: Hyou An on Fri, 30 Oct 1987 05:01

Re: Suggestions for Course
By: Dana S. Nau on Mon, 02 Nov 1987 17:14

Re: Types Utilizations in Prolog
By: reddy on Sat, 31 Oct 1987 16:19

Re: end_of_file in BSI proposals
By: Bjorn Danielsson on Wed, 28 Oct 1987 06:28

sbprolog problem
By: Dennis Heimbigner on Thu, 29 Oct 1987 20:33

alternative to trail stack?
By: dennis on Fri, 30 Oct 1987 06:49

Re: Types Utilizations in Prolog
By: Lee Naish on Thu, 29 Oct 1987 03:22

Re: variadic predicates
By: Chris Moss on Tue, 27 Oct 1987 11:03

PROLOG Digest V5 #79
By: PROLOG-REQUEST on Sun, 25 Oct 1987 19:03

PROLOG Digest V5 #78
By: Chuck Restivo, The Moderator on Sun, 25 Oct 1987 18:48

Types Utilizations in Prolog
By: H. AZZOUNE on Mon, 26 Oct 1987 09:54

Re: SBprolog installation problems
By: Saumya Debray on Mon, 26 Oct 1987 15:57

Re: forall/2 and negation as failure
By: Lee Naish on Mon, 26 Oct 1987 07:59

SBprolog installation problems
By: Dik Lee on Sun, 25 Oct 1987 19:27

PROLOG Digest V5 #76
By: Chuck Restivo, The Moderator on Sat, 24 Oct 1987 18:01

Re: Prolog compiler written in Prolog
By: Bob Beck on Sat, 24 Oct 1987 23:19