🚀 go-pugleaf

Re: HELP!!! Please!
By: #Stefan Bachert on Mon, 05 Mar 1990 12:38

Re: Re: loops in prolog
By: #Stefan Bachert on Mon, 05 Mar 1990 11:16

Looking for Small Prolog 1.32 (public domain)
By: Ken Whedbee on Mon, 05 Mar 1990 18:09

Re: Legitimate uses of "assert"?
By: Matthew Huntbach on Fri, 02 Mar 1990 10:27

DECProlog on VMS or ULTRIX?
By: wallis on Fri, 02 Mar 1990 10:53

Special Issue of the JLP on Partial Deduction
By: Niklas Sjostrom on Fri, 02 Mar 1990 13:50

Re: loops in prolog
By: Richard O'keefe on Fri, 02 Mar 1990 04:24

Re: HELP!!! Please!
By: Todd J. Feldman on Fri, 02 Mar 1990 03:38

Re: HELP!!! Please!
By: Jose Alberto Fernandez R on Fri, 02 Mar 1990 00:04

Re: Legitimate uses of "assert"?
By: Tim Finin on Thu, 01 Mar 1990 21:43

Re: Re: loops in prolog
By: #Stefan Bachert on Thu, 01 Mar 1990 11:19

new XWIP available
By: tek on Thu, 01 Mar 1990 21:52

HELP!!! Please!
By: Todd J. Feldman on Thu, 01 Mar 1990 21:02

Re: Legitimate uses of "assert"?
By: Dan Brahme on Thu, 01 Mar 1990 15:38

Who supplies cprolog (Karlsruhe version)
By: Arjan van Hienen on Thu, 01 Mar 1990 08:54

Re: Legitimate uses of "assert"?
By: Chris Moss on Wed, 28 Feb 1990 19:41

Re: Legitimate uses of "assert"?
By: Matthew Huntbach on Wed, 28 Feb 1990 16:13

Re: Legitimate uses of "assert"?
By: Matthew Huntbach on Wed, 28 Feb 1990 12:11

Re: Legitimate uses of "assert"?
By: Saumya K. Debray on Wed, 28 Feb 1990 20:38

Re: loops in prolog
By: Richard O'keefe on Wed, 28 Feb 1990 09:36

Re: loops in prolog
By: #Stefan Bachert on Tue, 27 Feb 1990 14:01

Legitimate uses of "assert"?
By: Frank Pfenning on Tue, 27 Feb 1990 20:31

ProWindows on X
By: Gunnar Bostr|m on Tue, 27 Feb 1990 09:35

Re: Process Control in Prolog
By: Matthew Huntbach on Mon, 26 Feb 1990 17:49

Re: Prolog Brain Teaser
By: Cooperate on Fri, 23 Feb 1990 19:45

sbprolog incompatibility
By: Vivek S. on Fri, 23 Feb 1990 15:16

Help, very novice users!
By: 4242_5021 on Fri, 23 Feb 1990 02:30

Re: Process Control in Prolog
By: Richard O'keefe on Fri, 23 Feb 1990 02:58

Re: Turbo Prolog Versions
By: Andrew Jones on Tue, 20 Feb 1990 15:18

Prolog Brain Teaser
By: duncan on Tue, 20 Feb 1990 18:27

C-Prolog Tokenizer/Parser Wanted
By: Eric Cloninger on Thu, 22 Feb 1990 03:00

Re: sb_prolog on the 88000
By: Rene Quiniou on Wed, 21 Feb 1990 09:22

Re: Need info on Professional Prolog V2.6
By: Frank G McCabe on Tue, 20 Feb 1990 15:15

Process Control in Prolog
By: Paul Ling on Wed, 21 Feb 1990 18:44

Re: sb_prolog on the 88000
By: Cooperate on Tue, 20 Feb 1990 20:44

Re: LPA Prolog
By: Ron DiNapoli on Tue, 20 Feb 1990 18:14

LPA Prolog
By: ia.hamid on Mon, 19 Feb 1990 17:18

Re: Information request for temporal languages.
By: Richard O'keefe on Tue, 20 Feb 1990 04:36

Re: Need info on Professional Prolog V2.6
By: Richard O'keefe on Tue, 20 Feb 1990 04:32

Need info on Professional Prolog V2.6
By: ia.hamid on Wed, 14 Feb 1990 14:50

Re: Borland gave up Turbo-Prolog, where to get it now ?
By: Marco Valtorta on Mon, 19 Feb 1990 16:03

Re: Programming in logic vs. Programming in PROLOG
By: Lee Naish on Mon, 19 Feb 1990 05:04

Re: Information request for temporal languages.
By: Jonathan Mills on Sun, 18 Feb 1990 18:14

Re: INGRES and PROLOG
By: Andrew Jones on Mon, 12 Feb 1990 16:03

Programming in logic vs. Programming in PROLOG
By: Pierre Flener c/o awb on Thu, 15 Feb 1990 02:46

Borland gave up Turbo-Prolog, where to get it now ?
By: Rainer Gerten on Fri, 16 Feb 1990 14:47

Information request for temporal languages.
By: Vinit Kaushik on Fri, 16 Feb 1990 23:04

Theorem prover
By: SVEN AXELSSON on Sat, 17 Feb 1990 00:31

Re: m-way trees
By: Bart Demoen on Wed, 14 Feb 1990 14:52

Summary of replies to Turbo Prolog query
By: John Kingston on Fri, 16 Feb 1990 13:15

Re: Turbo Prolog Versions
By: Chris Moss on Thu, 15 Feb 1990 20:31

Re: help novice prolog users
By: Richard O'keefe on Thu, 15 Feb 1990 04:10

Re: Turbo Prolog Versions
By: Tim Duncan on Wed, 14 Feb 1990 20:53

help novice prolog users
By: Larry Moss on Wed, 14 Feb 1990 19:57

Re: Definition of list_length/2
By: Andreas Stolcke on Wed, 14 Feb 1990 19:13

Re: (free) Prolog interpreter/compiler with sources needed
By: Bradley L. Richards on Wed, 14 Feb 1990 17:16

(free) Prolog interpreter/compiler with sources needed
By: Alan Grant Finlay on Wed, 14 Feb 1990 01:47

Re: Definition of list_length/2
By: Lee Naish on Wed, 14 Feb 1990 01:13

Re: Turbo Prolog Versions
By: Chris Moss on Tue, 13 Feb 1990 13:40

Definition of list_length/2
By: Anjo Anjewierden on Tue, 13 Feb 1990 15:27

Re: prolog tree building question
By: John Dowding on Tue, 13 Feb 1990 00:12

Re: Public Domain Prolog Interpreters
By: Richard O'keefe on Tue, 13 Feb 1990 08:13

Re: the great split up
By: Lee Naish on Tue, 13 Feb 1990 05:18

Re: the great split up
By: Lee Naish on Tue, 13 Feb 1990 02:12

Public Domain Prolog Interpreters
By: Ken Collier on Fri, 09 Feb 1990 22:15

Sterling & Shapiro's meta-interpreter
By: David G. Novick on Mon, 12 Feb 1990 17:49

Re: Why is OCCURS-CHECK left out of Prolog? (And request for a reference)
By: Jamie Andrews on Mon, 12 Feb 1990 12:07

Re: prolog tree building question
By: Ken Johnson on Mon, 12 Feb 1990 11:09

Re: the great split up
By: Eric Iverson on Mon, 12 Feb 1990 15:33

Re: Re : incrementing values
By: Gerda Janssens on Mon, 12 Feb 1990 10:03

Re: the great split up
By: Richard O'keefe on Mon, 12 Feb 1990 10:10

the great split up
By: Eric Iverson on Mon, 12 Feb 1990 05:17

Iterative Deepening/Delayed Evaluation
By: Norbert E. Fuchs on Sun, 11 Feb 1990 15:58

Re: prolog tree building question
By: Dan Brahme on Sun, 11 Feb 1990 23:39

Re: Turbo Prolog Versions
By: andrew bridge on Fri, 09 Feb 1990 06:08

prolog tree building question
By: swaminathan.ravikumar on Fri, 09 Feb 1990 16:37

Re: loops in prolog
By: Ken Johnson on Sat, 10 Feb 1990 21:49

Re: Why is OCCURS-CHECK left out of Prolog?
By: Peter G Ludemann on Sat, 10 Feb 1990 02:50

Why is OCCURS-CHECK left out of Prolog? (And request for a reference)
By: Bob Riemenschneider on Fri, 09 Feb 1990 23:57

Re: loops in prolog
By: Richard O'keefe on Fri, 09 Feb 1990 10:09

Why is OCCURS-CHECK left out of Prolog?
By: Ira Baxter on Fri, 09 Feb 1990 02:10

loops in prolog
By: vincent li on Thu, 08 Feb 1990 22:41

WAM queries
By: vassilios e axaris on Thu, 08 Feb 1990 16:23

Re: incrementing values
By: Peter G Ludemann on Thu, 08 Feb 1990 07:39

sbprolog
By: Larry Moss on Thu, 08 Feb 1990 05:38

Re: incrementing values
By: Peter Van Roy on Thu, 08 Feb 1990 04:40

Meta90 program
By: Danny De Schreye on Wed, 07 Feb 1990 08:55

Re: incrementing values
By: Andrew Taylor on Wed, 07 Feb 1990 23:44

Re: Re : incrementing values
By: Andrew Taylor on Wed, 07 Feb 1990 23:11

Re: INGRES and PROLOG
By: Nobutoshi Tachibana on Tue, 06 Feb 1990 06:09

Re: incrementing values
By: John Cleary on Wed, 07 Feb 1990 04:32

Ask Dr Strabismus
By: Richard O'keefe on Fri, 09 Feb 1990 10:23

Need help in Tree building routine - Problem stated clearly
By: swaminathan.ravikumar on Mon, 12 Feb 1990 14:47

Re: incrementing values
By: Gary Murphy on Mon, 05 Feb 1990 03:37

Re : incrementing values
By: Gerda Janssens on Tue, 06 Feb 1990 09:15

Logic Programming Summer School 1990
By: Norbert E. Fuchs on Tue, 06 Feb 1990 11:08

MS-DOS Prolog-1 help
By: Dani Climan on Tue, 06 Feb 1990 19:33

X for Quintus Prolog
By: Rick Innis on Mon, 05 Feb 1990 21:25

IEEE Conference on AI Applications, CAIA-90
By: Tim Finin on Mon, 05 Feb 1990 17:49

IEEE Conference on AI Applications, CAIA-90
By: Tim Finin on Mon, 05 Feb 1990 15:57

Re: incrementing values
By: Aaron Sloman on Sun, 04 Feb 1990 16:51

Re: incrementing values
By: Richard O'keefe on Fri, 02 Feb 1990 05:46

Re: incrementing values
By: John Dowding on Sat, 03 Feb 1990 17:51

Re: incrementing values
By: Peter G Ludemann on Sat, 03 Feb 1990 02:41

Re: incrementing values
By: David H. West on Fri, 02 Feb 1990 19:32

Re: incrementing values
By: Jonathan Mills on Fri, 02 Feb 1990 17:14

NACLP-90
By: Saumya K. Debray on Fri, 02 Feb 1990 15:49

Re: incrementing values
By: Saumya K. Debray on Fri, 02 Feb 1990 15:05

Re: incrementing values
By: Jonathan Mills on Fri, 02 Feb 1990 12:43

Re: incrementing values
By: Michael Coleman on Fri, 02 Feb 1990 04:45

incrementing values
By: Saumya K. Debray on Fri, 02 Feb 1990 03:52

SP-Prolog & SP-Object : brief descriptions
By: reix on Fri, 12 Jan 1990 15:01

Re: Challenge
By: Micha Meier on Tue, 09 Jan 1990 16:19

assert, retract + CProlog,BIM, and Quintus
By: USENET News System on Mon, 08 Jan 1990 15:04

Quintis Prolog on SPARCstation
By: seaney on Mon, 08 Jan 1990 10:38

Challenge
By: fuchs on Thu, 04 Jan 1990 10:26

LM-Prolog available
By: Mats Carlsson on Thu, 04 Jan 1990 12:17

prolog abstract machines
By: Johan Thole on Wed, 10 Jan 1990 16:10

Re: Netiquette (was: fun with WG17)
By: Jeff Dalton on Wed, 03 Jan 1990 19:25

Portable C Prolog interpreter
By: Alonzo GARIEPY on Tue, 02 Jan 1990 21:35

Re: A Challenge
By: Lee Naish on Fri, 29 Dec 1989 07:09

alignment restricted processors
By: Mott Given on Wed, 27 Dec 1989 15:06

Re: More fun with WG17
By: Jeff Dalton on Tue, 26 Dec 1989 19:16

Re: A Challenge
By: Mark William Hopkins on Sun, 24 Dec 1989 03:05

Job opportunity
By: Way A on Fri, 22 Dec 1989 12:44

assert/1, retract/1 etc. for C-Prolog, Quintus, and BIM
By: Paul Freedman on Thu, 21 Dec 1989 16:09

Re: delayed computation challenge
By: Lee Naish on Thu, 21 Dec 1989 07:31

Re: A Challenge
By: Lee Naish on Thu, 21 Dec 1989 06:36