🚀 go-pugleaf

Re: Fuzzy Prolog?
By: Thomas Schoenauer on Wed, 19 Aug 1992 08:00

RESEARCH ASSISTANT NEEDED
By: Sivand Lakmazaheri on Wed, 19 Aug 1992 18:30

UNIX 'diff' algorithm in Prolog?
By: Paul Singleton on Wed, 19 Aug 1992 17:14

single_var_warnings
By: Dr D Stott Parker on Wed, 19 Aug 1992 18:15

Re: SICStus Prolog singleton warnings slow down while consulting a file
By: Ted Dunning on Wed, 19 Aug 1992 18:27

Re: SICStus Prolog singleton warnings slow down while consulting a file
By: Paul Singleton on Wed, 19 Aug 1992 11:32

Edinburgh Prolog Libraries.
By: Andrew Wenn on Wed, 19 Aug 1992 05:41

Pipes or sockets in Prolog?
By: GLENN BLANK on Tue, 18 Aug 1992 18:58

Re: SICStus Prolog singleton warnings slow down while consulting a file
By: Andreas Kagedal on Tue, 18 Aug 1992 09:43

Re: SICStus Prolog singleton warnings slow down while consulting a file
By: Ken Johnson on Tue, 18 Aug 1992 17:16

Re: SICStus Prolog singleton warnings slow down while consulting a file
By: Palmer M J on Tue, 18 Aug 1992 16:09

Re: fuzzy unification of floating point numbers
By: Peter Ludemann on Mon, 17 Aug 1992 16:50

Re: SICStus Prolog singleton warnings slow down while consulting a file
By: Gregory Sidebottom on Mon, 17 Aug 1992 21:04

Re: SICStus Prolog singleton warnings slow down while consulting a file
By: Anders Hallberg on Tue, 18 Aug 1992 07:06

Second CFP: Workshop on Deductive Databases at JICSLP'92 Second Call for Participation
By: James Harland on Tue, 18 Aug 1992 06:09

SICStus prolog "call_residue/2"
By: Vagelis Vassiliadis on Tue, 18 Aug 1992 00:28

Re: SICStus Prolog singleton warnings slow down while consulting a file
By: Mats Carlsson on Mon, 17 Aug 1992 22:17

Quintus' Prolog++ -- Some help needed
By: Keith D'Souza on Mon, 17 Aug 1992 19:19

SICStus Prolog singleton warnings slow down while consulting a file
By: Ralf Hauser on Mon, 17 Aug 1992 17:21

Re: Help on problem needed!
By: Michael Meskes on Mon, 17 Aug 1992 12:05

Fuzzy Prolog?
By: baechtel on Mon, 17 Aug 1992 12:44

Re: Help on problem needed!
By: Hermann on Mon, 17 Aug 1992 05:43

Re: Prolog Development Information Request
By: Cameron Antoine Hughes on Sun, 16 Aug 1992 01:36

Prolog for the PC
By: Darren B. Boucher on Fri, 14 Aug 1992 17:25

Re: transitive and symetric relations
By: Robert Marti on Fri, 14 Aug 1992 16:29

Re: another SBPROLOG Question.
By: Benjamin Yu on Fri, 14 Aug 1992 12:19

Re: transitive and symetric relations
By: Ken Johnson on Fri, 14 Aug 1992 10:21

another SBPROLOG Question.
By: Ahsun Humayun Murad on Fri, 14 Aug 1992 11:15

Re: fuzzy unification of floating point numbers
By: Jonny Farringdon on Fri, 14 Aug 1992 09:35

Re: Knights Tour
By: Imai Akira on Fri, 14 Aug 1992 05:50

Lloyd, _Foundations ..._
By: Glenn Holliday on Fri, 14 Aug 1992 03:42

Knights Tour
By: Ted Pedersen on Thu, 13 Aug 1992 16:58

SBProlog3.1
By: Roland Paterson-Jones on Thu, 13 Aug 1992 16:17

Help on problem needed!
By: Michael Meskes on Thu, 13 Aug 1992 12:42

Re: do i *need* a 387 for
By: Marc "VELZ" van Velzen on Thu, 13 Aug 1992 13:05

Re: fuzzy unification of floating point numbers
By: Jonny Farringdon on Thu, 13 Aug 1992 13:39

graph-utilities needed
By: Oli Paulus on Thu, 13 Aug 1992 12:32

Re: transitive and symetric relations
By: Torben AEgidius Mogensen on Thu, 13 Aug 1992 11:17

Re: Logix for SUN OS 4.1.1 or SOLARIS 2.0?
By: Shternbaum Eitan on Thu, 13 Aug 1992 05:39

Re: Does anyone know SBProlog3.1?
By: Saumya K. Debray on Thu, 13 Aug 1992 03:30

PROLOG in C
By: Stefano De Luca on Wed, 12 Aug 1992 03:00

Re: transitive and symetric relations
By: Fernando Pereira on Thu, 13 Aug 1992 00:15

SWI-Prolog on 386BSD (or any BSD Unix)
By: Daniel Newcombe on Wed, 12 Aug 1992 21:27

fuzzy unification of floating point numbers
By: Mikhail Karpoukhin on Wed, 12 Aug 1992 21:09

Portray clauses for difference lists
By: Ken Johnson on Wed, 12 Aug 1992 13:48

Re: Does anyone know SBProlog3.1?
By: John W. Wooten on Wed, 12 Aug 1992 12:37

Why does my Turbo Prolog program waste heap space??
By: Ron Castelletto on Thu, 29 Mar 1990 21:54

emacs prolog mode?
By: Richard Goerwitz on Thu, 29 Mar 1990 02:23

prolog and theorem proving
By: m.ramesh on Wed, 28 Mar 1990 16:41

Public Domain Sites ?
By: #Stefan Bachert on Mon, 26 Mar 1990 14:27

Re: prolog theorem proving
By: Todd J. Feldman on Wed, 28 Mar 1990 02:28

CFP: Workshop on Logic Programming Environments
By: Tony Kusalik on Tue, 27 Mar 1990 21:49

prolog theorem proving
By: m.ramesh on Tue, 27 Mar 1990 15:45

How can I get C-Prolog ?
By: Jan Derriks on Mon, 26 Mar 1990 12:44

Re: Duplicate Solutions
By: Pat Chkoreff on Thu, 22 Mar 1990 19:01

Description of the Warren Abstract Machine
By: Marcelo Jenkins on Fri, 23 Mar 1990 19:10

Temporal reasoning and real-time programming
By: Sanjai Narain on Tue, 20 Mar 1990 00:26

Re: Prolog for Pc's
By: Geert Postma on Tue, 20 Mar 1990 08:32

Re: Arity Prolog
By: Geert Postma on Tue, 20 Mar 1990 08:15

Re: Arity Prolog
By: Lance N. Antrim on Mon, 19 Mar 1990 18:24

Re: Info on translating functional programming to PROLOG
By: Sanjai Narain on Mon, 19 Mar 1990 00:49

Prolog for Pc's
By: Unprivileged user on Sun, 18 Mar 1990 01:32

Private to Mr. Markantonatos
By: Charalambos N. ATHANASSIOU on Sat, 17 Mar 1990 10:23

Arity Prolog
By: Ronen Feldman on Fri, 16 Mar 1990 19:39

Re: The Zebra problem
By: Jamie Andrews on Fri, 16 Mar 1990 15:59

Re: Duplicate Solutions
By: Richard O'keefe on Fri, 16 Mar 1990 08:12

Re: Module systems (request for info)
By: Paulo Rosado on Thu, 15 Mar 1990 14:27

first argument indexing
By: John Milbury-Steen on Thu, 15 Mar 1990 18:56

Re: Duplicate Solutions
By: Sharon J Correll on Thu, 15 Mar 1990 19:41

Re: Duplicate Solutions
By: Ken Johnson on Thu, 15 Mar 1990 17:55

Info on translating functional programming to PROLOG
By: Charalambos N. ATHANASSIOU on Thu, 15 Mar 1990 14:15

Re: Duplicate Solutions
By: Tim Finin on Thu, 15 Mar 1990 14:35

ICLP'90 Workshop on Partial Deduction and Evaluation
By: Jan Komorowski IB on Wed, 21 Mar 1990 10:01

PODS 90 Announcement and Registration Information
By: Raghu Ramakrishnan on Wed, 24 Jan 1990 19:38

Meta90
By: Danny De Schreye on Wed, 24 Jan 1990 09:01

Re: Compilers for breadth first search and bottom up computation ?
By: Colin Bridgewater on Mon, 22 Jan 1990 18:24

INGRES and PROLOG
By: Andrew Jones on Mon, 22 Jan 1990 13:20

SB-PROLOG references
By: Mott Given on Wed, 24 Jan 1990 14:10

SICSTUS PROLOG
By: Vassilis Konstantinou on Sat, 20 Jan 1990 12:51

Compilers for breadth first search and bottom up computation ?
By: Philipp Hanschke Dfki on Fri, 19 Jan 1990 08:41

"Simple" Prolog Interpreter Project
By: Jules Cisek on Tue, 23 Jan 1990 17:12

Re: Compilers for breadth first search and bottom up computation ?
By: Brad Taplin on Mon, 22 Jan 1990 16:33

Re: unification in Prolog II
By: Olivier Ridoux on Wed, 17 Jan 1990 09:47

Re: unification in Prolog II
By: Denys Duchier on Tue, 16 Jan 1990 21:41

Visiting Scientist Position in Logic Programming ...
By: Jimmy Lee on Tue, 16 Jan 1990 06:15

unification in Prolog II
By: Hinrich Schuetze on Tue, 16 Jan 1990 06:03

how to get SB-Prolog using ftp
By: Karen Morrissey on Mon, 15 Jan 1990 18:42

CLP(R)
By: Spiro Michaylov on Sat, 13 Jan 1990 19:18

delayed computation challenge
By: John Cleary on Wed, 13 Dec 1989 04:50

Re: Prefix operators and blanks (was: WG17)
By: Chris Moss on Wed, 13 Dec 1989 13:10

Prolog syntax
By: Subash Shankar on Wed, 13 Dec 1989 21:13

Re: Fun. vs. Logic
By: Bradley L. Richards on Wed, 13 Dec 1989 17:37

Re: Fun. vs. Logic
By: John Cleary on Tue, 12 Dec 1989 04:28

Re: general PROLOG questions
By: Lindsay Groves on Tue, 12 Dec 1989 22:08

MProlog info wanted
By: Timo Knuutila on Tue, 12 Dec 1989 15:01

Re: general PROLOG questions
By: Eric Iverson on Mon, 11 Dec 1989 22:35

Re: general PROLOG questions
By: Matthew Huntbach on Mon, 11 Dec 1989 17:20

Re: general PROLOG questions
By: vincent li on Mon, 11 Dec 1989 04:50

Re: general PROLOG questions
By: Andrew Taylor on Sun, 10 Dec 1989 22:54

Re: Prefix operators and blanks (was: WG17)
By: Aaron Sloman on Sat, 09 Dec 1989 14:18

Re: general PROLOG questions
By: Fernando Pereira on Sat, 09 Dec 1989 06:43

Re: general PROLOG questions
By: Lee Naish on Sat, 09 Dec 1989 04:47

Re: canonical syntax
By: Lee Naish on Sat, 09 Dec 1989 04:21

Re: Prefix operators and blanks (was: WG17)
By: Micha Meier on Fri, 08 Dec 1989 11:36

Re: Ambiguities in WG17's syntax
By: Micha Meier on Fri, 08 Dec 1989 11:12

canonical syntax
By: Mats Carlsson on Fri, 08 Dec 1989 11:58

Re: Prefix operators and blanks (was: WG17)
By: Mats Carlsson on Fri, 08 Dec 1989 07:52

Re: general PROLOG questions
By: Lee Naish on Fri, 08 Dec 1989 07:51

Re: general PROLOG questions
By: Tim_N_Roberts on Thu, 07 Dec 1989 18:01

operators dynamic ?
By: iwanska on Fri, 08 Dec 1989 01:31

pointers to work on dynamic updates
By: Michael De Groot on Fri, 08 Dec 1989 00:25

Re: Prefix operators and blanks (was: WG17)
By: Mats Carlsson on Wed, 06 Dec 1989 08:50

Re: Prefix operators and blanks (was: WG17)
By: Peter G Ludemann on Thu, 07 Dec 1989 07:00

Re: general PROLOG questions
By: Christopher F. Bryden on Wed, 06 Dec 1989 16:53

general PROLOG questions
By: Cs211s65 on Wed, 06 Dec 1989 07:28

Re: Prefix operators and blanks (was: WG17)
By: Lee Naish on Wed, 06 Dec 1989 01:53

GIL, ITS and Cogent Prolog
By: vincent li on Fri, 08 Dec 1989 21:00

Re: Fun. vs. Logic
By: Pat Chkoreff on Fri, 01 Dec 1989 00:25

Prefix operators and blanks (was: WG17)
By: Peter G Ludemann on Mon, 04 Dec 1989 03:05

Ambiguities in WG17's syntax
By: Peter G Ludemann on Mon, 04 Dec 1989 03:03

Netiquette (was: fun with WG17)
By: Peter G Ludemann on Mon, 04 Dec 1989 02:58

prolog and Predicate logic
By: Cs211s65 on Mon, 04 Dec 1989 07:58

Info. wanted on SIMPLE interface to Prolog
By: Peter Evans on Sat, 02 Dec 1989 20:09

SB-Prolog in VMS
By: Guillermo Ricardo Simari on Sat, 02 Dec 1989 14:45

Info on small PD Prolog interpreters
By: Charalambos N. ATHANASSIOU on Fri, 01 Dec 1989 16:08

Problems installing SB Prolog 3.0
By: George Ferguson on Fri, 01 Dec 1989 18:17

Looking for a test site for a Prolog development environment
By: Henk Schouten on Fri, 01 Dec 1989 12:52

Prolog for BSD 4.3 Unix
By: Liz Leboffe on Thu, 30 Nov 1989 19:43