Oldest | Popular
At last, a Prolog newsgroup! (0 replies, 11/29/82)
Prolog reference list (0 replies, 12/01/82)
Prolog on UNIX (0 replies, 12/01/82)
Prolog for the VAX (1 reply, 12/02/82)
Prolog discussion (0 replies, 12/10/82)
Availability of prolog? (1 reply, 12/10/82)
Forwarded from Pereira at SRI (0 replies, 12/11/82)
Adapting PDP-11 Prolog for the VAX (0 replies, 12/11/82)
Adapting PDP-11 Prolog NU-7 for the VAX (0 replies, 12/12/82)
Prolog Systems Available (0 replies, 12/13/82)
Corrections about Prolog Systems (0 replies, 12/16/82)
updated info on a new prolog (1 reply, 12/16/82)
Cprolog is also available for VMS (0 replies, 01/06/83)
Yet another Prolog in C! (0 replies, 01/13/83)
proceedings wanted (0 replies, 01/21/83)
UNH Prolog, some more info (0 replies, 01/23/83)
UNSW Prolog now available (0 replies, 02/03/83)
Prolog in Pascal, and a request (0 replies, 02/14/83)
Prolog methodology (0 replies, 02/14/83)
A puzzle (0 replies, 03/08/83)
2 sources of Prolog information (0 replies, 03/09/83)
Zebra Hint #1 (0 replies, 03/12/83)
Chance to get in on new Computer Language creation ... (0 replies, 03/14/83)
Zebra Clue #2 (0 replies, 03/19/83)
Solution to Who owns the Zebra? (0 replies, 03/28/83)
Another Zebra Solution (0 replies, 03/29/83)
Pereira's solution to the zebra problem (0 replies, 04/04/83)
Zebras (0 replies, 04/07/83)
Zebra correction (0 replies, 04/11/83)
Prolog Compared with Lisp? (0 replies, 04/13/83)
more "Prolog compared with Lisp" (0 replies, 04/22/83)
Wanted: Prolog for UNIX. (1 reply, 04/26/83)
UNIX PROLOG QUERY (0 replies, 04/28/83)
PROLOG-Digest, Vol. 1, Issue 1 (0 replies, 04/29/83)
some simple Prolog utilities... (0 replies, 05/08/83)
appendium to my utilities... (0 replies, 05/08/83)
Fix for asserta bug in UNSW Prolog (0 replies, 05/25/83)
More on LIPS and benchmarking problems (0 replies, 06/01/83)
a different Prolog puzzle (0 replies, 06/02/83)
More on LIPS (0 replies, 06/02/83)
PROLOG Digest V1 #7 (0 replies, 06/03/83)
LIPS again (0 replies, 06/05/83)
PROLOG Digest V1 #8 (0 replies, 06/05/83)
PROLOG Digest V1 #9 (0 replies, 06/13/83)
PROLOG Digest V1 #10 (0 replies, 06/13/83)
Corrected grammar-rule preprocessor for PDP-11 Prolog (0 replies, 06/16/83)
JOB: PROLOG GRAPHICS AT EDINBURGH. (0 replies, 06/17/83)
PROLOG Digest V1 #11 (1 reply, 06/24/83)
prolog usage query (0 replies, 06/30/83)
implementations (0 replies, 06/30/83)
How many Prologs are there? (0 replies, 07/01/83)
PROLOG Digest V1 #13 (0 replies, 07/11/83)
bug in CProlog grammar rules (0 replies, 07/11/83)
CProlog Bug (0 replies, 07/11/83)
Change of address for Claude (0 replies, 07/16/83)
Environment On DEC-20 (0 replies, 07/18/83)
Prolog trace program in net.sources (0 replies, 07/19/83)
Equality In Prolog (0 replies, 07/20/83)
Prolog-20 And C-Prolog Queries (0 replies, 07/21/83)
More On Equal (0 replies, 07/21/83)
Puzzle (0 replies, 07/26/83)
Liars & Truthtellers (0 replies, 07/28/83)
Liars and Truth Tellers (0 replies, 07/29/83)
Shorter Solution To The Liars Puzzle (0 replies, 07/30/83)
Equal On Terms (1 reply, 07/30/83)
Bug in C-Prolog Grammar-Rule Preprocessor (0 replies, 07/30/83)
Puzzle Solution { Liar - Truthteller } (0 replies, 08/02/83)
Prolog For CDC ? (0 replies, 08/03/83)
Prolog type checker submitted to net.sources (0 replies, 08/05/83)
Prolog library wanted for USENET (0 replies, 08/06/83)
More General Liars Puzzle And A Solution (0 replies, 08/11/83)
Second International Logic Programming Conference (1 reply, 08/11/83)
Prolog library (1 reply, 08/15/83)
CProlog contact (1 reply, 08/15/83)
A Pure Prolog Written In Pure Lisp (0 replies, 08/17/83)
Negation Problem And Solution (0 replies, 08/18/83)
There are Prologs and Prologs ... (0 replies, 08/19/83)
Reply To Reply To Not (0 replies, 08/19/83)
New net address for Claude Sammut (0 replies, 08/23/83)
Not Is Not Not (0 replies, 08/23/83)
compiler bug with not? (0 replies, 08/25/83)
Problem With "Not" (1 reply, 08/27/83)
prolog on 68K's (0 replies, 09/01/83)
Lisp Based Prolog (0 replies, 09/01/83)
Compiler bug with + ? Nope. (0 replies, 09/02/83)
Negation problem again (0 replies, 09/07/83)
Another Puzzle (2 replies, 09/17/83)
Solution to Alan Foonberg's Number P (0 replies, 09/17/83)
Introductory prolog references (0 replies, 09/18/83)
Puzzle Solution (1 reply, 09/19/83)
Request for PRESS (0 replies, 09/24/83)
Transitive Closures (1 reply, 09/26/83)
Argonne Reports On Work With Prolog (0 replies, 09/28/83)
Solution to Truthteller Puzzle (0 replies, 09/30/83)
for Fernando Pereira (0 replies, 09/30/83)
Some Thoughts On Assert & Retract (1 reply, 09/30/83)
Good Prolog Implementations (0 replies, 10/01/83)
DEC-10 Prolog Version Of Kornfeld's Prolog-With-Equality (0 replies, 10/04/83)
Defining functor/3 (0 replies, 10/04/83)
Notes About Obtaining Paper Copies of ANL Documents (0 replies, 10/04/83)
COLING 84 Call For Papers (0 replies, 10/06/83)
More On Retract (0 replies, 10/06/83)
Bagof - Falsely So-Called (0 replies, 10/07/83)
Help With Two Prolog Problems (0 replies, 10/11/83)
bagof & setof (0 replies, 10/12/83)
Setof, Bagof et al (0 replies, 10/12/83)
Assert & Retract (0 replies, 10/12/83)
User Convenience Vs. Elegance (0 replies, 10/12/83)
Sackcloth and ashes... (0 replies, 10/12/83)
New Post at Edinburgh AI (0 replies, 10/14/83)
More on findall Vs. bagof (0 replies, 10/14/83)
Elegance and Logical Purity (0 replies, 10/14/83)
The `is_all' Predicate (0 replies, 10/15/83)
The Proposed Solution For `is-all' (0 replies, 10/16/83)
Bagof (0 replies, 10/17/83)
Mixup (0 replies, 10/17/83)
Reply to Dick Gabriel (0 replies, 10/17/83)
Built In Predicates (1 reply, 10/18/83)
Common Lisp Motivation (0 replies, 10/18/83)
More About bagof (0 replies, 10/19/83)
Let's Check Our Code (0 replies, 10/19/83)
Unification Query (0 replies, 10/19/83)
Why Use is_all (0 replies, 10/20/83)
Purity (0 replies, 10/20/83)
What is Prolog/Style vs Convenience (0 replies, 10/20/83)
Purity, Rplaca, and Retract. (0 replies, 10/22/83)
Getting started (0 replies, 10/24/83)
Teaching Prolog (0 replies, 10/25/83)
purity vs convenience, fail vs error (0 replies, 10/26/83)
Please resend foolog source (0 replies, 10/27/83)
Reply To My Critics (0 replies, 10/31/83)
Reply About Reasonable Prolog Implementations (0 replies, 10/31/83)
Reply to Steve Hardy's Points (0 replies, 11/01/83)
Use of Assert (1 reply, 11/01/83)
POPLOG (0 replies, 11/01/83)
'setof' Again ... (0 replies, 11/01/83)
WarPlan (0 replies, 11/01/83)
A Reply (0 replies, 11/01/83)
Search for projects on design/simulation software for VLSI (0 replies, 11/02/83)
Error Handling (0 replies, 11/02/83)
What Should Rename Do ? (0 replies, 11/02/83)
Database Hacking Ideas (0 replies, 11/03/83)
Purity of =.. (0 replies, 11/03/83)
Referential Transparency (0 replies, 11/04/83)
Prolog I/O (0 replies, 11/04/83)
Adding an Algorithmic Capability to Prolog (0 replies, 11/04/83)
Speed of Waterloo Prolog (0 replies, 11/05/83)
Stalking The Gigalip (0 replies, 11/05/83)
Univ Continued, Partitioned Data Bases (0 replies, 11/05/83)
LP Library Updates (0 replies, 11/06/83)
Database Hacking Ideas In Prolog (0 replies, 11/07/83)
I/O (0 replies, 11/07/83)
Imperative Prolog, P (0 replies, 11/07/83)
More on Referential Transparency of =.. (0 replies, 11/08/83)
Modules, and Algorithms (0 replies, 11/09/83)
Purity, Again (0 replies, 11/10/83)
Request For Utilities (0 replies, 11/10/83)
Logic Programs with Uncertainties (0 replies, 11/11/83)
Breadth First Searching and Databases (0 replies, 11/13/83)
Problem with Horn Clauses. (0 replies, 11/15/83)
Uncertainties, Breadth-First Search (0 replies, 11/15/83)
Interest in Concurrent Prolog (0 replies, 11/16/83)
Adding an Algorithmic Capability to (0 replies, 11/18/83)
Breadth-first Search (0 replies, 11/21/83)
List of available Prolog implementations (0 replies, 11/21/83)
Short Form (0 replies, 11/22/83)
Rule-Based Algorithm (1 reply, 11/24/83)
Logic Programming Database (1 reply, 12/12/83)
Logic Programming Conference in Atlantic City (0 replies, 12/15/83)
what I can't do with regular clauses (1 reply, 12/28/83)
The Great PROLOG Survey!! (0 replies, 01/06/84)
Administration (0 replies, 01/06/84)
The Lamps Puzzle. (0 replies, 01/08/84)
IEEE Logic Prog. Symposium (0 replies, 01/12/84)
Journal of Automated Reasoning (0 replies, 01/12/84)
IEEE Logic Prog. Symp. (0 replies, 01/14/84)
Request for AI info. (0 replies, 01/16/84)
Orphaned Response (0 replies, 01/21/84)
A Seminar Announcement (0 replies, 01/21/84)
Theorem about Groups. (0 replies, 01/24/84)
Arrays (3 replies, 01/26/84)
Sets in Prolog (0 replies, 01/27/84)
Arrays in Prolog (1 reply, 01/27/84)
Graph searching in Prolog (0 replies, 01/28/84)
Ken Forbus's Arrays (0 replies, 01/28/84)
More on Sets and Hashing (0 replies, 01/28/84)
Women, again ! (0 replies, 01/30/84)
Marcel's Dilemma (2 replies, 01/31/84)
Prolog under unix (0 replies, 02/01/84)
LP Library (0 replies, 02/01/84)
Looking for PROLOG? (0 replies, 02/02/84)
Natural Language and Logic Programming (0 replies, 02/03/84)
1984 LISP Conference submissions deadline moved back (0 replies, 02/09/84)
Clocksin & Mellish text (1 reply, 02/15/84)
Lamps Puzzle productions (1 reply, 02/18/84)
need Prolog references (0 replies, 02/27/84)
AI (0 replies, 02/28/84)
prolog mode for emacs (0 replies, 03/02/84)
Compiling Prolog (0 replies, 03/06/84)
Realities of Prolog implementation (0 replies, 03/11/84)
It's in the Air (0 replies, 03/16/84)
It"s in the Air (0 replies, 03/19/84)
Whose Reality? (0 replies, 03/19/84)
Compiling UNSW Prolog under 4.2bsd (0 replies, 03/20/84)
Prolog vs Lisp (1 reply, 03/27/84)
Automated Reasoning (0 replies, 03/28/84)
New books on Prolog? (0 replies, 03/29/84)
Reply to Yoav Shoham (0 replies, 03/31/84)
more on PROLOG books (0 replies, 04/03/84)
on Prolog books (0 replies, 04/03/84)
A coding trick for grammar rules. (0 replies, 04/04/84)
Compilers & Interpreters and copying terms (0 replies, 04/05/84)
Prolog vs. Pascal (0 replies, 04/09/84)
New Prolog library file (0 replies, 04/12/84)
Expert Database Systems Workshop (1 reply, 04/12/84)
Why I think partitions are faster than tagging. (4 replies, 04/16/84)
Symbolics Lisp machines (0 replies, 04/17/84)
DARPA Sets Expert System Goals (0 replies, 04/18/84)
Wanted: Prolog course or books (0 replies, 04/19/84)
Prolog course (0 replies, 04/23/84)
Where can I get micro-prolog? (0 replies, 04/30/84)
Breadth-First Traversal: O (1 reply, 05/02/84)
Prolog/KR on Symbolics (0 replies, 05/10/84)
Concatenate -- four steps at a time (0 replies, 05/15/84)
IEEE Workshop on Languages for Automation (0 replies, 05/15/84)
Multiple copies of VolumeII, #20 (0 replies, 05/21/84)
PROLOG Interpreter for Cyber 170/750 ? (0 replies, 05/22/84)
MicroPROLOG and LISP for the Rainbow? (0 replies, 05/25/84)
Syntax... (0 replies, 05/26/84)
MicroPROLOG and LISP under Rainbow (0 replies, 06/02/84)
BF search of SLD tree: Solution (3 replies, 06/07/84)
LP - Library Update (0 replies, 06/10/84)
Updates from the Weizmann Institute (0 replies, 06/12/84)
Arbitrary arity for predicates (0 replies, 06/12/84)
CProlog and malloc 'bug' fix (0 replies, 06/13/84)
Fast list reverse (1 reply, 06/14/84)
Prolog on CDC NOS/BE??? (0 replies, 06/15/84)
Something about prolog.. (0 replies, 06/15/84)
LP Library - Update (0 replies, 06/18/84)
Syntax again (1 reply, 06/20/84)
>4 Logic Prog Newsletters? (0 replies, 06/21/84)
definiton of LIPS (0 replies, 06/22/84)
Need info on public domain prolog for Unix (0 replies, 06/27/84)
Definite Clause Grammars (0 replies, 06/27/84)
none (1 reply, 07/03/84)
LP Library Update (6 replies, 07/09/84)
Yet another new language ? (0 replies, 07/10/84)
Shortage of Logic Programmers? (1 reply, 07/11/84)
some path to ICOT (0 replies, 07/12/84)
A Cautionary tale. (1 reply, 07/13/84)
Prolog Humor (0 replies, 07/14/84)
micro-PROLOG found! (0 replies, 07/15/84)
'Beginnning MICRO-PROLOG', review (0 replies, 07/15/84)
MPROLOG (0 replies, 07/16/84)
Query (0 replies, 07/16/84)
Some communication path to ICOT (0 replies, 07/17/84)
Looking for Micro-Prolog (1 reply, 07/23/84)
request for advice (0 replies, 07/25/84)
FAIM, and Arrays (0 replies, 07/26/84)
Correction to Prolog List (0 replies, 08/02/84)
an update to LIST-OF-PROLOGS (0 replies, 08/03/84)
Cohen's arrays (0 replies, 08/04/84)
Readers and Writers in Logic? (0 replies, 08/07/84)
WHO OWNS THE ZEBRA, solution in Prolog (0 replies, 08/08/84)
1985 Symposium on Logic Programming (0 replies, 08/08/84)
How should Prolog handle graphics? (0 replies, 08/11/84)
Update (0 replies, 08/13/84)
Driving Terminals from Prolog (0 replies, 08/15/84)
The Readers and Writers Problem (0 replies, 08/16/84)
expert system ``planner'' wanted (0 replies, 08/23/84)
YACC/LEX grammar for Prolog? or Prolog-Prolog (0 replies, 08/28/84)
prolog/lisp/robotics - query (0 replies, 09/03/84)
New Prolog Type Test (0 replies, 09/06/84)
Transport Syntax (1 reply, 09/09/84)
Availability of a GPSG system in Prolog (0 replies, 09/14/84)
Interpreting Kastner's Preference Rules in Prolog (0 replies, 09/15/84)
A Hack for DEC-10 Prolog Input (1 reply, 09/17/84)
From the "Alvey News" August 84 (0 replies, 09/21/84)
Need Info on Prolog Implementations (0 replies, 09/23/84)
metering Prolog performance: LIPS? (2 replies, 10/01/84)
Old PROLOG Digests, Structure Editor WANTED (0 replies, 10/03/84)
Need Prolog Parser (0 replies, 10/03/84)
"LM-Prolog (0 replies, 10/06/84)
1985 Symposium (2 replies, 10/06/84)
LMI (0 replies, 10/08/84)
Lawrence Byrd's 4 port model, reference ????? (0 replies, 10/16/84)
Prologs for 68000 (0 replies, 10/19/84)
Prologs for IBM-PC, PDP-11, or VM/370 needed (0 replies, 10/26/84)
UNSW Prolog (0 replies, 11/05/84)
AI opportunities (0 replies, 11/15/84)
Foundations of Logic Programming (0 replies, 11/20/84)
wanted: recommendations for UNIX LISP and PROLOG implementations (0 replies, 11/28/84)
Quintus Prolog (0 replies, 11/30/84)
Wanted: info about lisp/prolog performance (0 replies, 12/06/84)
Prolog for unix? (1 reply, 12/08/84)
Prolog-86 bug. (0 replies, 12/08/84)
Info about PROLOG-86 (1 reply, 12/12/84)
I want informations about Logic conferences (0 replies, 12/31/84)
another contest (0 replies, 12/31/84)
Mprolog, Waterloo Prolog (0 replies, 01/02/85)
Fifth Degeneration Project (0 replies, 01/07/85)
22 Dec 84 (0 replies, 01/10/85)
Any prolog out there? (0 replies, 01/10/85)
Prolog in Lisp (1 reply, 01/17/85)
FUNCTIONAL PROGRAMS SOUGHT FOR ANALYSIS (0 replies, 01/25/85)
Prolog book info request (0 replies, 01/30/85)
foolog prolog (2 replies, 02/13/85)
list of prolog... (0 replies, 02/14/85)
Language Idioms (5 replies, 02/19/85)
Clocksin & Mellish (0 replies, 02/19/85)
Functional and logic programming (0 replies, 02/25/85)
PROLOG in Dr. Dobb's Journal (0 replies, 02/27/85)
PROLOG Digest V3 #6 (0 replies, 02/28/85)
A bug with general interest in C-Prolog 1.4a (0 replies, 03/01/85)
PROLOG for the Mac (1 reply, 03/04/85)
PROLOG Digest V3 #7 (0 replies, 03/05/85)
Definition of 'numbervars/3' (0 replies, 03/05/85)
Prolog/Logic Programming texts? (0 replies, 03/06/85)
PROLOG Digest V3 #8 (0 replies, 03/11/85)
CP semantics (0 replies, 03/12/85)
PROLOG Digest V3 #9 (0 replies, 03/18/85)
Prolog V (0 replies, 03/18/85)
PROLOG Digest V3 #10 (0 replies, 03/20/85)
Does the cut do too much? (0 replies, 03/20/85)
pd Prolog? (2 replies, 03/21/85)
retract (0 replies, 03/21/85)
PROLOG Digest V3 #11 (0 replies, 03/22/85)
Prolog in C wanted (1 reply, 03/23/85)
I want a C-Prolog implementation manual (0 replies, 03/25/85)
PROLOG Digest V3 #12 (0 replies, 03/25/85)
PROLOG Digest V3 #13 (0 replies, 03/26/85)
PROLOG Digest V3 #14 (0 replies, 03/27/85)
PROLOG Digest V3 #15 (0 replies, 03/28/85)
text search and prolog (0 replies, 03/29/85)
Good price on LPA's Prologs & APES (0 replies, 04/01/85)
PARALOG (0 replies, 04/02/85)
Wanted: info on implementations of D.H.D. Warren's Prolog machine (0 replies, 04/03/85)
PROLOG Digest V3 #16 (0 replies, 04/08/85)
PROLOG Digest V3 #17 (0 replies, 04/09/85)
List-of-PROLOGs (2 replies, 04/10/85)
PROLOG Digest (0 replies, 04/11/85)
PROLOG Digest V3 #18 (0 replies, 04/12/85)
Warren's Warplan program (0 replies, 04/13/85)
Answer to Allen VanGelder's riddle (0 replies, 04/14/85)
PROLOG Digest V3 #19 (0 replies, 04/17/85)
Product announcement: PROLOG Interpreter/Compiler for IBM-PCs (0 replies, 04/24/85)
Naive (0 replies, 04/29/85)
PROLOG Digest V3 #20 (0 replies, 05/01/85)
Looking for archived net. prolog and ai (0 replies, 05/02/85)
Prolog on Apollos (1 reply, 05/03/85)
PROLOG Digest V3 #21 (0 replies, 05/06/85)
PROLOG Digest V3 #22 (0 replies, 05/07/85)
Anyone interested in prolog and translation into/out of Esperanto? (2 replies, 05/10/85)
New Book (0 replies, 05/10/85)
Cybernetics conference in Esperanto: InterKibernetik '85 (0 replies, 05/13/85)
query about prolog for unix vax 11/780. (0 replies, 05/15/85)
Schedule -- 1985 Symposium on L.P. (0 replies, 05/17/85)
PROLOG Digest V3 #23 (0 replies, 05/20/85)
Suggestions wanted for Prolog implementation of income tax rules (0 replies, 05/20/85)
Wanted: source for Shapiro's Algorithmic Debugging system (0 replies, 05/23/85)
PROLOG Digest V3 #24 (0 replies, 05/23/85)
Expert Systems Opportunity (0 replies, 05/23/85)
PROLOG Digest V3 #25 (0 replies, 05/24/85)
request for expert systems (0 replies, 05/24/85)
Prolog-based Expert System Development Tools (0 replies, 05/29/85)
Performance measurement (0 replies, 06/03/85)
Event handling in Prolog (1 reply, 06/03/85)
Info on ARITY Prolog (0 replies, 06/07/85)
PROLOG Digest V3 #26 (0 replies, 06/10/85)
Thanks for info. (0 replies, 06/11/85)
Correction to the LIST of PROLOGs (0 replies, 06/12/85)
KBS/DBS Coupling (0 replies, 06/14/85)
PARLOG system available (0 replies, 06/15/85)
AI and OS software engineering positions (0 replies, 06/18/85)
Request for UNSW interp. help (1 reply, 06/18/85)
PROLOG Digest V3 #27 (0 replies, 06/24/85)
PROLOG Digest V3 #28 (0 replies, 06/25/85)
What are LIPS? (0 replies, 06/27/85)
PARLOG system for C-Prolog (0 replies, 06/27/85)
Investigating implementations of cut (0 replies, 06/28/85)
Bugs, and more bugs... (4 replies, 07/03/85)
PROLOG Digest V3 #29 (0 replies, 07/08/85)
A standard syntax for Prolog (1 reply, 07/08/85)
Prolog syntax (1 reply, 07/08/85)
PROLOG Digest V3 #30 (0 replies, 07/09/85)
Prolog -> C ? (0 replies, 07/10/85)
TRO for C-Prolog? (0 replies, 07/11/85)
PARLOG for C-Prolog - list of built-in predicates (0 replies, 07/12/85)
PARLOG addendum for C-Prolog versions (0 replies, 07/12/85)
PROLOG Digest V3 #32 (0 replies, 07/15/85)
evaluation of Lisp machines (4 replies, 07/18/85)
PROLOG Digest V3 #33 (0 replies, 07/22/85)
Prolog: first order?? (5 replies, 07/23/85)
Request for PROLOG Benchmarks (0 replies, 07/25/85)
PROLOG Digest V3 #34 (0 replies, 07/29/85)
IQLisp, GCLisp, & Arity Prolog query (0 replies, 08/01/85)
PROLOG Digest V3 #35 (0 replies, 08/06/85)
Prolog based Software Specification Language (0 replies, 08/11/85)
Program Specification Languages (0 replies, 08/11/85)
Supplement to C-Prolog manual (0 replies, 08/12/85)
PROLOG Digest V3 #36 (1 reply, 08/20/85)
Specification and the Synthesis of Logic Programs (2 replies, 08/21/85)
Xerox announces Quintus Prolog (0 replies, 08/22/85)
PROLOG Digest V3 #37 (0 replies, 08/24/85)
Prolog availability (0 replies, 08/30/85)
prolog questions (1 reply, 09/02/85)
Moss test results for MProlog (0 replies, 09/04/85)
On Hewitt's "Prolog and logic programming will fail ..." (0 replies, 09/05/85)
Looking for MS-DOS Prolog & Gen. Aid (0 replies, 09/10/85)
Prolog-course (0 replies, 09/17/85)
What is the best PROLOG for an IBM-PC/AT? (0 replies, 09/19/85)
DCGs + Left Recursion = (1 reply, 09/23/85)
A set of Prolog benchmarks... (0 replies, 09/24/85)
Symbolics Prolog (0 replies, 09/24/85)
PROLOG Digest V3 #38 (0 replies, 09/25/85)
PROLOG Digest V3 #39 (0 replies, 09/25/85)
Prolog for Apple IIe (0 replies, 09/26/85)
PROLOG Digest V3 #40 (0 replies, 09/27/85)
PROLOG Digest V3 #41 (0 replies, 09/29/85)
Call for Papers (1 reply, 10/04/85)
PROLOG Digest V3 #42 (0 replies, 10/08/85)
An exciting game in PROLOG (1 reply, 10/13/85)
BUFFALO AI COLLOQUIUM (0 replies, 10/18/85)
IBM PC Prolog Compilers (0 replies, 10/18/85)
profiling prolog programs? (0 replies, 10/21/85)
PROLOG Digest V3 #43 (0 replies, 10/22/85)
Prolog Mode for GNU-Emacs (0 replies, 10/23/85)
BNF (0 replies, 10/29/85)
Lisp vs. Prolog (0 replies, 10/31/85)
Lisp wanted for IBM PCs (0 replies, 10/31/85)
Tests for assert and retract (0 replies, 11/01/85)
Prolog V for IBM PC (1 reply, 11/02/85)
Expert System and/or tools wanted (0 replies, 11/05/85)
Prolog V/Prolog V+ address (0 replies, 11/07/85)
PROLOG Digest V3 #44 (0 replies, 11/10/85)
Prolog System Programmer for POPLOG - University of Sussex (0 replies, 11/11/85)
prolog on System V (0 replies, 11/12/85)
Sequentiality of unification vs. parallel Prolog (1 reply, 11/21/85)
Prolog for AT&T 3B line? (0 replies, 11/27/85)
"name" and type conversion (2 replies, 11/28/85)
lint for prolog (1 reply, 11/28/85)
Prolog system programmer required (0 replies, 11/29/85)
Prolog programs needed (0 replies, 12/06/85)
Prolog for HP9000 (1 reply, 12/13/85)
Jobs in POPLOG Development team. Manager and Programmers (0 replies, 12/16/85)
Prolog parser needed (0 replies, 01/02/86)
Urgent help needed on PROLOG thesis (0 replies, 01/07/86)
Symposium on Logic Programming (0 replies, 01/07/86)
PROLOG Digest V4 #1 (0 replies, 01/11/86)
PROLOG Digest V4 #2 (0 replies, 01/13/86)
PROLOG Digest V4 #3 (0 replies, 01/14/86)
Request for Prolog Versions (0 replies, 01/16/86)
PROLOG and neural modeling. (0 replies, 01/16/86)
micro-Prolog (1 reply, 01/17/86)
PROLOG Digest V4 #4 (0 replies, 01/18/86)
tutorial on Prolog (0 replies, 01/18/86)
BNF for Prolog wanted (0 replies, 01/23/86)
PROLOGs on HP 9000 computers (0 replies, 01/24/86)
PROLOG Digest V4 #5 (1 reply, 01/27/86)
PROLOG Digest V4 #6 (0 replies, 01/29/86)
Prolog compiler info. wanted (1 reply, 02/03/86)
Modula-Prolog available from UNC-Chapel Hill (0 replies, 02/04/86)
PROLOG Digest V4 #7 (1 reply, 02/04/86)
Prolog (1 reply, 02/07/86)
PROLOG Digest V4 #8 (0 replies, 02/10/86)
Expert Database Systems Conference -- Advance Program & Registration (0 replies, 02/12/86)
recorda,recorded,erase--behavior (1 reply, 02/14/86)
Prolog to C (0 replies, 02/15/86)
Prolog for the Apple II+/e (0 replies, 02/16/86)
WANTED: PROLOG SPEAKER, SAN DIEGO, JUNE 6 (0 replies, 02/16/86)
Arity/Prolog 4.0 users out there? (0 replies, 02/21/86)
Request for info on CERES and/or the CASCADE project (0 replies, 02/26/86)
C-Prolog on Gould? (0 replies, 02/27/86)
PROLOG Digest V4 #10 (0 replies, 03/06/86)
PROLOG Digest V4 #11 (1 reply, 03/10/86)
Prolog compilation? (0 replies, 03/11/86)
query: Prolog V+ from Chalcedony Software. (0 replies, 03/14/86)
Prolog compilers/interpreters for IBM-PC (0 replies, 03/15/86)
new Prolog textbook/tutorial software (0 replies, 03/17/86)
Making Recursion Affordable in Prolog ? (1 reply, 03/19/86)
PROLOG on Symbolics (2 replies, 03/20/86)
Turbo Prolog (4 replies, 03/21/86)
Turbo X, for all X (0 replies, 03/21/86)
DEC PRO350, PRO380 software (0 replies, 03/22/86)
Artificial Intelligence Forum (1 reply, 03/26/86)
PROLOG Digest V4 #12 (0 replies, 03/31/86)
Where to get C-Prolog and other Prologs. (0 replies, 03/31/86)
Concurrent Prolog (7 replies, 04/01/86)
Prolog Hacker Tricks (1 reply, 04/06/86)
VMS/Prolog wanted (4 replies, 04/07/86)
LIST of PROLOGs (4 replies, 04/09/86)
References Part 1 (0 replies, 04/09/86)
References Part 2 (0 replies, 04/09/86)
References Part 3 (0 replies, 04/09/86)
References Part 4 (0 replies, 04/09/86)
translation wanted (0 replies, 04/10/86)
Concurrent Prolog Compiler Wanted (0 replies, 04/10/86)
r (0 replies, 04/11/86)
Writing parsers in Prolog (0 replies, 04/11/86)
PORT PROLOG (0 replies, 04/15/86)
References (2 replies, 04/16/86)
Prolog Benchmarks (0 replies, 04/18/86)
3rd. Int. Logic Programming Conf. (0 replies, 04/23/86)
PARLOG for Unix (0 replies, 04/23/86)
Benchmarking Prolog Systems (2 replies, 04/29/86)
Would the Real Prolog Please Stand Up? (0 replies, 05/06/86)
Prolog programmers (1 reply, 05/13/86)
HELP!!!!! (0 replies, 05/14/86)
Help - how do I avoid circularity here? (1 reply, 05/15/86)
New book: Prolog for AI (0 replies, 05/16/86)
a review of Turbo Prolog (1 reply, 05/16/86)
Expert Systems (1 reply, 05/17/86)
Stanford Score repository (0 replies, 05/17/86)
Arity Standard Prolog (0 replies, 05/19/86)
Prolog and Thank you (0 replies, 05/22/86)
PROLOG Digest V4 #14 (2 replies, 05/23/86)
Reduce? (0 replies, 05/24/86)
Request for information (0 replies, 05/25/86)
PROLOG Digest V4 #15 (0 replies, 05/27/86)
miscellany re income tax planning s (0 replies, 05/28/86)
SLP '86 Program (0 replies, 05/29/86)
eliminating duplicate solutions in Prolog (1 reply, 05/31/86)
Depth First Iterative Deepening in (0 replies, 06/02/86)
flames over a DFID PROLOG question (0 replies, 06/02/86)
flames about a DFID PROLOG question (0 replies, 06/02/86)
miscellany re income tax planning system (2 replies, 06/02/86)
Examples of logical variables (1 reply, 06/03/86)
Prolog test suite wanted (0 replies, 06/03/86)
TRO in C-Prolog (0 replies, 06/03/86)
Monkeys & bananas (0 replies, 06/04/86)
Prolog for Macintosh (0 replies, 06/05/86)
prolog for ibm pc? (0 replies, 06/06/86)
PROLOG Digest V4 #16 (1 reply, 06/06/86)
Prolog Standardization (0 replies, 06/06/86)
PROLOG Digest V4 #17 (0 replies, 06/07/86)
Prolog on Pyramid 900 Series (0 replies, 06/08/86)
AI software for MS-DOS (0 replies, 06/09/86)
PROLOG Digest V4 #18 (0 replies, 06/10/86)
looking for (0 replies, 06/10/86)
Depth First Iterative Deepening in parallel PROLOGs (5 replies, 06/11/86)
C-Prolog fix for VMS 4.2? (0 replies, 06/11/86)
PROLOG Digest V4 #21 (0 replies, 06/12/86)
LIPS (0 replies, 06/13/86)
P-Shell Query (0 replies, 06/14/86)
Prolog on Common Lisp (0 replies, 06/14/86)
PROLOG for course (0 replies, 06/19/86)
PROLOG Digest V4 #23 (2 replies, 06/19/86)
TOO MUCH TRAFFIC (1 reply, 06/20/86)
York Portable Prolog and the p-syst (0 replies, 06/21/86)
Cut, var, nonvar, and Goebel's stardom (1 reply, 06/25/86)
PROLOG Digest V4 #22 (2 replies, 06/25/86)
Standard behavior? (28 replies, 06/25/86)
looking for Prolog (9 replies, 06/26/86)
Defining var (0 replies, 06/26/86)
Puzzel grammars (0 replies, 06/27/86)
"assert" considered harmful? (7 replies, 06/29/86)
BENCHMARKING PROLOG SYSTEMS, PART 2 (0 replies, 07/02/86)
BENCHMARKING PROLOG SYSTEMS, PART3 (0 replies, 07/02/86)
Logical? (0 replies, 07/02/86)
Overlay in Turbo Prolog? (0 replies, 07/04/86)
Degrees of provability - Re: "assert" considered harmful? (1 reply, 07/07/86)
cputime in UNSW prolog? (1 reply, 07/07/86)
Cut, var, nonvar, and Goebel's (1 reply, 07/09/86)
IRS and expert systems (0 replies, 07/10/86)
Syntax variant tests (0 replies, 07/11/86)
New List syntax (0 replies, 07/11/86)
BENCHMARKING PROLOG SYSTEMS, PART 1 of 3 (1 reply, 07/12/86)
Fix for c-prolog under VMS 4.2 (0 replies, 07/12/86)
Seeking PRESS (0 replies, 07/14/86)
query--obtaining cprolog (0 replies, 07/16/86)
jobs in AI group at Sussex University (1 reply, 07/17/86)
A fix for C-Prolog Ctrl-C handler problem (0 replies, 07/18/86)
PROLOG Digest V4 #32 (0 replies, 08/02/86)
Chat-80 Source? (0 replies, 08/04/86)
PROLOG Digest V4 #33 (0 replies, 08/06/86)
How should I do this? (1 reply, 08/07/86)
PROLOG Digest V4 #34 (0 replies, 08/07/86)
PROLOG Digest V4 #35 (0 replies, 08/10/86)
PROLOG Digest V4 #36 (0 replies, 08/12/86)
Farmer Puzzle (0 replies, 08/13/86)
PROLOG Digest V4 #37 (0 replies, 08/13/86)
PROLOG Digest V4 #38 (0 replies, 08/15/86)
lemmas (3 replies, 08/18/86)
PROLOG Digest V4 #39 (0 replies, 08/18/86)
Knights and Knaves (0 replies, 08/19/86)
PROLOG Digest V4 #40 (0 replies, 08/20/86)
Dave Plummer's bagof query (1 reply, 08/22/86)
PROLOG Digest V4 #41 (0 replies, 08/23/86)
PROLOG Digest V4 #42 (0 replies, 08/26/86)
PROLOG Digest V4 #43 (0 replies, 08/26/86)
PROLOG Digest V4 #44 (0 replies, 08/26/86)
PROLOG Digest V4 #45 (0 replies, 08/29/86)
Answer to fixed-points query of #41 (0 replies, 08/31/86)
PROLOG Digest V4 #46 (0 replies, 09/01/86)
fixed points (1 reply, 09/02/86)
Anwers: Knights and Knaves (0 replies, 09/04/86)
PROLOG Digest V4 #47 (0 replies, 09/06/86)
New deadline for HP contest (0 replies, 09/08/86)
<PROLOG> at SU-SCORE (0 replies, 09/09/86)
C-prolog, MU-prolog, Quintus prolog (0 replies, 09/09/86)
SLP '86 (0 replies, 09/10/86)
PROLOG Digest V4 #48 (0 replies, 09/10/86)
Question - Control Structures and Parallelism (0 replies, 09/10/86)
Bug in Turbo Prolog (2 replies, 09/11/86)
PROLOG Digest V4 #49 (0 replies, 09/12/86)
PROLOG Digest V4 #50 (0 replies, 09/14/86)
Graphics for C-Prolog on the SUN (0 replies, 09/15/86)
Turbo Prolog and MS Fortran (0 replies, 09/16/86)
PROLOG Digest V4 #51 (0 replies, 09/17/86)
PROLOG Digest V4 #52 (0 replies, 09/22/86)
"For All" in Prolog - Thanks (0 replies, 09/23/86)
PROLOG Digest V4 #53 (0 replies, 09/24/86)
PROLOG Digest V4 #54 (0 replies, 09/25/86)
Digitalk Smalltalk for the PC (1 reply, 10/05/86)
New Book on Prolog Multiprocessors (0 replies, 10/07/86)
help needed (2 replies, 10/09/86)
opinions on Prolog books requested (0 replies, 10/10/86)
C-Prolog Porting Problems (0 replies, 10/15/86)
Request for reposting prolog benchmark programs (0 replies, 10/15/86)
PROLOG Digest V4 #55 (0 replies, 10/16/86)
Info on Wisdom Prolog Wanted (0 replies, 10/16/86)
PROLOG Digest V4 #56 (0 replies, 10/17/86)
VMS implementations of Prolog (0 replies, 10/17/86)
Query: Prolog for the Macintosh (0 replies, 10/20/86)
Public Domain Prolog (0 replies, 10/22/86)
PROLOG Digest V4 #60 (0 replies, 10/23/86)
ifprolog. (2 replies, 10/24/86)
PROLOG Digest V4 #62 (0 replies, 10/27/86)
Prolog II - any info? (0 replies, 10/27/86)
Wisdom Prolog - Info Wanted (0 replies, 10/29/86)
PROLOG Digest V4 #63 (0 replies, 11/01/86)
More on Prolog II (0 replies, 11/03/86)
PROLOG Digest V4 #64 (0 replies, 11/04/86)
CAEDE -- CArleton Embedded Design Environment, Availability (0 replies, 11/04/86)
Prolog theorem prover (0 replies, 11/04/86)
PROLOG Digest V4 #65 (0 replies, 11/05/86)
PROLOG Digest V4 #66 (0 replies, 11/05/86)
PROLOG Digest V4 #67 (0 replies, 11/06/86)
net.lang.prolog is being renamed comp.lang.prolog (0 replies, 11/07/86)
Interesting Cprolog 1.5 bug (0 replies, 11/09/86)