[..] comp.lang.prolog

Oldest | Popular

AI Machine Performance (0 replies, 11/07/86)

net.lang.prolog is being renamed comp.lang.prolog (0 replies, 11/07/86)

PROLOG Digest V4 #68 (0 replies, 11/08/86)

Changing from DOS to XENIX and from XENIX to DOS (0 replies, 11/11/86)

bad, bad, posting... (0 replies, 11/11/86)

PROLOG Digest V4 #70 (0 replies, 11/12/86)

PROLOG Digest V4 #71 (0 replies, 11/13/86)

PROLOG Digest V4 #72 (0 replies, 11/13/86)

request for public domain prologs (0 replies, 11/13/86)

C-Prolog for VAX/VMS? (1 reply, 11/14/86)

wisdom (0 replies, 11/14/86)

PROLOG Digest V4 #73 (0 replies, 11/16/86)

PROLOG Digest V4 #74 (0 replies, 11/17/86)

PROLOG Digest V4 #75 (0 replies, 11/18/86)

PROLOG Digest V4 #76 (0 replies, 11/20/86)

PROLOG Digest V4 #77 (0 replies, 11/21/86)

Sterling and Shapiro (1 reply, 11/21/86)

PROLOG Digest V4 #78 (0 replies, 11/23/86)

PROLOG Digest V4 #79 (0 replies, 11/23/86)

PROLOG Digest V4 #81 (0 replies, 12/03/86)

Bibliography needed (1 reply, 12/05/86)

PROLOG comment style (0 replies, 12/07/86)

PROLOG Digest V4 #82 (0 replies, 12/07/86)

I need references for good texts... (0 replies, 12/07/86)

PROLOG Digest V4 #80 (2 replies, 12/07/86)

References (0 replies, 12/08/86)

references - A (0 replies, 12/08/86)

references - B (0 replies, 12/08/86)

references - C (0 replies, 12/08/86)

references - E (0 replies, 12/08/86)

references - G (0 replies, 12/08/86)

Computer Technology Symposium - Knowledge Engineering Using Forth (0 replies, 12/09/86)

Public Domain Prolog, second try (0 replies, 12/11/86)

Tech reports (0 replies, 12/15/86)

PROLOG Digest V4 #84 (0 replies, 12/15/86)

PROLOG Digest V4 #85 (0 replies, 12/16/86)

PROLOG Digest V4 #86 (0 replies, 12/17/86)

PROLOG Digest V4 #87 (0 replies, 12/18/86)

PROLOG Digest V4 #88 (0 replies, 12/20/86)

PROLOG Digest V4 #89 (0 replies, 12/21/86)

PROLOG Digest V4 #90 (0 replies, 12/22/86)

Need prolog_lib for UNSW prolog (0 replies, 12/30/86)

Still need bibliography parts (0 replies, 12/30/86)

Call for Papers: ASPLOS-II (0 replies, 01/01/87)

PROLOG Digest V5 #1 (0 replies, 01/09/87)

A little Turbo Prolog joke (0 replies, 01/09/87)

Collecting favorite bug stories (0 replies, 01/10/87)

PROLOG Digest V5 #2 (0 replies, 01/11/87)

PROLOG Digest V5 #3 (0 replies, 01/17/87)

Prolog & Sun3.2 ? (0 replies, 01/21/87)

difference lists (0 replies, 01/22/87)

Need CProlog Tech. Rep. (0 replies, 01/23/87)

PROLOG Digest V5 #4 (0 replies, 01/24/87)

Call for Papers --- ASPLOS-II (0 replies, 01/27/87)

I will be pleased to send my dissertation (0 replies, 01/27/87)

PROLOG Digest V5 #5 (0 replies, 02/01/87)

PROLOG Digest V5 #6 (0 replies, 02/03/87)

prolog information wanted (0 replies, 02/04/87)

ICON Programming Language questions (0 replies, 02/06/87)

Turbo Prolog bug list wanted (0 replies, 02/07/87)

PROLOG Digest V5 #7 (0 replies, 02/08/87)

Prolog debugging (2 replies, 02/09/87)

2nd International Logic Programming Conference? (1 reply, 02/09/87)

Prolog Info Requested (0 replies, 02/11/87)

PROLOG Digest V5 #8 (0 replies, 02/13/87)

A bug (0 replies, 02/13/87)

Thanks for your interest in my thesis about P-Prolog (0 replies, 02/15/87)

PROLOG Digest V5 #9 (0 replies, 02/16/87)

Need bibliography parts (0 replies, 02/16/87)

PROLOG Digest V5 #10 (0 replies, 02/17/87)

91 function (5 replies, 02/18/87)

PARLOG book launches new series (0 replies, 02/18/87)

I will be pleased to send my disser (0 replies, 02/20/87)

UNSW prolog license (0 replies, 02/20/87)

PROLOG Digest V5 #11 (0 replies, 02/22/87)

Prolog for HP-9000 (1 reply, 02/23/87)

Specifying Allocation of Data Areas (2 replies, 02/27/87)

PROLOG Digest V5 #12 (0 replies, 03/04/87)

13th POPL. (0 replies, 03/05/87)

Specifying Allocation of Data Ar (0 replies, 03/05/87)

Graphics Calls for C-Prolog on Sun 2 (0 replies, 03/06/87)

Looking for a Prolog EMYCIN (0 replies, 03/06/87)

seeking dictionary with part-of-speech noted (0 replies, 03/09/87)

C-Prolog on Anonymous FTP anywhere? (1 reply, 03/10/87)

PROLOG Digest V5 #13 (0 replies, 03/11/87)

Search re-organization in Compilation (0 replies, 03/11/87)

Translating into Prolog (0 replies, 03/11/87)

Request fo info on C-Prolog (0 replies, 03/12/87)

PROLOG Digest V5 #14 (0 replies, 03/12/87)

List of Available Prologs (0 replies, 03/15/87)

PROLOG Digest V5 #15 (1 reply, 03/16/87)

OPS5 PUBLIC DOMAIN CODE (0 replies, 03/16/87)

PROLOG Digest V5 #16 (0 replies, 03/16/87)

CProlog* - Availability (0 replies, 03/16/87)

PROLOG Digest V5 #17 (0 replies, 03/17/87)

OK, so what Prolog is good? (5 replies, 03/17/87)

Turbo Prolog problems (0 replies, 03/18/87)

Anyone like MicroProlog Professional? (0 replies, 03/18/87)

OPS5 source (0 replies, 03/19/87)

PROLOG Digest V5 #19 (0 replies, 03/19/87)

PROLOG Digest V5 #18 (1 reply, 03/20/87)

POSTING OPS5 to mod.sources (0 replies, 03/21/87)

PROLOG Digest V5 #20 (0 replies, 03/22/87)

ICLP4 Reminder (0 replies, 03/23/87)

PROLOG Digest V5 #21 (0 replies, 03/23/87)

Expert Systems on AT&T PC6300 (1 reply, 03/23/87)

Unix based prologs (0 replies, 03/24/87)

Transliterating Prolog into Scheme (0 replies, 03/24/87)

Prolog turtles (0 replies, 03/25/87)

English to Prolog (0 replies, 03/26/87)

PROLOG Digest V5 #22 (0 replies, 03/26/87)

PROLOG Digest V5 #23 (0 replies, 03/30/87)

How do you like Turbo-Prolog? (11 replies, 04/01/87)

Prolog control structures (8 replies, 04/04/87)

"Delayed cut" without redundancy and databases (0 replies, 04/04/87)

PROLOG Digest V5 #24 (0 replies, 04/06/87)

XOR without redundancy and databases (1 reply, 04/06/87)

Control Structures (3 replies, 04/08/87)

LIPS estimation (0 replies, 04/10/87)

PROLOG Digest V5 #25 (0 replies, 04/13/87)

PROLOG Digest V5 #26 (0 replies, 04/13/87)

Repost of Prolog request for System V.2 (0 replies, 04/14/87)

C-Prolog Bug Fixes Wanted (2 replies, 04/15/87)

Xmas puzzle solution (0 replies, 04/15/87)

PROLOG Digest V5 #27 (0 replies, 04/16/87)

PD C/Unix source for Prolog? (0 replies, 04/16/87)

OPS5 (0 replies, 04/17/87)

PROLOG Digest V5 #28 (0 replies, 04/20/87)

PROLOG Digest V5 #29 (0 replies, 04/21/87)

tak function (0 replies, 04/23/87)

PROLOG Digest V5 #30 (0 replies, 04/24/87)

compare/3 problem (1 reply, 04/24/87)

cut for meta-interpreter (4 replies, 04/25/87)

PROLOG Digest V5 #31 (0 replies, 04/25/87)

PROLOG Digest V5 #32 (0 replies, 04/30/87)

PROLOG Digest V5 #33 (0 replies, 04/30/87)

PROLOG Digest V5 #34 (0 replies, 05/03/87)

4th International Conference on Logic Programming (0 replies, 05/04/87)

Self reproducing prolog program (0 replies, 05/04/87)

Looking for users of A.D.A. PROLOG (0 replies, 05/04/87)

PROLOG Digest V5 #35 (0 replies, 05/04/87)

self-reproducing Prolog program With Variables (0 replies, 05/05/87)

Expert Systems for networking (0 replies, 05/05/87)

self-reproducing programs (6 replies, 05/05/87)

Self-reproducing Logo program (0 replies, 05/06/87)

side-effects (0 replies, 05/08/87)

A meta puzzle (0 replies, 05/09/87)

I tried to write... (0 replies, 05/10/87)

PROLOG Digest V5 #36 (0 replies, 05/10/87)

Anyone tried to speed up dcg's? (0 replies, 05/12/87)

PROLOG Digest V5 #37 (0 replies, 05/14/87)

PROLOG Digest V5 #38 (0 replies, 05/18/87)

GC test programs wanted (0 replies, 05/19/87)

Chart Parser and Related References (0 replies, 05/20/87)

GNU and Quintus Prolog (0 replies, 05/20/87)

Mike Newton's review of BIMprolog (0 replies, 05/20/87)

prolog for sun (1 reply, 05/21/87)

Chart parsers and PROLOG (2 replies, 05/26/87)

Prolog Interpreter in C Available (1 reply, 05/26/87)

PROLOG Digest V5 #39 (0 replies, 05/28/87)

PROLOG Digest V5 #40 (0 replies, 05/28/87)

Good Prolog Manual/Book (0 replies, 05/29/87)

Expert Systems, Debugging and Porting (0 replies, 06/03/87)

trace a paper (0 replies, 06/11/87)

PROLOG Digest V5 #41 (0 replies, 06/21/87)

Out of global stack problems in CProlog (0 replies, 06/22/87)

PROLOG Digest V5 #42 (0 replies, 06/24/87)

public domain Prolog system available (0 replies, 06/24/87)

copies of prolog benchmarks? (0 replies, 06/24/87)

Out of Stack Errors (0 replies, 06/25/87)

query: structuring sharing vs non-sharing (0 replies, 06/25/87)

Prolog implementation papers (2 replies, 06/26/87)

Out of Stack (0 replies, 06/26/87)

Global Stack Overflow (0 replies, 06/27/87)

Counting things. (1 reply, 07/03/87)

SB-Prolog on an IBM-PC (0 replies, 07/03/87)

public domain Prolog system availabl (0 replies, 07/05/87)

Transputer & PROLOG (0 replies, 07/05/87)

Declarative Languages biblio (0 replies, 07/06/87)

Anyone snarfed sbprolog from arizona? (2 replies, 07/06/87)

How to get Melbourne proceedings? (0 replies, 07/08/87)

Symbolic Integration Program Wanted (0 replies, 07/09/87)

A question on Prolog-10 (0 replies, 07/10/87)

First order theorem prover in C Prolog (0 replies, 07/13/87)

prolog compiler/interpreter (0 replies, 07/13/87)

PROLOG Digest V5 #43 (0 replies, 07/14/87)

Declarative Languages Biblio available via FTP (0 replies, 07/14/87)

PROLOG Digest V5 #44 (0 replies, 07/15/87)

PROLOG Digest V5 #45 (0 replies, 07/15/87)

Prolog riddle (2 replies, 07/16/87)

Behavior of assert and retract (2 replies, 07/16/87)

PROLOG Digest V5 #46 (0 replies, 07/17/87)

PROLOG Digest V5 #47 (0 replies, 07/20/87)

How does one obtain C/Prolog? (2 replies, 07/25/87)

PROLOG Digest V5 #48 (0 replies, 07/27/87)

Garbage Collection in Prolog (1 reply, 07/27/87)

Operator Tests for Prolog (0 replies, 07/27/87)

PROLOG Digest V5 #49 (0 replies, 07/28/87)

PROLOG Digest V5 #50 (0 replies, 07/29/87)

PROLOG Digest V5 #51 (0 replies, 07/30/87)

Algorithmic Program Debugging Code (0 replies, 07/30/87)

Prolog riddle summary (1 reply, 07/31/87)

Prolog terminology (2 replies, 07/31/87)

PROLOG Digest V5 #54 (0 replies, 08/02/87)

FBRL in Prolog (0 replies, 08/05/87)

PROLOG Digest V5 #56 (0 replies, 08/05/87)

Thsn:q (0 replies, 08/07/87)

Apologies for erroneous posting (0 replies, 08/07/87)

multiple copies of a clause in the DB (1 reply, 08/08/87)

PROLOG Digest V5 #57 (0 replies, 08/10/87)

query: prolog for unix machines (1 reply, 08/11/87)

Van Roy Compiler available? (0 replies, 08/19/87)

Linking fortran and turbo-prolog (0 replies, 08/24/87)

Prolog on the Sun (0 replies, 09/02/87)

NEURAL NETWORKS SIMULATIONS IN Smalltalk/LISP/ (1 reply, 09/04/87)

conceptual graphs (0 replies, 09/10/87)

PROLOG Digest V5 #58 (0 replies, 09/14/87)

Information wanted on the Warren Abstract Machine (2 replies, 09/14/87)

PROLOG Digest V5 #59 (0 replies, 09/14/87)

goal-stack accessible ? (0 replies, 09/14/87)

Change of address for Maarten van Emden (0 replies, 09/15/87)

KLIPS (0 replies, 09/15/87)

PROLOG Digest V5 #60 (0 replies, 09/15/87)

Prolog -> C & Goal Stacking (0 replies, 09/16/87)

'how' and 'why' in Prolog (0 replies, 09/17/87)

MU-Prolog (3 replies, 09/19/87)

PROLOG Digest V5 #61 (0 replies, 09/21/87)

PROLOG Digest V5 #62 (0 replies, 09/21/87)

Unification benchmarks? (0 replies, 09/22/87)

PROLOG Digest V5 #63 (0 replies, 09/22/87)

Quintus vs. MU vs. NU Prolog -- Summary (0 replies, 09/23/87)

PROLOG Digest V5 #64 (0 replies, 09/23/87)

PROLOG Digest V5 #65 (0 replies, 09/24/87)

PROLOG Digest V5 #66 (0 replies, 09/26/87)

PROLOG Digest V5 #68 (0 replies, 09/28/87)

CProlog for a HP 9000 running HP-UX (0 replies, 09/28/87)

abstract interpretation (0 replies, 09/29/87)

PROLOG Digest V5 #67 (1 reply, 09/29/87)

Thanks for the sour persimmons cousins (0 replies, 09/29/87)

PROLOG Digest V5 #69 (0 replies, 09/29/87)

PROLOG Digest V5 #70 (0 replies, 09/30/87)

Improving readability with cuts (0 replies, 10/02/87)

Algebraic simplification algorythm wanted. (0 replies, 10/02/87)

O'Keefe's criticism of Lagache's code. (0 replies, 10/02/87)

SICS Prolog (1 reply, 10/05/87)

Prolog Compilers for the PC (1 reply, 10/06/87)

Algebraic simplification algorythm (0 replies, 10/06/87)

PROLOG library (2 replies, 10/06/87)

Thanks for the sour persimmons cousins, list syntax (1 reply, 10/07/87)

list syntax (1 reply, 10/08/87)

Public domain PROLOG available via ftp? (0 replies, 10/08/87)

Parallel Logic Programming (0 replies, 10/09/87)

PROLOG Digest V5 #72 (0 replies, 10/11/87)

A question of terminology (0 replies, 10/12/87)

aggregates (0 replies, 10/13/87)

PROLOG Digest V5 #73 (0 replies, 10/13/87)

argument 2 and 3 of append/3 (0 replies, 10/15/87)

PROLOG Digest V5 #74 (0 replies, 10/17/87)

modules in prolog (1 reply, 10/19/87)

Scheme vs. (0 replies, 10/21/87)

Standard of Prolog code (5 replies, 10/21/87)

Prolog for Sys V R3 (0 replies, 10/22/87)

Prolog Machines (0 replies, 10/23/87)

Suggestions for Course - TurboPr..arrrgh! (0 replies, 10/24/87)

PROLOG Digest V5 #76 (0 replies, 10/24/87)

Prolog compiler written in Prolog (1 reply, 10/25/87)

PROLOG Digest V5 #78 (0 replies, 10/25/87)

PROLOG Digest V5 #79 (0 replies, 10/25/87)

forall/2 and negation as failure (1 reply, 10/26/87)

SBprolog installation problems (1 reply, 10/26/87)

variadic predicates (0 replies, 10/27/87)

end_of_file in BSI proposals (1 reply, 10/28/87)

sbprolog problem (0 replies, 10/29/87)

A parser in Prolog, For HELP (0 replies, 10/30/87)

alternative to trail stack? (0 replies, 10/30/87)

Types Utilizations in Prolog (2 replies, 10/31/87)

Prolog Database System (0 replies, 11/02/87)

Suggestions for Course (11 replies, 11/02/87)

Looking For Prolog Machines (5 replies, 11/03/87)

Doubly-linked list package (0 replies, 11/03/87)

Prolog Partial Evaluation .... (0 replies, 11/03/87)

Preserving side-effects in Intelligent backtracking (0 replies, 11/04/87)

Sources for CProlog (0 replies, 11/07/87)

PROLOG Digest V5 #85 (0 replies, 11/08/87)

Needed: views on Wisdom Prolog (0 replies, 11/13/87)

Badness (3 replies, 11/13/87)

PROLOG Digest V5 #86 (0 replies, 11/13/87)

tail recursion optimization test (0 replies, 11/14/87)

Request: Instruction sets for Prolog (0 replies, 11/16/87)

Integer/floating point type conversion in Prolog (0 replies, 11/17/87)

Comparing numbers (0 replies, 11/17/87)

PROLOG Digest V5 #87 (0 replies, 11/17/87)

Segmenting a Prolog Data Base to Speed Up Search (0 replies, 11/18/87)

Question about prolog-10 syntax (1 reply, 11/19/87)

bug or feature? (0 replies, 11/20/87)

PROLOG Digest V5 #89 (0 replies, 11/22/87)

PROLOG Digest V5 #90 (0 replies, 11/22/87)

self-replicating programs (2 replies, 11/23/87)

PROLOG Digest V5 #91 (0 replies, 11/23/87)

Constraint Logic Programming info sought (1 reply, 11/24/87)

PROLOG Digest V5 #93 (0 replies, 11/25/87)

Theoretical impediments to logic programming? (0 replies, 11/26/87)

PROLOG Digest V5 #94 (0 replies, 11/30/87)

NU-Prolog termCompare/3. (0 replies, 12/03/87)

testing (0 replies, 12/04/87)

Research Fellowship Available (0 replies, 12/08/87)

Arity/Prolog and Microsoft C 5.0? (2 replies, 12/08/87)

PROLOG Digest V5 #95 (0 replies, 12/09/87)

PROLOG Digest V5 #96 (0 replies, 12/11/87)

PD Prolog in C? (1 reply, 12/11/87)

Where do I get a C-Prolog for 3B2, 3B15, Xenix? (0 replies, 12/11/87)

updated list of Prolog implementations... (0 replies, 12/12/87)

LIST-OF-PROLOGs (1 reply, 12/13/87)

PROLOG Digest V5 #97 (0 replies, 12/14/87)

Cprolog -- Where? (0 replies, 12/15/87)

Inductive consequence (0 replies, 12/16/87)

Your Solution.... (0 replies, 12/17/87)

Prolog wanted (0 replies, 12/21/87)

Algorithms for polynomial operations (0 replies, 12/21/87)

PROLOG Digest V5 #98 (0 replies, 12/22/87)

Help with WARPLAN (1 reply, 12/22/87)

Declarative Debugging in Non-standard Logic Programming (0 replies, 12/23/87)

PROLOG Digest V5 #99 (0 replies, 12/24/87)

PROLOG for Ultrix wanted (0 replies, 12/29/87)

PROLOG Digest V5 #100 (0 replies, 12/30/87)

Question on get0/read and call (2 replies, 12/31/87)

PROLOG Digest V6 #1 (0 replies, 12/31/87)

PROLOG Digest V6 #2 (0 replies, 01/03/88)

PROLOG Digest V6 #3 (0 replies, 01/05/88)

Is PRESS available? (0 replies, 01/05/88)

PROLOG Digest V6 #4 (0 replies, 01/06/88)

PROLOG Digest V6 #5 (0 replies, 01/07/88)

Non-classical logics bulletin announcement (0 replies, 01/07/88)

String operations in PROLOG: some comments. (1 reply, 01/07/88)

GNAT -- A number sequence guessing game (0 replies, 01/08/88)

Prolog for SCO Xenix System V (0 replies, 01/12/88)

Quintus Prolog questions. (0 replies, 01/13/88)

Algebraic simplification (0 replies, 01/17/88)

Name that Executable ... C-Prolog Version 1.4 (0 replies, 01/19/88)

CHAT-80 (0 replies, 01/19/88)

Macros in Prolog systems (0 replies, 01/21/88)

Request for prolog code for Stuttgart LFG system (2 replies, 01/22/88)

Cprolog status ?? (0 replies, 01/25/88)

Macintosh Prolog Recommendations (5 replies, 01/25/88)

Object oriented extensions to Prolog (1 reply, 01/26/88)

WISDOM prolog (1 reply, 01/26/88)

PD Prolog for VAX/VMS? (0 replies, 01/28/88)

Public domain (0 replies, 01/28/88)

Request - email address for C-Prolog (0 replies, 01/29/88)

Request - email address Benoit Menendez, HPlabs (0 replies, 01/29/88)

Prolog problem (0 replies, 01/30/88)

LIST-of-PROLOGs available by FTP! (0 replies, 01/30/88)

Do you consider yourself a TURBO PROLOG expert? (1 reply, 01/31/88)

PROLOG, Adventure (0 replies, 02/02/88)

PROLOG, Adventures, EMAIL ADDRESS (0 replies, 02/02/88)

Seen in a time-tabling program (0 replies, 02/05/88)

Prolog efficiency (0 replies, 02/06/88)

Question: Lists or Assert? (1 reply, 02/06/88)

Quicksort Strikes Again! (0 replies, 02/06/88)

Looking for Macintosh Prolog (1 reply, 02/07/88)

ripoff (0 replies, 02/07/88)

PROLOG code formatting (1 reply, 02/08/88)

ProWindows (5 replies, 02/10/88)

Tech. Reports: AND-parallelism & Intelligent Backtracking (0 replies, 02/11/88)

O'Keefe (0 replies, 02/12/88)

META88 -- Workshop on Meta-Programming in Logic Programming (0 replies, 02/12/88)

Perils of spelling checkers (0 replies, 02/15/88)

Another example from that book (0 replies, 02/15/88)

tools & modules in Quintus-Prolog (1 reply, 02/17/88)

Yacc in Prolog, Parsing and Dali (1 reply, 02/18/88)

Fuzzy Logic (1 reply, 02/19/88)

the story so far ... (1 reply, 02/19/88)

Many LIPS (0 replies, 02/21/88)

Escalation (4 replies, 02/22/88)

Prolog interpreter info (0 replies, 02/22/88)

Prolog Grammar Rules (4 replies, 02/25/88)

prolog on apollo (1 reply, 02/25/88)

Prolog Interpreter Source Code (0 replies, 02/27/88)

SBProlog setof bug (1 reply, 03/01/88)

Embarrassingly simple problem (3 replies, 03/02/88)

Simple decomposition and PROLOG (2 replies, 03/03/88)

Change of address: John Lloyd (0 replies, 03/04/88)

Comments of Periera & Shieber wrt Partial Evaluation (1 reply, 03/04/88)

code formatting (13 replies, 03/08/88)

call for votes for sci.logic (0 replies, 03/08/88)

please use Lisp (0 replies, 03/08/88)

Performance Evaluation and Benchmarks (1 reply, 03/09/88)

Prolog for Macintosh - seeking info (0 replies, 03/09/88)

retractall (0 replies, 03/09/88)

Unification with infinite terms (0 replies, 03/09/88)

constraint satisfaction programming (3 replies, 03/10/88)

Triangle Puzzle (7 replies, 03/10/88)

theorem prover of R. Overbeek (5 replies, 03/11/88)

Prolog for the AMIGA (5 replies, 03/11/88)

character type (1 reply, 03/12/88)

Implementation of Prolog in Lisp (0 replies, 03/12/88)

Karnaugh Maps...Help? (0 replies, 03/12/88)

When to use Prolog? (2 replies, 03/12/88)

A users group for people interested in PROLOG (0 replies, 03/14/88)

Minutes of the PROLOG Forum meeting of 3/10/88 (0 replies, 03/14/88)

Destructive predicates (4 replies, 03/14/88)

Evan's puzzle (3 replies, 03/14/88)

I don't understand "precised" (1 reply, 03/16/88)

applications please (0 replies, 03/17/88)

AAIS Prolog for Macintosh (3 replies, 03/17/88)

Logic of Database Updates (0 replies, 03/17/88)

BSI standards (10 replies, 03/17/88)

If-then-else/soft cut (0 replies, 03/17/88)

Programming techniques (0 replies, 03/17/88)

Looking for Mu-Prolog (0 replies, 03/19/88)

Thank you for your interest in the PROLOG Forum (0 replies, 03/21/88)

Seeking opinions on BSI PROLOG standard proposal. (0 replies, 03/21/88)

Lectureships in Information Technology (0 replies, 03/21/88)

end_of_file treatment in prolog (0 replies, 03/22/88)

A Suggested Additional Predicate for Prolog (4 replies, 03/23/88)

Logic of Database Updates, Destructive assignments (1 reply, 03/23/88)

mine embarrassingly simple problem (5 replies, 03/23/88)

expert systems (0 replies, 03/23/88)

Parallel prolog compilers and interpreters (0 replies, 03/23/88)

An Eliza-like problem solving assistant (1 reply, 03/24/88)

Compilation in Trilogy (1 reply, 03/24/88)

Partial evaluation, unfolding (1 reply, 03/26/88)

End-of-file handling (1 reply, 03/26/88)

prolog for VAX 4.3BSD needed (0 replies, 03/26/88)

Another embarassingly simple problem (1 reply, 03/26/88)

Strings (12 replies, 03/27/88)

META88 authors (0 replies, 03/28/88)

My views on developing a PROLOG standard (4 replies, 03/28/88)

Using a backquote to quote the ASCII collating sequence (0 replies, 03/28/88)

Top 25 News Submitters by User for the last 2 weeks (0 replies, 03/29/88)

Symbolic math Package (0 replies, 03/29/88)

Prolog implementations in Lisp (3 replies, 03/29/88)

The LIST-OF-PROLOGs is available from UNC-CH (0 replies, 03/29/88)

BSI Proposal (8 replies, 03/31/88)

BSI syntax (14 replies, 03/31/88)

BSI conversion (0 replies, 03/31/88)

Programming Quickie (6 replies, 04/01/88)

BSI standard, Error trapping, and PROLOG as a "real" language. (1 reply, 04/02/88)

seminar: Providing Modules and Lexical Scoping in Logic Programming (0 replies, 04/05/88)

PROLOG DIGEST V6 #9 (0 replies, 04/05/88)

BSI Prolog standard document (1 reply, 04/05/88)

back_retract (4 replies, 04/05/88)

PROLOG DIGEST V6 #11 (0 replies, 04/07/88)

Declarative Prolog programs (0 replies, 04/07/88)

stonybrook prolog??? + getrusage??? (1 reply, 04/08/88)

PROLOG DIGEST V6 #12 (0 replies, 04/08/88)

setof/bagof (0 replies, 04/08/88)

behavior of read/get0 at end_of_file (19 replies, 04/09/88)

Yet another stupid question (1 reply, 04/09/88)

PROLOG DIGEST V6 #13 (0 replies, 04/09/88)

Advance Program -- 2nd Intl. Conference on Expert Database Systems (0 replies, 04/10/88)

behavior of read/get0 ... (0 replies, 04/10/88)

sbprolog for SCO XENIX 386 (0 replies, 04/11/88)

Prolog as a "real" language (6 replies, 04/12/88)

PROLOG Forum newsletter just about ready for distribution. (0 replies, 04/13/88)

PROLOG DIGEST V6 #14 (0 replies, 04/13/88)

Avoiding duplication (0 replies, 04/13/88)

PROLOG DIGEST V6 #15 (0 replies, 04/14/88)

The Touchstone again (0 replies, 04/15/88)

Arithmetic problems with Quintus Prolog (6 replies, 04/16/88)

vector arithmetic in Prolog (0 replies, 04/16/88)

PROLOG DIGEST V6 #17 (0 replies, 04/17/88)

Prolog to TeX/LaTeX (1 reply, 04/18/88)

tgrind for Prolog to TeX (0 replies, 04/19/88)

PROLOG DIGEST V6 #18 (0 replies, 04/19/88)

reply to quickie (0 replies, 04/19/88)

integers and reals (1 reply, 04/20/88)

PROLOG DIGEST V6 #19 (0 replies, 04/20/88)

Prolog for XENIX needed (0 replies, 04/20/88)

Difference Structures for Different Folks (2 replies, 04/20/88)

Wierd Topological Sort (2 replies, 04/22/88)

help to contact university of Texas at Austin (0 replies, 04/22/88)

R seminar: AURORA - An Or-parallel Prolog System (0 replies, 04/23/88)

help to contact university of Texas (0 replies, 04/24/88)

UNH 1.3 Prolog (1 reply, 04/24/88)

reals and integers (1 reply, 04/25/88)

Attn: Tim Johnson - Others please ignore (0 replies, 04/25/88)

transitive closure again (0 replies, 04/26/88)

Prolog and Databases (0 replies, 04/27/88)

Logic Programming & Object-Oriented Programming? (0 replies, 04/27/88)

info request NEXPERT-OBJECT (0 replies, 04/28/88)

Complexity of DCGs (0 replies, 04/29/88)

Wanted: Info/Experiences w/ A.D.A. Prolog (1 reply, 04/29/88)

determinism, once etc (0 replies, 04/29/88)

deterministic predicates (1 reply, 04/29/88)

Meta-Interpreter for Prolog (0 replies, 04/30/88)

sicstus0.6 (0 replies, 04/30/88)

Difficulty of DCGS -- a clarification (0 replies, 04/30/88)

Thoughts on the standard process and language evolution. (0 replies, 05/01/88)

PROLOG DIGEST V6 #24 (0 replies, 05/01/88)

compatibility/elegance & *theory* (10 replies, 05/05/88)

Using other language modules with AAIS Prolog (0 replies, 05/06/88)

prolog review needed (1 reply, 05/06/88)

Tail Recursive loops <-> Failure Driven loops (1 reply, 05/07/88)

Object-Oriented Programming in Prolog References (2 replies, 05/08/88)

WINDOW MANAGEMENT Software (0 replies, 05/09/88)

UNSW Prolog source code wanted (2 replies, 05/09/88)

Ranges of values in Cprolog (6 replies, 05/09/88)

request for info on Prolog debugging systems (0 replies, 05/11/88)

BSI Prolog terms of reference (20 replies, 05/11/88)

Program Libraries (0 replies, 05/12/88)

Assoc. for Logic Programming (0 replies, 05/12/88)

NU-Prolog comments/opinions wanted (0 replies, 05/13/88)

Proceedings: 2nd Intl. Conf. on Expert Database Systems (0 replies, 05/13/88)

Odd behavior of C-Prolog 1.4a debugger (0 replies, 05/14/88)

:- deterministic (7 replies, 05/15/88)

determinism, once etc, Trilogy (4 replies, 05/16/88)

Atom-based module systems (8 replies, 05/16/88)

WAM Translator & Interpreter? (0 replies, 05/17/88)

detecting freedom from side effects (0 replies, 05/17/88)

modules (6 replies, 05/17/88)

Factoring (0 replies, 05/18/88)

NU-Prolog "pure" declarations (0 replies, 05/19/88)

Minimum Spanning Tree with '==' (3 replies, 05/20/88)

parsym digest (0 replies, 05/20/88)

Logic Programming and Vision (2 replies, 05/21/88)

GNU or Unipress EMACS best w/Quintus Prolog? (1 reply, 05/21/88)

small prolog problem (2 replies, 05/23/88)

PD-Prolog BIN for PC (0 replies, 05/25/88)

Usable parallel logic programming systems (0 replies, 05/26/88)

Clause fusion (12 replies, 05/28/88)

screen control (1 reply, 05/29/88)

HELP ME!!! (2 replies, 05/30/88)

Prolog Is Semi-Procedural (1 reply, 05/30/88)

Info on Trilogy (0 replies, 06/02/88)

Data Transformation (0 replies, 06/03/88)

oops (3 replies, 06/03/88)

test message -- please ignore (0 replies, 06/03/88)

Hardware requirements for PROLOG on a Mac? (0 replies, 06/03/88)

Conf. proceedings info (0 replies, 06/03/88)

New Release of NU-Prolog System (0 replies, 06/06/88)

Call/1 and goal processing (0 replies, 06/07/88)

compiler (0 replies, 06/11/88)

Object-oriented system in Prolog (0 replies, 06/13/88)

Any Prologs for the Macintosh? (0 replies, 06/14/88)

GNU vrs UNIPRESS (3 replies, 06/14/88)

Prolog systems for VAX/VMS (0 replies, 06/14/88)

The Logix system version 2.0 release 7 (0 replies, 06/15/88)

Unification Algorithm (0 replies, 06/15/88)

LP'88 Conference Announcement (0 replies, 06/17/88)

Knowledge representation and Prolog (2 replies, 06/17/88)

NEED PROLOG QUICK REFERENCE GUIDE (1 reply, 06/21/88)

Query Dbase III Plus with Turbo Prolog (0 replies, 06/25/88)

arrays in logic programming (0 replies, 06/28/88)

PROLOG DIGEST V6 #35 (0 replies, 06/30/88)

POPLOG Conference (0 replies, 07/01/88)

How Prolog logic programmers see Trilogy (0 replies, 07/01/88)

PROLOG DIGEST V6 #36 (0 replies, 07/01/88)

Need Royal Melbourne Institute of Technology Tech. Reports 84/6 and 86/8 (0 replies, 07/02/88)

"Knowledge Systems in Prolog", more examples (0 replies, 07/02/88)

PROLOG DIGEST V6 #37 (0 replies, 07/02/88)

"Knowledge Systems and Prolog", chapter 3. (0 replies, 07/03/88)

PROLOG DIGEST V6 #38 (0 replies, 07/03/88)

PROLOG DIGEST V6 #25 (0 replies, 07/04/88)

Survey of Prologs for VMS VAX (1 reply, 07/04/88)

KS&P, chapter 3, part 2. (0 replies, 07/04/88)

PROLOG DIGEST V6 #28 (2 replies, 07/04/88)

Miranda (2 replies, 07/06/88)

Fifth Israeli Symposium on Artificial Intelligence (0 replies, 07/07/88)

An example from "Knowledge Systems & Prolog" (1 reply, 07/07/88)

PROLOG DIGEST V6 #29 (1 reply, 07/08/88)

PROLOG DIGEST V6 #27 (0 replies, 07/08/88)

PROLOG DIGEST V6 #26 (1 reply, 07/08/88)

"clause" in sbprolog? breadth-first evaluation? (1 reply, 07/09/88)

PROLOG DIGEST V6 #39 (0 replies, 07/09/88)

PROLOG DIGEST V6 #40 (0 replies, 07/09/88)

PROLOG DIGEST V6 #41 (0 replies, 07/10/88)

PROLOG DIGEST V6 #42 (0 replies, 07/10/88)

PROLOG DIGEST V6 #43 (0 replies, 07/10/88)

SBProlog and clause/2.. (2 replies, 07/11/88)

"clause", breadth-first evaluation? (0 replies, 07/11/88)

PROLOG DIGEST V6 #44 (0 replies, 07/12/88)

PROLOG DIGEST V6 #45 (0 replies, 07/12/88)

lambda Prolog version 2.7 (0 replies, 07/12/88)

Prolog Forum meeting (0 replies, 07/12/88)

Colour fonts (0 replies, 07/12/88)

Why no macro facility? (6 replies, 07/13/88)

Need Information on prolog Language (0 replies, 07/13/88)

PROLOG DIGEST V6 #46 (0 replies, 07/14/88)

tidying up control (0 replies, 07/14/88)

summary: Computer Vision and Logic Programming (0 replies, 07/14/88)

common subterms (3 replies, 07/15/88)

C-prolog questions (0 replies, 07/16/88)

PROLOG DIGEST V6 #49 (0 replies, 07/18/88)

subscription to this news group (0 replies, 07/19/88)

Need style advice (3 replies, 07/19/88)

PROLOG DIGEST V6 #50 (0 replies, 07/19/88)

PROLOG DIGEST V6 #51 (0 replies, 07/19/88)

breadth-first -vs- iterative deepening (0 replies, 07/20/88)

expert systems -- info wanted (0 replies, 07/20/88)

"A Note on the Speed of Prolog" (4 replies, 07/20/88)

OBJ3 Release (0 replies, 07/21/88)

Prolog and occur checks. (0 replies, 07/22/88)

representation of infinite lists (1 reply, 07/23/88)

Book Review: Tore Amble (0 replies, 07/25/88)

Arity/Prolog & Microsoft C problem (0 replies, 07/25/88)

PROLOG DIGEST V6 #52 (0 replies, 07/25/88)

Meta-circular interpreters (0 replies, 07/26/88)

Unisys Seminar: Program Transformers with Higher-order Unification (0 replies, 07/26/88)

Prolog Libraries (1 reply, 07/27/88)

more on permutations + errata (0 replies, 07/27/88)

iterative deepening (0 replies, 07/27/88)

DCG.PL copyright notice (0 replies, 07/28/88)

Re : Elegance=efficiency, the continuing story (0 replies, 07/28/88)

query (2 replies, 07/28/88)

DEC-10 Prolog Library (0 replies, 07/29/88)

Need forward chaining (0 replies, 07/29/88)

prolog speeds (2 replies, 07/29/88)

PD C-Prolog (0 replies, 07/29/88)

permutation - versions and their efficiency (1 reply, 07/30/88)

Poplog prolog speeds and memory requirements (0 replies, 07/30/88)

The "double cut" (0 replies, 08/02/88)

job (0 replies, 08/04/88)

A question on the compilation of Prolog. (1 reply, 08/05/88)

Unification Question (0 replies, 08/05/88)

Workshop at LP-88 (0 replies, 08/06/88)

Panel Discussion at Logic Programming Conference (0 replies, 08/06/88)

Elegance=efficiency, the continuing story. (1 reply, 08/07/88)

Open Position in Advanced Prolog Compiler Development Project at ECRC (0 replies, 08/08/88)

transputers, and info on languages (0 replies, 08/09/88)

The double-cut (7 replies, 08/10/88)

Funcy - an implementation of FP in Prolog. (1 reply, 08/10/88)

Probabilistic 'or'? (6 replies, 08/11/88)

transputer, etc. (0 replies, 08/11/88)

LPC 88 Hospitality Suite (0 replies, 08/12/88)

Available Concurrent Prolog systems? (0 replies, 08/13/88)

ISO SubStandard (0 replies, 08/13/88)

Pascal/C -vs- Prolog (4 replies, 08/14/88)

info on prolog compilers/interpreters wanted (1 reply, 08/14/88)

Must 'all-solutions' predicates create copies of their generator? (1 reply, 08/14/88)

Parallel: lists or trees ? (3 replies, 08/14/88)

attention to all those who helped... (0 replies, 08/16/88)

Prolog on IBM-PC. (0 replies, 08/17/88)

info about quintus prolog (0 replies, 08/17/88)

Grammar rule translator. (5 replies, 08/18/88)

How to do it (0 replies, 08/19/88)

Perils of comparison -- an example (3 replies, 08/20/88)

Getting ANSI interested in a Prolog standard (0 replies, 08/21/88)

setof / prolog compiler (1 reply, 08/21/88)

more on permutations (4 replies, 08/23/88)

Standards Panel Discussion (0 replies, 08/23/88)

all-permutations is faster than permutation (0 replies, 08/23/88)

meta-circular-meta-interpreters (1 reply, 08/24/88)

Sequence Of Intervals Problem (0 replies, 08/26/88)

Random Clause Selection (3 replies, 08/26/88)

all permutations (1 reply, 08/26/88)

Double Cut - One is enough (1 reply, 08/29/88)

Is ICON higher level than Prolog? (7 replies, 08/30/88)

setof / ,/2 (1 reply, 08/30/88)

Swapping list elements (0 replies, 08/31/88)

Universal Quantification in PROLOG (4 replies, 09/01/88)

IEEE CVPR 1989 Call for Papers (0 replies, 09/01/88)

Seattle Prolog tutorial (0 replies, 09/01/88)

setof (0 replies, 09/02/88)

How do I learn about AI, Prolog, and/or Lisp (5 replies, 09/03/88)

Seattle tutorial Prolog (3 replies, 09/05/88)

Query: Software engineering tests of logic programming? (0 replies, 09/05/88)

SB-Prolog on a Mac II (1 reply, 09/06/88)

Quintus Advanced Prolog Training Class (0 replies, 09/07/88)

prolog tutorial seattle (3 replies, 09/07/88)

rule/2 (1 reply, 09/07/88)

Soundex revisited (11 replies, 09/07/88)

semantics of bagof and setof (0 replies, 09/07/88)

Prolog for SUN4 (0 replies, 09/08/88)

BIM apology (0 replies, 09/10/88)

Some comments on term comparison (2 replies, 09/10/88)

SB-Prolog fixes for A/UX (0 replies, 09/10/88)

Prolog checkers (0 replies, 09/11/88)

A question on semantics and program transformation (1 reply, 09/12/88)

P-prolog information wanted (0 replies, 09/12/88)

TRUST_ME_ELSE (0 replies, 09/12/88)

bagof/setof (4 replies, 09/15/88)

Last call for submissions (0 replies, 09/17/88)

Availability of LOG (0 replies, 09/17/88)

!/metacall/metainterpreter (3 replies, 09/17/88)

PROLOG Suppliers Wanted (2 replies, 09/17/88)

Wanted: Prologs for Mac and PC (0 replies, 09/22/88)

Prolog on a Macintosh (0 replies, 09/22/88)

lex and yacc front end for prolog (0 replies, 09/22/88)

Four-Port Debugger (0 replies, 09/22/88)

WANTED! Submissions to the PROLOG Forum Newsletter. (0 replies, 09/26/88)

"CLP" mailing lists. (0 replies, 09/28/88)

LIST-of-PROLOGs available from UNC (0 replies, 09/28/88)

BAe "DLM" Machine (1 reply, 09/29/88)

Prologs for IBM PC and Mac (0 replies, 09/30/88)

Debugging (2 replies, 09/30/88)

Logic Programming Groups (0 replies, 10/03/88)

Constraint LP Mailing List (2 replies, 10/07/88)

Availability of Object-Oriented Packages (0 replies, 10/07/88)

looking for a pc-prolog (0 replies, 10/11/88)

Intelligence/Compiler - Request for information (0 replies, 10/13/88)

Prolog for Sun 3 (0 replies, 10/14/88)

Prolog for 4-D (0 replies, 10/17/88)

Rita G. Minker (0 replies, 10/18/88)

Concept Learning & ID3 (3 replies, 10/18/88)

4Sight, X or NeWS? (0 replies, 10/18/88)

"declarative", intension a.s.o. (0 replies, 10/19/88)

Prolog for Sun-4 (0 replies, 10/20/88)

Copying (1 reply, 10/20/88)

SB-Prolog on Mac II (0 replies, 10/21/88)

Writing a Prolog in C (0 replies, 10/21/88)

functions for heuristics (2 replies, 10/25/88)

Prolog-Mode for SB prolog (0 replies, 10/25/88)

-------------------------- call for votes (0 replies, 10/26/88)

functional and object-oriented language newsgroups (0 replies, 10/26/88)

Prolog for PC/AT (0 replies, 10/27/88)

poetry composing programs (3 replies, 10/27/88)

In defence of difference-lists. (8 replies, 10/27/88)

Prolog sources need! (0 replies, 10/28/88)

Looking for sources to SB-Prolog.... (6 replies, 10/29/88)

CLP mailing list. (1 reply, 10/30/88)

Prolog Programs Wanted (5 replies, 11/02/88)

Stupid Question about UNH Prolog (2 replies, 11/02/88)

Need info on C & PROLOG comparisons for expert systems (0 replies, 11/04/88)

Folk predicates (3 replies, 11/04/88)

Benchmarks (1 reply, 11/04/88)

Hypertext & Prolog (0 replies, 11/06/88)

SB-Prolog & recorda/recorded (0 replies, 11/08/88)

FCP for Hypercube (0 replies, 11/10/88)

Compiler/interpreter wanted (0 replies, 11/11/88)

MAC Prolog, and Refs on Program transformations (0 replies, 11/12/88)

Son of Stupid Prolog Questions (0 replies, 11/12/88)

looking for C-code on unification (0 replies, 11/15/88)

Inexpensive prolog for sun ? (0 replies, 11/15/88)

C - Prolog interpreter availability info wanted (0 replies, 11/15/88)

Determining order of argument unification (8 replies, 11/17/88)

Simple Prolog Examples/Programs (0 replies, 11/18/88)

Search strategies in PROLOG (1 reply, 11/18/88)

Catalog of Application Programs (1 reply, 11/19/88)

The meaning of "declarative" (23 replies, 11/19/88)

Software Engineering in Prolog (0 replies, 11/22/88)

Catalog of Prototype Prolog Applications (0 replies, 11/22/88)

Quintus Prolog Memory Management (2 replies, 11/22/88)

doctor honoris causa (0 replies, 11/23/88)

Infix-to-prefix notation (1 reply, 11/24/88)

Prolog Software Engineering (0 replies, 11/25/88)

Modula-Prolog (1 reply, 11/26/88)

Constraint Processing in Prolog (0 replies, 11/28/88)

Prolog and Paging (1 reply, 11/29/88)

Prolog Standards meeting (0 replies, 11/29/88)

Reccomendations for Prolog systems (0 replies, 12/01/88)

CFP for ICLP? (0 replies, 12/01/88)

A problem (0 replies, 12/02/88)

Journal of LP for Assoc. for LP members (1 reply, 12/03/88)

BENCHMARKS AND LIPS, KIPS (4 replies, 12/05/88)

Logic Programming Newsletter (3 replies, 12/07/88)

PARLOG, FCP (2 replies, 12/07/88)

Feeling and thought: which comes first? (3 replies, 12/08/88)

Resolution in Prolog (2 replies, 12/10/88)

sets of integers (1 reply, 12/16/88)

Christmas pleasure. (0 replies, 12/17/88)

Be seeing you! (0 replies, 12/17/88)

SBProlog bug? fix? assert, asserta, assertz (2 replies, 12/19/88)

Porting Quintus Prolog code to BIM_Prolog (0 replies, 12/21/88)

Deriving isprime/1 (0 replies, 12/21/88)

posting code to comp.lang.prolog (0 replies, 12/21/88)

ALGORITHM DESIGN BIBLIOGRAPHY - RESULTS (0 replies, 12/22/88)

PARLOG and FCP (2 replies, 12/23/88)

Learning Prolog: suggestions request. (0 replies, 12/23/88)

ISO Prolog standardization? (0 replies, 12/24/88)

looking for information on Prolog compilation (0 replies, 12/28/88)

O'Keefe; primality testing (0 replies, 12/28/88)

Availability of predicates... (0 replies, 12/31/88)

Efficiency, O'Keefe (1 reply, 01/01/89)

Prolog in Concurrent Logic Languages (0 replies, 01/04/89)

DelPhi Prolog Machine Progress (0 replies, 01/04/89)

Newsletter. (2 replies, 01/05/89)

Queens Again (1 reply, 01/05/89)

Prolog and Smalltalk (1 reply, 01/08/89)

Yet another perfect number program (1 reply, 01/10/89)

Deadline for ALP newsletter is 17 January (0 replies, 01/11/89)

perfect numbers (2 replies, 01/12/89)

BEACON configurator (0 replies, 01/12/89)

Perfect Numbers, Complexity (1 reply, 01/14/89)

Programs using GHC's run-time safety test (0 replies, 01/16/89)

Comp.lang.prolog archival site? (0 replies, 01/16/89)

C-Prolog Question (0 replies, 01/17/89)

PRESS (0 replies, 01/18/89)

Yet another bibliography request: logic programming (0 replies, 01/18/89)

X interface? (2 replies, 01/18/89)

X and Prolog (0 replies, 01/19/89)

SB-Prolog on SGI Iris? (1 reply, 01/24/89)

Bibliografy on Modular Programming (0 replies, 01/26/89)

Looking for Prolog on Mac II (1 reply, 01/26/89)

Interesting calendars (0 replies, 01/26/89)

C-Prolog on Macintosh (1 reply, 01/27/89)

Mac II Prologs (0 replies, 01/28/89)

Prolog for New Ultrix-Based VAX 3100 (0 replies, 01/30/89)

Natural Deduction Logic Programming (1 reply, 01/30/89)

PD prolog sources, again! (0 replies, 02/02/89)

Relational Arithmetic in Prolog (1 reply, 02/03/89)

NU-Prolog times/3 (0 replies, 02/06/89)

Request for a List of Prolog Vendors (0 replies, 02/07/89)

IC-Prolog (4 replies, 02/07/89)

existential quantification in bagof and setof (3 replies, 02/08/89)

Coroutining in IC-Prolog and LOG (0 replies, 02/08/89)

PRATTFALL - A Machine Translation System in Prolog (0 replies, 02/09/89)

Prolog Library - anonymous ftp access (0 replies, 02/10/89)

PARLOG for Mac and PC (0 replies, 02/11/89)

where are "writef" and "vcheck" ? (0 replies, 02/11/89)

Quintus compatibles (3 replies, 02/13/89)

Reference on control structures on Prolog? (1 reply, 02/14/89)

german distributer for QUINTUS (0 replies, 02/16/89)

existential quantification in bagof (6 replies, 02/17/89)

Position for visiting researcher at SICS (0 replies, 02/17/89)

Forward chaining production systems on Prolog? (2 replies, 02/21/89)

Variable Usage Patterns in Prolog Programs (0 replies, 02/22/89)

Comparing Prolog with other languages (2 replies, 02/25/89)

Summary: Forward chaining production systems on Prolog (0 replies, 02/26/89)

Prolog and Modal Logic (1 reply, 02/26/89)

Summary: Reference on control structures in Prolog (1 reply, 02/27/89)

DEC-10 Prolog library file vcheck.pl (0 replies, 02/28/89)

a Mac prolog (1 reply, 02/28/89)

Forward chaining production systems on Prolog (0 replies, 02/28/89)

Prolog for Xenix (0 replies, 02/28/89)

Public Domain Prolog for Macintosh (3 replies, 03/01/89)

Comparing Prolog with other languag (0 replies, 03/01/89)

Against fuzzy unification (0 replies, 03/03/89)

Advanced Prolog Course (1 reply, 03/03/89)

Research Posts at Bristol University (0 replies, 03/04/89)

Prolog source for C/SysV Unix (0 replies, 03/06/89)

Quintus Prolog Workshops (0 replies, 03/07/89)

Prolog source-code profiling, measures. (0 replies, 03/07/89)

Parallel Prolog (3 replies, 03/08/89)

BIM_Prolog on Sequent (0 replies, 03/09/89)

Lectureships and Research posts at Bristol University (0 replies, 03/16/89)

Referees (3 replies, 03/20/89)

Survey paper on "Modules For Prolog" (0 replies, 03/21/89)

Style for MIT Press format (0 replies, 03/24/89)

Memory bug in LPA prolog (0 replies, 03/26/89)

Apology for accidental submission (0 replies, 03/27/89)

Objects in Quintas Prolog (0 replies, 03/29/89)

PROLOG / ORACLE interface (1 reply, 03/29/89)

Request Info on SICSTUS Prolog (0 replies, 03/30/89)

DAP Prolog (0 replies, 03/30/89)

New Prolog book (0 replies, 03/30/89)

data flow analysis of prolog (0 replies, 03/31/89)

Arity Prolog / Expert Development P (0 replies, 03/31/89)

Prolog on MAC and benchmark code for AAIS Prolog (0 replies, 03/31/89)

Well-formed substring tables in Prolog (0 replies, 04/02/89)

Interfacing Turbo Prolog to Turbo Pascal of Turbo C (1 reply, 04/03/89)

"Prolog for Programmers" (1 reply, 04/04/89)

Naive Reverse (8 replies, 04/05/89)

Arity Prolog / Expert Development Package (2 replies, 04/08/89)

friends (0 replies, 04/10/89)

blam (0 replies, 04/10/89)

Committed Choice (13 replies, 04/12/89)

Constraint satisfaction in LOG (6 replies, 04/13/89)

Embedding Linda and other joys of concurrent logic programming (0 replies, 04/14/89)

Absorbing unification (0 replies, 04/16/89)

Turbo Prolog - 2 questions (0 replies, 04/17/89)

infinite structures, lazy evaluation (2 replies, 04/17/89)

Berkeley PLM compiler and emulator available (0 replies, 04/19/89)

XWIP available (0 replies, 04/19/89)

FTP'able Prolog? (0 replies, 04/20/89)

followups to OOL posting (0 replies, 04/21/89)

Polymorphism (3 replies, 04/23/89)

Parlog documents wanted (2 replies, 04/24/89)

Inline expansion versus threaded code compiling Prolog (0 replies, 04/25/89)

Prolog and Object-Orientation (0 replies, 04/26/89)

C++ vs. Other OOLs (5 replies, 04/26/89)

Linda controversy (0 replies, 04/27/89)

Intr programming/Prolog text wanted (1 reply, 04/27/89)

Approaches to OOP and Prolog (0 replies, 04/27/89)

Workshop on Alternatives of Logic Programming (0 replies, 04/28/89)

More on Linda and language embedding (0 replies, 04/28/89)

compiler writing in Prolog (0 replies, 04/29/89)

SoftEng or CS Graduate Program Search (0 replies, 05/02/89)

OOL in Prolog (1 reply, 05/02/89)

Inline expansion versus threaded code (7 replies, 05/03/89)

SBProlog 3.0 Problems (0 replies, 05/04/89)

Lin vs. specific sharing (0 replies, 05/05/89)

CP, Linda and Multiple Producers. (1 reply, 05/10/89)

Higher Order Extensions (9 replies, 05/10/89)

Need AI -> C compiler (0 replies, 05/11/89)

solving soma puzzles (4 replies, 05/12/89)

public domain database needed (0 replies, 05/13/89)

IBM PROLOG (1 reply, 05/15/89)

Parallel Execution of Logic Progras (1 reply, 05/16/89)

WAMs in COMMON LISP (0 replies, 05/16/89)

Wanted:Programs to test Implementation (0 replies, 05/17/89)

Knowledge Engineering Environment (2 replies, 05/22/89)

POSITION AVAILABLE AT ECRC MUNICH (0 replies, 05/22/89)

Request for User Interface Toolkit (1 reply, 05/22/89)

Looking for DLGEDIT examples for Arity on Pc (0 replies, 05/24/89)

Bidding by Expert Systems (0 replies, 05/25/89)

Prolog interpreter/compiler on IBM (3 replies, 05/27/89)

Propositional Theorem Prover (3 replies, 05/27/89)

Augmented Transitions Networks. (0 replies, 05/30/89)

The inverse problem -- Compiling Prolog with a parser generator. (0 replies, 05/31/89)

Looking for a Prolog (0 replies, 05/31/89)

PCE -- Prolog, User Interfaces, Graphics and OOP (0 replies, 05/31/89)

SB-Prolog under MS-DOS (0 replies, 05/31/89)

SB-Prolog/Sicstus Prolog info. request (1 reply, 05/31/89)

Request for public domain prolog (0 replies, 06/01/89)

Prolog for Microport V/AT (0 replies, 06/02/89)

Available Prologs for Unix/Ultrix (0 replies, 06/06/89)

temporal logic (0 replies, 06/09/89)

NACLP89 Special Interest Group Sessions (0 replies, 06/09/89)

definite clause grammar (2 replies, 06/10/89)

Looking for K. Kono Konolige (0 replies, 06/13/89)

retractall and backtracking (7 replies, 06/13/89)

Prolog standardisation effort (0 replies, 06/13/89)

Logix on the Cosmic Environment (0 replies, 06/15/89)

Call for NACLP SIG meeting (0 replies, 06/19/89)

public domain prolog for apollo domain (0 replies, 06/20/89)

ACE Version 1.3 Distribution (0 replies, 06/20/89)

Prolog bibliography done finally (0 replies, 06/21/89)

Prolog bibliography --- Errata (0 replies, 06/21/89)

Prolog for Pyramid 98x (0 replies, 06/22/89)

HELP: reference about Parlog needed (0 replies, 06/22/89)

Collecting timing statistics (0 replies, 06/23/89)

Arity/Prolog for OS/2 (0 replies, 06/23/89)

Turbo Prolog's PIE (0 replies, 06/23/89)

Parlog Texts (1 reply, 06/27/89)

A question about Quintus and external lang interfaces (2 replies, 06/30/89)

Lectureship in Information Technology at Bristol University (0 replies, 06/30/89)

Call for newsletter Items (0 replies, 07/03/89)

Want Prolog Programs (0 replies, 07/04/89)

Research fellowships at the University of Melbourne (0 replies, 07/05/89)

Help on Page 221 of Bratko's book (0 replies, 07/07/89)

Let's update the List-of-Prologs! (2 replies, 07/09/89)

6th IEEE Conference in AI Applications (0 replies, 07/09/89)

Theorem Provers for Temporal Logic (1 reply, 07/10/89)

Bagof (0 replies, 07/10/89)

Looking for Prolog for Sun 3s (0 replies, 07/10/89)

prolog for SCO XENIX 386? (0 replies, 07/10/89)

Prolog for Xenix- results (0 replies, 07/14/89)

Quintus Prolog on Sun Wanted (0 replies, 07/17/89)

Prolog on VAX VMS wanted. (0 replies, 07/18/89)

Pro4th??? (1 reply, 07/19/89)

PLM runtime system wanted! (0 replies, 07/20/89)

CFP: Seventh International Conference on Logic Programming (0 replies, 07/24/89)

Re. Bagof (0 replies, 07/25/89)

Prolog Book Critique (0 replies, 07/25/89)

LISP interpreter in Prolog (1 reply, 07/26/89)

ProYACC??? (1 reply, 07/27/89)

Look for info about Warren Abstract Prolog Machine (0 replies, 07/27/89)

LISP-implemented PROLOG compilers? (0 replies, 07/28/89)

NACLP'89 Workshop on Logic Programming Environments (0 replies, 07/31/89)

Lexical Functional Grammar, Situations Semantics (0 replies, 08/01/89)

Bootstrapping precedence grammars. (2 replies, 08/04/89)

Comments wanted on SICStus (2 replies, 08/04/89)

Workshop on LP Environment ... (0 replies, 08/05/89)

Unification as equation solving. (1 reply, 08/08/89)

Public Domain Version of Prolog (0 replies, 08/09/89)

Prolog Comparison (0 replies, 08/10/89)

Suntools and Sicstus/Quintus Prolog (1 reply, 08/10/89)

I apologize (0 replies, 08/11/89)

Butterfly Prolog? (0 replies, 08/12/89)

Prolog and Windowing. (1 reply, 08/14/89)

Comments on XPRO prolog? (1 reply, 08/15/89)

KCM fun poem (0 replies, 08/16/89)

searching for C-Prolog (3 replies, 08/17/89)

set predicates for db-access (2 replies, 08/17/89)

Logic Grammars (0 replies, 08/17/89)

What does an apostrophe do? (0 replies, 08/19/89)

Tracking Interaction Histories (2 replies, 08/21/89)

Call for Participation: "Types in Logic Programming" Workshop (0 replies, 08/23/89)

NACLP 89 Info wanted (0 replies, 08/24/89)

Where to begin to build a parallel Prolog engine?? (0 replies, 08/25/89)

Problems with ALS Prolog (0 replies, 08/25/89)

Graphics problem in Turbo Prolog (0 replies, 08/25/89)

A preprocessor to simplify applicative Prolog programming (1 reply, 09/02/89)

I need your help on 'bagof' (1 reply, 09/05/89)

Prolog program for latin squares (0 replies, 09/05/89)

DCG expansion pitfall (1 reply, 09/05/89)

Prolog Pretty-Printer (0 replies, 09/06/89)

NACLP '89 (1 reply, 09/06/89)

Differenmt syntax (1 reply, 09/06/89)

Workshop on Parallel Prolog (0 replies, 09/07/89)

Thank you for your info on "bagof" (0 replies, 09/07/89)

SBProlog for the DEC 3100 workstation (0 replies, 09/08/89)

SBProlog for IBM PCs (1 reply, 09/09/89)

PD Prologs (2 replies, 09/12/89)

Conference Announcement (0 replies, 09/12/89)

CFP - 6th IEEE Conference on AI Applications (0 replies, 09/12/89)

Prolog dialects (1 reply, 09/13/89)

Hardware Verifiers Available (0 replies, 09/14/89)

A phrase generator for Prolog DCG's (2 replies, 09/14/89)

The coding of Queue (1 reply, 09/14/89)

SB-Prolog on IBM RTs (0 replies, 09/14/89)

Topological Structures (0 replies, 09/15/89)

SBProlog on Mips machines (0 replies, 09/15/89)

Prolog as a First Language? (1 reply, 09/15/89)

SBProlog Ports (1 reply, 09/15/89)

Call for discussion: comp.lang.prolog.sb (1 reply, 09/18/89)

NACLP'89 Architecture Workshop (0 replies, 09/19/89)

Searching to contact Messrs. Lau and Prestwich (0 replies, 09/20/89)

please help (0 replies, 09/20/89)

Wanted: simple NP-hard problems in Prolog (0 replies, 09/21/89)

SBProlog 2.5 (0 replies, 09/22/89)

Program: NACLP'89 Workshop on Types in Logic Programming (0 replies, 09/22/89)

Lambda Prolog (1 reply, 09/23/89)

Prolog Implementations (0 replies, 09/25/89)

Typing logic programs (0 replies, 09/25/89)

street address for IEEE CAIA-90 submissions (0 replies, 09/26/89)

Designing a type checker/inference system? (0 replies, 09/26/89)

Warren Abstract Machine Paper (0 replies, 09/27/89)

Prolog course wanted (0 replies, 09/27/89)

ref: Article 506 of 506. C.Eagle@massey.ac.nz (1 reply, 09/27/89)

types (1 reply, 09/27/89)

PD Prolog for VMS (0 replies, 09/30/89)

Seeking a constraint logic programming language for Apollo, Mac II or Sun (0 replies, 10/02/89)

The jobs puzzle (0 replies, 10/02/89)

Prolog - Oracle interfaces (1 reply, 10/04/89)

Jobs problem: another solution (0 replies, 10/04/89)

Getting to NACLP'89 from Cleveland airport (0 replies, 10/06/89)

Prolog on 1Meg Amiga (0 replies, 10/06/89)

Prolog Grammar (0 replies, 10/06/89)

Prettyprinter needed (0 replies, 10/07/89)

Parallel Prolog compiler now public (0 replies, 10/07/89)

mail to Micha Meier (0 replies, 10/09/89)

hierarchy among modules in prolog (5 replies, 10/09/89)

grammar for prolog (2 replies, 10/10/89)

Lambda Prolog Implementation and Mailing List (0 replies, 10/11/89)

Logic programming for Smalltalk-80 (1 reply, 10/12/89)

What does "extralogical" mean? (6 replies, 10/12/89)

Parallel Parlog Announcement (0 replies, 10/12/89)

parallel ROLOG via FTP (0 replies, 10/12/89)

Translating OPS-5 into Prolog (0 replies, 10/13/89)

logic programs -> procedural lang? (15 replies, 10/13/89)

looking for Edinburgh Prolog (0 replies, 10/16/89)

Non-ASCII characters, suggestion and question (7 replies, 10/17/89)

different Prologs? (10 replies, 10/18/89)

Speed comparison between Quintus and BIMProlog (1 reply, 10/18/89)

C Prolog (0 replies, 10/20/89)

UNSW Prolog (9 replies, 10/20/89)

Floats and the SubStandard (0 replies, 10/22/89)

looking for reference (1 reply, 10/24/89)

Interactive/ exploratory systems for analysis & topology ? (0 replies, 10/24/89)

Request for source code of any prolog ! (0 replies, 10/25/89)

C-Prolog on the Mac, Prolog comparisons (1 reply, 10/25/89)

rolog update (0 replies, 10/25/89)

Prolog ported to NeXT machine? (0 replies, 10/25/89)

Semantics of type checking (3 replies, 10/26/89)

The BSI/ISO Prolog standarisation "work" (0 replies, 10/26/89)

Syllogisms (0 replies, 10/26/89)

indexing of dynamic code with hashing or binary search (0 replies, 10/27/89)

goal stacking execution of Prolog (0 replies, 10/28/89)

A question about IF/Prolog (0 replies, 10/28/89)

Floating Point (12 replies, 10/31/89)

The touchstone applied to "The Art of Prolog" (0 replies, 11/08/89)

WG17 against Sterling and Shapiro (0 replies, 11/08/89)

Mailing List (0 replies, 11/09/89)

FGCS '88 Proceedings (0 replies, 11/10/89)

Fast fold/unfold (0 replies, 11/10/89)

Looking for Prolog Chip (1 reply, 11/10/89)

Dynamic Properties (2 replies, 11/10/89)

non-sequential recursion (4 replies, 11/12/89)

The jobs puzzle revisted (1 reply, 11/14/89)

Far east workshop on future database systems (0 replies, 11/14/89)

SB Prolog Documentation (0 replies, 11/14/89)

Miranda release 2 (0 replies, 11/15/89)

POP-11; any information??? (1 reply, 11/15/89)

Passing a C STRUCT to Quintas Prolog (1 reply, 11/15/89)

Meta-prolog (0 replies, 11/16/89)

CProlog on an IBM RT (1 reply, 11/17/89)

Thesis book for sale (0 replies, 11/18/89)

What's in a name? (0 replies, 11/18/89)

A Question of Style (2 replies, 11/18/89)

papers on parallel unification (2 replies, 11/18/89)

Prolog/C Term passing (1 reply, 11/18/89)

Functions AND relations (0 replies, 11/21/89)

Comment on Berkeley Prolog system (0 replies, 11/23/89)

Shallow backtracking (0 replies, 11/23/89)

Func. vs. Logic (0 replies, 11/23/89)

Prolog or deduction/Unification in Common Lisp, Scheme or Pearl wanted (2 replies, 11/23/89)

FFOPL theorem provers (0 replies, 11/24/89)

Logo for Macintosh (0 replies, 11/25/89)

CHIP (0 replies, 11/26/89)

Logic Programming Research (6 replies, 11/27/89)

frames (0 replies, 11/27/89)

Strings: a bad example. (1 reply, 11/28/89)

Thanks for pointer to Implementing Prolog (0 replies, 11/29/89)

mac prolog (6 replies, 11/30/89)

Announcing REFAL (0 replies, 11/30/89)

bagof & setof (2 replies, 11/30/89)

Looking for a test site for a X Window Prolog development environment (0 replies, 11/30/89)

Prolog for BSD 4.3 Unix (0 replies, 12/01/89)

Prolog or deduction/Unification in Common Lisp, Scheme or P (0 replies, 12/01/89)

Looking for a test site for a Prolog development environment (0 replies, 12/01/89)

Info on small PD Prolog interpreters (0 replies, 12/02/89)

Problems installing SB Prolog 3.0 (0 replies, 12/02/89)

SB-Prolog in VMS (0 replies, 12/02/89)

Info. wanted on SIMPLE interface to Prolog (0 replies, 12/03/89)

prolog and Predicate logic (0 replies, 12/04/89)

pointers to work on dynamic updates (0 replies, 12/08/89)

operators dynamic ? (0 replies, 12/08/89)

Ambiguities in WG17's syntax (1 reply, 12/08/89)

GIL, ITS and Cogent Prolog (0 replies, 12/09/89)

canonical syntax (1 reply, 12/09/89)

Wated Programmer (0 replies, 12/12/89)

MProlog info wanted (0 replies, 12/12/89)

general PROLOG questions (10 replies, 12/13/89)

SB-Prolog System V port wanted (0 replies, 12/14/89)

Prolog syntax (0 replies, 12/14/89)

Fun. vs. Logic (16 replies, 12/14/89)

Translating negation to Horn clauses? (0 replies, 12/15/89)

ACM doctoral dissertation award (0 replies, 12/15/89)

Prolog interpreter sources needed. (0 replies, 12/15/89)

Porting SB-Prolog (0 replies, 12/15/89)

assert/record (1 reply, 12/15/89)

Prefix operators and blanks (8 replies, 12/15/89)

Help with VT Prolog (0 replies, 12/19/89)

How can I reach Martin Nilsson? (0 replies, 12/20/89)

Lisp and Prolog Style (3 replies, 12/21/89)

Wanted: References for Constraint Logic Programming (0 replies, 12/21/89)

delayed computation challenge (4 replies, 12/21/89)

assert/1, retract/1 etc. for C-Prolog, Quintus, and BIM (0 replies, 12/22/89)

Prolog interpreter in LISP wanted (3 replies, 12/22/89)

Job opportunity (0 replies, 12/22/89)

More fun with WG17 (20 replies, 12/27/89)

alignment restricted processors (0 replies, 12/27/89)

A Challenge (6 replies, 12/29/89)

Portable C Prolog interpreter (0 replies, 01/03/90)

Netiquette (1 reply, 01/04/90)

LM-Prolog available (0 replies, 01/04/90)

Quintis Prolog on SPARCstation (0 replies, 01/08/90)

assert, retract + CProlog,BIM, and Quintus (0 replies, 01/08/90)

Bidirectional Grammars - Request for References (1 reply, 01/09/90)

Challenge (1 reply, 01/10/90)

prolog abstract machines (0 replies, 01/11/90)

SP-Prolog & SP-Object : brief descriptions (0 replies, 01/12/90)

how to get SB-Prolog using ftp (0 replies, 01/16/90)

Visiting Scientist Position in Logic Programming ... (0 replies, 01/16/90)

unification in Prolog II (2 replies, 01/17/90)

Request from AISB Quarterly Editor (0 replies, 01/18/90)

Compilers for breadth first search and bottom up computation ? (2 replies, 01/23/90)

Mac PROLOG needed! (0 replies, 01/23/90)

"Simple" Prolog Interpreter Project (0 replies, 01/24/90)

Meta90 (2 replies, 01/24/90)

SB-PROLOG references (0 replies, 01/24/90)

PD/Shareware PROLOG for Macintosh? (0 replies, 01/24/90)

PODS 90 Announcement and Registration Information (0 replies, 01/25/90)

NACLP-90 (0 replies, 02/02/90)

What do the *PEOPLE* of Britain think about the question of Hong Kong? (0 replies, 02/03/90)

Turing 1990 Colloquium, 3-6 April 1990, Sussex University (0 replies, 02/05/90)

IEEE Conference on AI Applications, CAIA-90 (1 reply, 02/06/90)

X for Quintus Prolog (0 replies, 02/06/90)

Logic Programming Summer School 1990 (0 replies, 02/06/90)

MS-DOS Prolog-1 help (0 replies, 02/07/90)

Meta90 program (0 replies, 02/07/90)

sbprolog (10 replies, 02/08/90)

incrementing values (14 replies, 02/08/90)

WAM queries (0 replies, 02/09/90)

Ask Dr Strabismus (0 replies, 02/09/90)

Iterative Deepening/Delayed Evaluation (0 replies, 02/11/90)

Re : incrementing values (2 replies, 02/12/90)

Why is OCCURS-CHECK left out of Prolog? (3 replies, 02/12/90)

Need help in Tree building routine - Problem stated clearly (0 replies, 02/12/90)

INGRES and PROLOG (2 replies, 02/13/90)

Sterling & Shapiro's meta-interpreter (0 replies, 02/13/90)

prolog tree building question (3 replies, 02/13/90)

the great split up (4 replies, 02/13/90)

CFP: Future Databases '90 (0 replies, 02/13/90)

Public Domain Prolog Interpreters (1 reply, 02/13/90)

m-way trees (0 replies, 02/14/90)

Definition of list_length/2 (2 replies, 02/15/90)

help novice prolog users (1 reply, 02/15/90)

Summary of replies to Turbo Prolog query (0 replies, 02/16/90)

88k versions of Lisp, Prolog, ... (0 replies, 02/19/90)

Programming in logic vs. Programming in PROLOG (1 reply, 02/19/90)

Borland gave up Turbo-Prolog, where to get it now ? (1 reply, 02/20/90)

Information request for temporal languages. (2 replies, 02/20/90)

Need info on Professional Prolog V2.6 (2 replies, 02/20/90)

Turbo Prolog Versions (4 replies, 02/20/90)

sb_prolog on the 88000 (2 replies, 02/21/90)

C-Prolog Tokenizer/Parser Wanted (0 replies, 02/22/90)

Help, very novice users! (0 replies, 02/23/90)

sbprolog incompatibility (0 replies, 02/23/90)

Process Control in Prolog (2 replies, 02/27/90)

ProWindows on X (0 replies, 02/27/90)

estimating performance of rule based / knowledge based system (0 replies, 02/28/90)

Prolog on the Mac (0 replies, 02/28/90)

Who supplies cprolog (0 replies, 03/01/90)

new XWIP available (0 replies, 03/02/90)

Legitimate uses of "assert"? (7 replies, 03/02/90)

DECProlog on VMS or ULTRIX? (0 replies, 03/02/90)

Parlog ??? (1 reply, 03/02/90)

Special Issue of the JLP on Partial Deduction (0 replies, 03/02/90)

loops in prolog (7 replies, 03/05/90)

HELP!!! Please! (3 replies, 03/05/90)

Expert System shell needed (0 replies, 03/06/90)

Looking for Small Prolog 1.32 (0 replies, 03/06/90)

PD prolog (4 replies, 03/06/90)

Query on Terminology (1 reply, 03/06/90)

ALS address wanted (1 reply, 03/07/90)

ICLP7 Abstract Interpretation W'shop (0 replies, 03/07/90)

Programming in PROLOG vs. Programming in Logic (1 reply, 03/07/90)

Prolog Brain Teaser (3 replies, 03/08/90)

What does/should your Prolog make of this ? (6 replies, 03/08/90)

Interrupt Handler for Quintus Prolog (1 reply, 03/09/90)

CLP Interpreter/Compiler (0 replies, 03/09/90)

Query about real-time Prolog (0 replies, 03/09/90)

CFP: Knowledge Base Management Systems (0 replies, 03/10/90)

Need a public domain Prolog compiler (0 replies, 03/11/90)

elementary problem (3 replies, 03/12/90)

Temporal Logic Programming (0 replies, 03/12/90)

Scheduling in Turbo PROLOG (0 replies, 03/13/90)

Prolog Standardization (4 replies, 03/13/90)

ER model prototype in Prolog (0 replies, 03/14/90)

workshop on logic programming environments (1 reply, 03/15/90)

References wanted (0 replies, 03/15/90)

Module systems (1 reply, 03/15/90)

first argument indexing (0 replies, 03/16/90)

The Zebra problem (1 reply, 03/16/90)

Private to Mr. Markantonatos (0 replies, 03/17/90)

Info on translating functional programming to PROLOG (1 reply, 03/19/90)

Temporal reasoning and real-time programming (0 replies, 03/20/90)

Prolog for Pc's (1 reply, 03/20/90)

ICLP'90 Workshop on Partial Deduction and Evaluation (0 replies, 03/21/90)

Query about C^3-I Applications {C-cube I} (1 reply, 03/21/90)

Duplicate Solutions (5 replies, 03/23/90)

Description of the Warren Abstract Machine (0 replies, 03/24/90)

How can I get C-Prolog ? (0 replies, 03/26/90)

Public Domain Sites ? (0 replies, 03/26/90)

CFP: Workshop on Logic Programming Environments (0 replies, 03/28/90)

prolog theorem proving (1 reply, 03/28/90)

Request for references on patents and NL processing (0 replies, 03/28/90)

prolog and theorem proving (0 replies, 03/29/90)

emacs prolog mode? (0 replies, 03/29/90)

Why does my Turbo Prolog program waste heap space?? (0 replies, 03/30/90)

Prolog implementation references wanted (0 replies, 04/04/90)

a fix to the SB prolog diff.s (0 replies, 04/07/90)

sun rpc between two prolog processes (1 reply, 04/09/90)

More than once/1. (0 replies, 04/09/90)

A String Match/Append Function (0 replies, 04/10/90)

error in bagof/3? (1 reply, 04/10/90)

Comparison of Edinburgh prolog and SBprolog ? (0 replies, 04/10/90)

Report on Quintus ProTalk package wanted (0 replies, 04/11/90)

Looking for IF/Prolog dealer in US (0 replies, 04/11/90)

LPSS '90 (0 replies, 04/11/90)

this seems to have bounced back.... (1 reply, 05/03/90)

Manna & Waldinger v2 (0 replies, 05/03/90)

a trivial question about n-queens (0 replies, 05/03/90)

Prolog applications (2 replies, 05/04/90)

Cheap & Full Prolog for PC (1 reply, 05/04/90)

London Underground central area map in Prolog (2 replies, 05/06/90)

London underground map (0 replies, 05/07/90)

ICLP-90 Preconference Workshop on Parallel Logic Programming (0 replies, 05/08/90)

Problem with interprocesscommunication in Quintus (0 replies, 05/09/90)

arithmetic overflow checking (3 replies, 05/10/90)

3GL->Prolog interfaces before '87? (0 replies, 05/25/90)

Schedule for ICLP Workshop on Structuring (0 replies, 05/25/90)

taking a predicate name as an argument (4 replies, 05/26/90)

taking a predicate name as an a (1 reply, 05/26/90)

concurrent logic languages (0 replies, 05/26/90)

Object-Oriented Prolog (0 replies, 05/26/90)

Backtracking for Happiness (1 reply, 05/26/90)

Free VHDL Software in Prolog (0 replies, 05/27/90)

Pictorial notation (0 replies, 05/27/90)

Native vs. threaded code (0 replies, 05/28/90)

Does It Unify? (7 replies, 05/28/90)

Apropriate Prologs (0 replies, 05/29/90)

Compiling Arity Prolog (1 reply, 05/29/90)

On "Does it unify ?" and the WAM (1 reply, 05/30/90)

slow bagof ? (0 replies, 05/30/90)

Forward chaining rule-based system (0 replies, 05/31/90)

PD FOPC Theorem Prover with equality (0 replies, 05/31/90)

Request for Prolog programs (0 replies, 05/31/90)

Timetabling (0 replies, 05/31/90)

Transfer from sicstus to Turbo Prolog (0 replies, 05/31/90)

Why is bagof so slow? (8 replies, 06/01/90)

schedule for Workshop on Logic Programming Environments (0 replies, 06/01/90)

Any Strand Users Out There? (0 replies, 06/03/90)

schedule for Workshop on Logic Programming Environments - second try (0 replies, 06/04/90)

Compiling away bagof (2 replies, 06/05/90)

Hype about Prolog (6 replies, 06/05/90)

Graphs in Prolog (1 reply, 06/05/90)

References Needed (1 reply, 06/06/90)

Pattern matching and abstraction (0 replies, 06/06/90)

Compilers in Prolog (0 replies, 06/06/90)

planning,meta-interpreters .... (0 replies, 06/08/90)

Term paper on Software Metrics for Logic Programs (0 replies, 06/09/90)

mutual recursion query (7 replies, 06/09/90)

Theorem Provers (3 replies, 06/10/90)

Re^2: Backtracking for Happiness (0 replies, 06/11/90)

Planning and Purity (0 replies, 06/11/90)

Comments on 7th Int. Conf. LP (0 replies, 06/11/90)

Query Evaluation in Deductive Databases (0 replies, 06/12/90)

Abstract Interpretation Workshop (0 replies, 06/12/90)

PLILP 90 Program and Registration Information (0 replies, 06/12/90)

Pattern matching considered harmful (18 replies, 06/13/90)

Automated higher order logic (3 replies, 06/13/90)

A simple forward chaining system 182 LINES (0 replies, 06/13/90)

Are the wrong races being run? (0 replies, 06/15/90)

POP-11 is 8 times faster than C? (0 replies, 06/15/90)

To memo, or not to memo? (0 replies, 06/15/90)

Timings for tak (0 replies, 06/15/90)

Bogus! (10 replies, 06/16/90)

Proof that Prolog can be faster than C (11 replies, 06/16/90)

Call for Proposals for Workshops for NACLP'90 (0 replies, 06/27/90)

OOP vs Logic Programming? (0 replies, 06/27/90)

MProlog vs. SB-Prolog (0 replies, 06/29/90)

A Faster Language? (2 replies, 07/01/90)

ISO committee (0 replies, 07/02/90)

Balance between theory and implementation (1 reply, 07/02/90)

recorda/3 etc. (1 reply, 07/03/90)

Prolog's Pitfalls Revisited (2 replies, 07/03/90)

8-tile puzzle (3 replies, 07/04/90)

quicksort speed in prolog (0 replies, 07/04/90)

Algebraic and Logic Programming (0 replies, 07/04/90)

Standards, committees, and realities (1 reply, 07/05/90)

Non-blocking process_callbacks/1 in Quintus (0 replies, 07/05/90)

NACLP'90 WORKSHOPS (0 replies, 07/06/90)

Arity bug / question (0 replies, 07/06/90)

UNIX prologs (0 replies, 07/06/90)

nu prolog distribution (0 replies, 07/07/90)

CFP -- 7th IEEE Conf. on AI Applications (1 reply, 07/07/90)

MCC, Alvey Project, . . . (0 replies, 07/08/90)

UNH Prolog (1 reply, 07/08/90)

OOP vs Logic Programming II (3 replies, 07/09/90)

Prolog standard (9 replies, 07/10/90)

a yacc grammar for 'standard' prolog? (0 replies, 07/10/90)

SB Prolog Rev. ? Location ? (0 replies, 07/13/90)

mode inference package for C-prolog (0 replies, 07/13/90)

mutual recursion elimination (0 replies, 07/13/90)

Correction to mutual recursion elimination query (0 replies, 07/13/90)

Prolog's pitfalls (2 replies, 07/13/90)

Wanted: a simple prolog interpreter suitable for embedding (0 replies, 07/14/90)

Concurrent Logic (0 replies, 07/16/90)

ARITY PROLOG (8 replies, 07/16/90)

Wanted -- CProlog sources (0 replies, 07/17/90)

C-Prolog source wanted ... (0 replies, 07/18/90)

WAM Tutorial (0 replies, 07/18/90)

Prologs for IBM PC (0 replies, 07/19/90)

Need help in the differences between RDBMS and Expert Systems (3 replies, 07/19/90)

LP conference in Siberia (0 replies, 07/19/90)

Find the bug (1 reply, 07/19/90)

A little template matcher (1 reply, 07/20/90)

Prolog's Pitfalls? (7 replies, 07/20/90)

Efficient Prolog Compiler Needed (0 replies, 07/22/90)

making a "call" to a text file (2 replies, 07/23/90)

Storage Reclaimation in TURBO (0 replies, 07/23/90)

Symposium on Computational Logic (0 replies, 07/24/90)

Sicstus Prolog Questions (1 reply, 07/24/90)

request for prolog cross-referencer (0 replies, 07/25/90)

GC triggering and stack limit checking by MMU hardware (16 replies, 07/25/90)

Borland's Prolog 2.0 Toolbox (0 replies, 07/25/90)

Papers on Janus (0 replies, 07/26/90)

NACLP 90 Workshop on Parallel Execution (0 replies, 07/26/90)

Logic Programming and spreadsheets (1 reply, 07/27/90)

Having a problem understanding the cut (2 replies, 07/28/90)

orkshop on Logic Programming & Non0-Monotonic Reasoning (0 replies, 07/28/90)

Prolog on the Macintosh (0 replies, 07/29/90)

Constrained Logic Programming (0 replies, 07/31/90)

NACLP'90 Workshop (1 reply, 07/31/90)

LP and Non-Monotonic Reasoning Workshop (1 reply, 07/31/90)

Partial Evaluation (0 replies, 08/01/90)

Call For Submissions: NACLP Workshop on Deductive Databases (0 replies, 08/02/90)

Novice RETRACT question (6 replies, 08/03/90)

N-queens revisited (0 replies, 08/03/90)

Finding all solutions in Prolog (1 reply, 08/06/90)

PD prolog query (0 replies, 08/07/90)

Award/Degree Checking System (0 replies, 08/08/90)

Turbo Prolog write access to .WKS files (0 replies, 08/10/90)

Prolog Efficiency and Benchmarking (5 replies, 08/10/90)

PROLOG interpreter source wanted (1 reply, 08/10/90)

Prolog for the Mac (4 replies, 08/10/90)

PCE/Prolog (0 replies, 08/12/90)

Prolog Prog. Technique Question (2 replies, 08/14/90)

Simple Prolog Question (7 replies, 08/14/90)

trying to locate a paper (0 replies, 08/14/90)

Freezing and Copyterm (0 replies, 08/14/90)

Call for papers: PODS 91 (0 replies, 08/15/90)

Call for papers: SIGMOD 91 (0 replies, 08/15/90)

"AI Expert" is looking for DOS/SunOS Prolog reviewers! (0 replies, 08/15/90)

Final CFP: 7th IEEE Conference on AI Applications (0 replies, 08/15/90)

Having trouble with disjunction (3 replies, 08/15/90)

Fun With Floats in Quintus (6 replies, 08/15/90)

UK ALP '91 CONFERENCE (0 replies, 08/15/90)

Disjunction solution (0 replies, 08/16/90)

NACLP Workshop (0 replies, 08/17/90)

Calculating ages (2 replies, 08/20/90)

Translating GP-languages to SQL? (0 replies, 08/21/90)

Qunitus Prolog on Unix (1 reply, 08/21/90)

Summary Printer check - BIOS/DOS - various languages (1 reply, 08/22/90)

Prolog interpreter in public domain ? (0 replies, 08/23/90)

Partial Evaluation and NAF (1 reply, 08/25/90)

NACLP Workshop on Prolog Architectures & Compilers (0 replies, 08/25/90)

Prolog program/library repository (1 reply, 08/26/90)

ICLP91 call for papers (0 replies, 08/27/90)

MIT's Wisdom Prolog (0 replies, 08/28/90)

SBProlog to C parameter passing (0 replies, 08/29/90)

C-prolog (0 replies, 08/30/90)

Wanted:Generic windows and menus for AAIS-Prolog (0 replies, 08/30/90)

Wanted: tree- and feature structure displaying software (0 replies, 08/30/90)

SBProlog to C interface (0 replies, 08/31/90)

Deterministic predicate question (7 replies, 08/31/90)

solution Yogo/Solitaire wanted. (0 replies, 08/31/90)

Prolog PROG TECH. II (6 replies, 08/31/90)

Meta-programming question (4 replies, 08/31/90)

Porting SALIX PROLOG from Atari ST --> SUN ?? (0 replies, 09/03/90)

Using embeded-C with Arity Prolog interperter (0 replies, 09/04/90)

Prolog Data-base Consistency Checking. (0 replies, 09/05/90)

game theoretic semantics, dialogic logic & dialogue games (2 replies, 09/07/90)

Just a small test (0 replies, 09/07/90)

Wanted: reviewers for prolog books (1 reply, 09/09/90)

shuffling a list (4 replies, 09/10/90)

CFP - ACM Symposium on Partial Evaluation PEPM 91 (0 replies, 09/10/90)

new SB-prolog diffs for DG (4 replies, 09/11/90)

parallel inference systems (0 replies, 09/12/90)

Modifiable Prolog Implementation Sought (0 replies, 09/13/90)

Manipulating cyclic graphs in prolog (0 replies, 09/13/90)

value trailing (0 replies, 09/14/90)

Prolog for Sun4's (0 replies, 09/15/90)

Help on disassembler/decompilers (2 replies, 09/15/90)

Fuzzy Prolog (6 replies, 09/15/90)

implementing assert/retract in the WAM (0 replies, 09/17/90)

Who allocates space for perm vars on stack ? (2 replies, 09/18/90)

1990 NA Conference on Logic Programming (0 replies, 09/18/90)

Running backwards (1 reply, 09/18/90)

Questionnaire on advanced Logic Programming features (0 replies, 09/19/90)

David Warren's email address required (0 replies, 09/19/90)

e-mail for ALS Prolog (0 replies, 09/20/90)

BibTeX format references to implementing assert and retract (0 replies, 09/22/90)

DOOD Call for papers (0 replies, 09/22/90)

WAM question (0 replies, 09/27/90)

Has anyone compared logic languages with database systems? (0 replies, 09/28/90)

Research positions in Queensland, Australia (0 replies, 09/28/90)

Bug fixes for Turbo Prolog 2.0 (1 reply, 09/28/90)

Prolog for PC (0 replies, 09/29/90)

Standards Update, U.S. TAG to ISO/IEC/JTC1/SC22 WG15 (0 replies, 10/01/90)

"Edinburgh" Prolog (0 replies, 10/02/90)

SCORE library of PROLOG programs (0 replies, 10/03/90)

NACLP-90 final program (0 replies, 10/03/90)

PDC Prolog vs. Turbo Prolog 2.0 ---> The Same ??? (1 reply, 10/03/90)

Technical Program: Workshop on Logic Prog. & Non-Monotonic Logic (0 replies, 10/03/90)

Workshop on Parallel Execution of Logic Programs (0 replies, 10/04/90)

CFP: Processing Declarative Knowledge (0 replies, 10/04/90)

NACLP'90 Workshop on Deductive Databases (0 replies, 10/05/90)

Standard ---> IBM PROLOG translation (7 replies, 10/05/90)

Lists (3 replies, 10/05/90)

Prolog III (2 replies, 10/06/90)

IBM PC/AT Prolog products (1 reply, 10/07/90)

Looking for public domain sources of prolog for unix (0 replies, 10/11/90)

wanted: info about efforts to standardize prolog (2 replies, 10/12/90)

Object-oriented Logic Programming (1 reply, 10/12/90)

Non-Horn-Clause Logic Programming Workshop (0 replies, 10/12/90)

workshop on higher-order logic programming (1 reply, 10/15/90)

Stony Brook Prolog dumps core on a SPARC (0 replies, 10/17/90)

Turbo Syntax -- HELP! (0 replies, 10/17/90)

Call for Papers PLILP 91 (0 replies, 10/17/90)

New Question Re: PDC prolog gripe/question (1 reply, 10/17/90)

Query - DCGs and parse error handling (0 replies, 10/18/90)

MIT Wisdom prolog (0 replies, 10/18/90)

DCGs and parse error handling (0 replies, 10/18/90)

Parallelism and Logic Programming Workshop at Syracuse University (0 replies, 10/19/90)

LP Newsletter Submissions (1 reply, 10/19/90)

SICStus prolog vs. SBprolog? (3 replies, 10/21/90)

POPLOG (3 replies, 10/22/90)

Prototype version of SB-HiLog is available via ftp (0 replies, 10/22/90)

Freeware/Shareware Prolog (4 replies, 10/22/90)

Mode analysis (0 replies, 10/23/90)

non-toy dcg grammar (1 reply, 10/23/90)

Profiler Availability (1 reply, 10/24/90)

Implementation of Prolog-Like Interpreters -> HELP ? (7 replies, 10/24/90)

NACLP Architecture Workshop (0 replies, 10/25/90)

PROLOG implementation of planners (1 reply, 10/26/90)

Demonstrating belief revision in NLP - a small program (0 replies, 10/26/90)

Standards questions, from ISO Convener (0 replies, 10/26/90)

Prolog source for Unix (0 replies, 10/26/90)

implementation of Probabilistic Logic Programming (0 replies, 10/26/90)

CfP: PDK'91 - Processing Declarative Knowledge (0 replies, 10/26/90)

error handling (7 replies, 10/27/90)

Validation and Testing of Prolog Programs (0 replies, 10/27/90)

New book (1 reply, 10/29/90)

Datalog Implementations Wanted (0 replies, 10/29/90)

Status of Logic Programming and Functional Machines (0 replies, 10/29/90)

PDC prolog gripe/question (11 replies, 10/30/90)

User Defined BGI and Turbo Prolog 2.0 --> HELP!!! (0 replies, 10/30/90)

nlp code: request for comments (1 reply, 10/30/90)

Benchmark Programs (2 replies, 11/01/90)

Need some advice (0 replies, 11/01/90)

Where is CProlog?? (4 replies, 11/01/90)

Turbo Prolog 2.0 tip (7 replies, 11/01/90)

Problem - interaction of consult/1 with see/1 and seen/0. (1 reply, 11/01/90)

My Compliments on NACLP'90 (0 replies, 11/04/90)

Public domain Prolog for UNIX? (0 replies, 11/06/90)

Looking for Real-World Domain Theory (0 replies, 11/06/90)

The Craft of Prolog pp. 126-130 (3 replies, 11/06/90)

Quintus Prolog (2 replies, 11/07/90)

PDC Professional Users Guide Educational Discount (0 replies, 11/08/90)

Minutes of NACLP '90 (0 replies, 11/08/90)

Open Prolog - for Macintoshes (1 reply, 11/08/90)

Request for Information: Prolog and Graphics (5 replies, 11/09/90)

NU-Prolog1.3 on SUNOS4.1 (0 replies, 11/09/90)

The Craft of Prolog, pp. 126-30 (1 reply, 11/09/90)

Prolog for Symbolics (0 replies, 11/09/90)

Why prolog uses depth-first search ? (3 replies, 11/09/90)

Information requested : theta subsumption (0 replies, 11/10/90)

Where else are MIKE1.EXE and MIKE2.EXE? (0 replies, 11/11/90)

Can we combine the work on Jove and Prolog? (0 replies, 11/12/90)

Info Wanted: Solving Linear/NonLinear Equations (0 replies, 11/13/90)

What Prolog compilers are available for UNIX? (0 replies, 11/13/90)

ARITY/PROLOG (2 replies, 11/15/90)

Answer to freeware prolog (1 reply, 11/16/90)

arg/3 (1 reply, 11/16/90)

Is Prolog Limited To Only Horn Clauses/ (1 reply, 11/16/90)

First Intl. Wkshp. on Logic Prog. & Non-Monotonic Reasoning (0 replies, 11/16/90)

Calling Lee Naish.... (0 replies, 11/17/90)

Prolog Memory Management in DOS (4 replies, 11/19/90)

Quintus Prolog 3.0 bugs (0 replies, 11/19/90)

catch/throw in (0 replies, 11/19/90)

The meaning of LIFE (0 replies, 11/19/90)

Jacob Kan Yu's email address (0 replies, 11/20/90)

LOGIN interpreter wanted (0 replies, 11/20/90)

POPLOG, HOW CAN I GET IT? (2 replies, 11/21/90)

prolog-killers (0 replies, 11/22/90)

Standards question: behavior of arg/3 (23 replies, 11/22/90)

UNIX Prolog (0 replies, 11/23/90)

Question about DCG's and natural language (1 reply, 11/23/90)

Prolog utility library (4 replies, 11/23/90)

BIM v. QUINTUS (0 replies, 11/24/90)

Compiler smartness? (3 replies, 11/26/90)

New chair of Computer Science at Birmingham University UK (0 replies, 11/26/90)

where can I find... (1 reply, 11/26/90)

Call for Proposals for ALP Meeting Organization (0 replies, 11/27/90)

Advanced Program - IEEE Conference on AI APPLICATIONS (0 replies, 11/28/90)

Question about DCGs and natural language grammars (5 replies, 11/28/90)

Can I talk about Parlog here? (13 replies, 11/28/90)

Good public domain MS/DOS Prologs? (3 replies, 11/28/90)

Prolog Symbolic Integration ? (0 replies, 11/29/90)

ALPUK91 Call for Papers - REMINDER (0 replies, 11/30/90)

Sequent Theorem Prover (0 replies, 11/30/90)

Arity Prolog & Turbo C (0 replies, 11/30/90)

Prolog for Vax (1 reply, 11/30/90)

C-Prolog question - construct atom '12' (1 reply, 12/01/90)

immediate update (2 replies, 12/02/90)

Constraint Logic Programming (4 replies, 12/03/90)

Something (0 replies, 12/03/90)

Concurrent Constraint Logic Programming (0 replies, 12/03/90)

Implication in Prolog (1 reply, 12/06/90)

Bertrand (0 replies, 12/07/90)

Address for CProlog Source (1 reply, 12/07/90)

Demons in Prolog (7 replies, 12/08/90)

Subject: Re: LOGIN interpreter wanted (0 replies, 12/09/90)

X-mas Sucks (0 replies, 12/11/90)

Benchmarks used in "The Performance of Parallel Prolog Programs" (0 replies, 12/11/90)

Prolog Benchmark Program (0 replies, 12/11/90)

HP LaserJet III and PostScript Cartridge (0 replies, 12/12/90)

inheritance in prolog (3 replies, 12/12/90)

not (0 replies, 12/13/90)

Arity/Prolog v6.0 (0 replies, 12/14/90)

PROLOG-2 and PROLOG-III (0 replies, 12/14/90)

1st Order Temporal Logic (1 reply, 12/14/90)

1991 International Logic Programming Symposium (0 replies, 12/14/90)

Parsers in prolog (2 replies, 12/14/90)

Arity/Prolog 6.0 & Windows 3.0 (0 replies, 12/14/90)

Proceedings of ICLP'90 Workshop on LP Environments (0 replies, 12/15/90)

C in Prolog (0 replies, 12/16/90)

Responses about PROLOG III (0 replies, 12/18/90)

Prolog Inheritance (0 replies, 12/18/90)

co-routining (8 replies, 12/19/90)

Recommended Prologs for Mac (0 replies, 12/21/90)

Second edition of 'The Art of Prolog' (0 replies, 12/21/90)

Constraints system impl. in Prolog? (0 replies, 12/21/90)

SICStus installation (0 replies, 12/21/90)

Applications at Logic Programming Conference (0 replies, 12/21/90)

Freeze/Thaw (0 replies, 12/28/90)

Address for Eidenburgh (0 replies, 12/30/90)

Prolog's Practicability (2 replies, 01/07/91)

LOPSTR'91 workshop - call for participation (0 replies, 01/07/91)

FTPable prolog for Sun 4 systems? (0 replies, 01/09/91)

SICS email address (0 replies, 01/10/91)

FGCS '92 --- Call for Papers (0 replies, 01/10/91)

ALPUK '91 (0 replies, 01/11/91)

Abstract Type in Prolog ? (6 replies, 01/11/91)

Program that prints it self (0 replies, 01/11/91)

Characteristics of typical Prolog programs - Info requested (0 replies, 01/11/91)

address for SICStus (0 replies, 01/15/91)

if-then-else (0 replies, 01/15/91)

returning self (1 reply, 01/15/91)

Research Post In Logic Programming at Bristol University (1 reply, 01/16/91)

Library of AI software (0 replies, 01/16/91)

XProlog - where can i find it? (0 replies, 01/16/91)

X Interface Query (0 replies, 01/18/91)

ftp site of sbprolog? (1 reply, 01/20/91)

Call for Workshop Proposals for 1991 ILPS (0 replies, 01/20/91)

Utilities for prolog programs development (2 replies, 01/21/91)

Problems with Prolog (0 replies, 01/22/91)

ISMIS 91: CALL FOR PAPERS (0 replies, 01/22/91)

Need debugging reference (1 reply, 01/22/91)

Public domain Prolog on Macintosh (0 replies, 01/24/91)

low budget Prolog compiler (1 reply, 01/24/91)

arrays in prolog (43 replies, 01/25/91)

Useful applications of constructive negation (0 replies, 01/25/91)

Call for Papers (4 replies, 01/25/91)

Object oriented PDC Prolog (1 reply, 01/28/91)

recursive =?=> iterative ? (0 replies, 01/28/91)

Job Offer (1 reply, 01/29/91)

looking for Lisp-based Prolog (3 replies, 01/29/91)

Efficiency of DCGs and chart parsers (7 replies, 01/29/91)

Delayed Inequality Predicate (1 reply, 01/30/91)

nice prolog code (0 replies, 01/30/91)

PD Prolog for DEC3100 wanted (0 replies, 01/31/91)

CFP: The Japanese Logic Programming Conference'91 (0 replies, 01/31/91)

'->' operator (14 replies, 01/31/91)

random number generator (5 replies, 01/31/91)

ALPUK'91 Provisional Conference Programme (0 replies, 02/01/91)

ALPUK'91 Conference Registration Form (0 replies, 02/01/91)

rapid prototyping in the "real world" (0 replies, 02/02/91)

Humourous explanation of backtracking in Prolog (0 replies, 02/02/91)

Books for Sale (0 replies, 02/02/91)

LOOKING FOR PD PROLOGS (0 replies, 02/02/91)

Arity/Prolog & DOS 4.X? (2 replies, 02/03/91)

Prolog access to Oracle via tcp/ip (0 replies, 02/04/91)

Bignums, Rationals, Incremental gaussian elimination & simplex (0 replies, 02/04/91)

Quintus ProTalk (1 reply, 02/06/91)

Free Prologs for PCs (2 replies, 02/06/91)

PD Concurrent and Parallel Prologs wanted (1 reply, 02/06/91)

PopLog Literature (1 reply, 02/07/91)

Jobs in IKBS (0 replies, 02/07/91)

Need calendar arithmetic code (1 reply, 02/07/91)

Position offered (0 replies, 02/08/91)

2nd Intl. Conference of Deductive and Object Oriented Databases (0 replies, 02/08/91)

Prolog sources wanted (0 replies, 02/10/91)

Quintus Prolog problem (4 replies, 02/11/91)

Review of "The Craft of Prolog" (4 replies, 02/11/91)

Call for Participation (0 replies, 02/13/91)

Turbo Prolog - bios call problem (0 replies, 02/13/91)

Frontiers of Computer Science: The Bledsoe Symposium (0 replies, 02/13/91)

Size of languages vs libraries (0 replies, 02/13/91)

porting MPROLOG application to Quintus prolog (0 replies, 02/14/91)

Shriek as an operator. (0 replies, 02/14/91)

Cycles in Prolog Data Structures. (0 replies, 02/14/91)

Explanations with LPA-Prolog and FLEX (0 replies, 02/15/91)

2nd Russian Conf. on Logic Programming (0 replies, 02/16/91)

Interesting exercise / NeXT machines (4 replies, 02/16/91)

REQUEST: blackboard/spreadsheet/TMS (1 reply, 02/17/91)

Arity/Prolog & Turbo C++ (0 replies, 02/18/91)

Info on Libraries (0 replies, 02/18/91)

Object Prolog (0 replies, 02/19/91)

Priority queues in Prolog (0 replies, 02/19/91)

Cyclic structures (1 reply, 02/19/91)

CFP ICLP'91 preconference workshop on LP environments (0 replies, 02/19/91)

Improvements to Edinburgh Tools (0 replies, 02/19/91)

Question about operators (1 reply, 02/19/91)

Heaps and other data structures (3 replies, 02/19/91)

Tree drawing (3 replies, 02/19/91)

general data structures are .not. impossible (1 reply, 02/20/91)

show of interest (0 replies, 02/20/91)

Please help me with T-joins (0 replies, 02/20/91)

odd question (1 reply, 02/21/91)

Tools for LR parsers (0 replies, 02/22/91)

Questions on Prolog (1 reply, 02/25/91)

GERMAN TRANSLATOR (0 replies, 02/26/91)

Infinite data structures, object-orientedness (0 replies, 02/26/91)

SICSTUS warning question (1 reply, 02/26/91)

Updates to Edinburgh Tools (1 reply, 02/26/91)

CFP: ICLP Workshop on Language Processing (0 replies, 02/26/91)

CFP - EPIA'91 (0 replies, 02/26/91)

Summary on Bignums, Rationals, Incremental gaussian elimination & simplex (0 replies, 02/27/91)

Turbo Prolog (8 replies, 02/27/91)

Object Oriented Prolog question (5 replies, 02/28/91)

Theorem Prover (2 replies, 02/28/91)

Looking for a PD C-Prolog (0 replies, 03/01/91)

general data structures are impossible (14 replies, 03/01/91)

Looking for MIKE (1 reply, 03/01/91)

Prolog parser bug in reading conditional? Or not? (2 replies, 03/01/91)

Another question on pointers and Prolog. (3 replies, 03/01/91)

Cones (0 replies, 03/02/91)

Computer Language Books FOR SALE ! ! ! (0 replies, 03/02/91)

New ftp archive (0 replies, 03/03/91)

A Type checking/reconstruction procedure for Typed-Prolog (1 reply, 03/03/91)

Does Prolog have an unambiguous syntax definition? (7 replies, 03/04/91)

X-11 Interface for Prolog (0 replies, 03/05/91)

Constructive negation (0 replies, 03/05/91)

CGP: functional, logic progr; parallelism, abstr. data types (0 replies, 03/06/91)

E-mail address for Quintus Corporation?? (0 replies, 03/06/91)

Partial Orders (6 replies, 03/06/91)

general data structures are [not] impossible (3 replies, 03/07/91)

RA position at Bristol University (0 replies, 03/07/91)

Looking for papers by Mike Kieffer of SUNY (0 replies, 03/07/91)

ALLOY: parallel and higher level. (0 replies, 03/07/91)

ALLOY: Parallel anf Higher Level (0 replies, 03/08/91)

LPA Prolog (3 replies, 03/08/91)

nqueens (1 reply, 03/11/91)

JOKE (0 replies, 03/11/91)

LOPSTR'91 Second Call for Participation (0 replies, 03/11/91)

ftp'able prolog (0 replies, 03/12/91)

PEPM'91 Advance Program (0 replies, 03/12/91)

prolog - C++ interface? (0 replies, 03/12/91)

two research posts offered (0 replies, 03/13/91)

A comment on Fifth Generation Project (0 replies, 03/14/91)

LPA Prolog; Address Correction (0 replies, 03/14/91)

Book News (0 replies, 03/14/91)

FTP-able bibliography on partial evaluation (0 replies, 03/15/91)

St. Patrick's Day (0 replies, 03/16/91)

Looking for references on parallel PROLOG (0 replies, 03/18/91)

CFP: Japanese LPC'91 (0 replies, 03/18/91)

DOOD-91 deadline extension (0 replies, 03/18/91)

Known Bugs in Quintus Prolog version 3.0/3.1? (0 replies, 03/19/91)

Call for Poster Papers for ILPS'91 (1 reply, 03/19/91)

Availability of summer position (0 replies, 03/20/91)

Call for participation, ICLP'91 workshop on Object Oriented Logic Programming (0 replies, 03/20/91)

ALPUK'91 Logic Programming Conference (0 replies, 03/21/91)

CORRECTION to the PEPM'91 Advance Program (0 replies, 03/21/91)

simple question (4 replies, 03/22/91)

LPA 386-PROLOG (0 replies, 03/22/91)

Call for Participation PDK'91 (0 replies, 03/25/91)

Free prolog (5 replies, 03/25/91)

LPA address and phone number (0 replies, 03/26/91)

Arity's so-called upgrade (16 replies, 03/26/91)

prolog (3 replies, 03/26/91)

lang.Programming: Likes & Dislikes? (0 replies, 03/26/91)

Programming: Likes & Dislikes? (0 replies, 03/26/91)

Workshop on Semantics Based Analysis of Logic Programs (0 replies, 03/26/91)

AI/Prolog textbooks (0 replies, 03/27/91)

Linguistic approaches to AI (0 replies, 03/27/91)

Prolog-2 (2 replies, 03/27/91)

CFP - 5th Portuguese AI conference; deadline postponement (0 replies, 03/27/91)

Logic Programming Within an Imperative Framework (1 reply, 03/27/91)

PODS and SIGMOD 91 (0 replies, 03/28/91)

RE* Environments (0 replies, 03/28/91)

uniqueness test (3 replies, 03/28/91)

environments (11 replies, 03/29/91)

Prolog on Mac? (1 reply, 03/30/91)

Real Prolog applications (0 replies, 03/30/91)

Aphorism (1 reply, 03/30/91)

Algebraic Simplification Wanted (0 replies, 04/01/91)

Turbo Prolog question (2 replies, 04/01/91)

Prolog interpreter in Scheme, now available (1 reply, 04/02/91)

Your last chance ... (0 replies, 04/02/91)

Logic Program Transformation Sources (0 replies, 04/03/91)

Journals/Editorial speed (0 replies, 04/04/91)

Quintus Prolog for the PC (0 replies, 04/04/91)

SICStus Prolog (2 replies, 04/04/91)

ICLP'91 workshop on Object Oriented Logic Programming: Correction (0 replies, 04/04/91)

LP&NMR Workshop -- Schedule and Registration (1 reply, 04/04/91)

<None> (2 replies, 04/05/91)

Prolog for UNIX ? (7 replies, 04/05/91)

tools for menu-implementation in prolog? (2 replies, 04/06/91)

Real Prolog applicatios? (0 replies, 04/06/91)

CLP (2 replies, 04/06/91)

ICLP'91 programme, have you seen it? (0 replies, 04/06/91)

Is ADA Prolog still supported? (2 replies, 04/07/91)

tools for menu-implementation in prolog? - Windows 3 (0 replies, 04/08/91)

Logic Programming problems and 'benchmarks' (0 replies, 04/08/91)

Logic Programming and Performance Evaluation (0 replies, 04/08/91)

seeking reference to paper (0 replies, 04/09/91)

Real Prolog applications? (1 reply, 04/09/91)

ICLP'91 Program (0 replies, 04/09/91)

ESL Memory Problems? (1 reply, 04/10/91)

ICLP'91 Workshop on Constraint Logic Programming (0 replies, 04/10/91)

Real Prolog applications at Unisys (0 replies, 04/10/91)

CLIPS ftp site/mailing list? (0 replies, 04/11/91)

Real world Apps (0 replies, 04/12/91)

Looking for AI game (0 replies, 04/12/91)

Looking for TPM (1 reply, 04/12/91)

Intro to Constraint Logic Programming? (1 reply, 04/13/91)

Prolog Source? (0 replies, 04/15/91)

PROLOG for the Amiga computer (1 reply, 04/16/91)

Speed of Prologs (3 replies, 04/16/91)

DON DWIGGINS (0 replies, 04/17/91)

Garbage collecting names in Prology (1 reply, 04/17/91)

Prolog for the Amiga---Thanks (0 replies, 04/18/91)

Prolog on MSDOS (0 replies, 04/18/91)

compiling list of NLP companies (0 replies, 04/18/91)

ICLP'91 Workshop on Concurrent Logic Programming (0 replies, 04/18/91)

CFP: Int'l Conference on Fifth Generation Compute (0 replies, 04/18/91)

help (0 replies, 04/18/91)

Prolog for Decstations, Ultrix 4.1 (0 replies, 04/18/91)

How can I get in touch with Quintus (0 replies, 04/19/91)

Natural Language Processing research job (0 replies, 04/19/91)

[C-]Prolog for the Sparcstation (0 replies, 04/20/91)

Garbage collecting names in Prolog (5 replies, 04/23/91)

ALP Newsletter Submission (1 reply, 04/23/91)

converting ascii character lists to functors (8 replies, 04/24/91)

Workshop on V&V of KBS (0 replies, 04/24/91)

PD Prolog for UNIX (0 replies, 04/24/91)

Symposium on Logic Programming (0 replies, 04/25/91)

Turbo Prolog / Turbo C connecting problem (0 replies, 04/26/91)

CfP -- 2nd Russian Conference on Logic Programming (0 replies, 04/26/91)

Pretty-printer from Old SCORE Prolog library (0 replies, 04/27/91)

Summer courses and/or Workshops (0 replies, 04/28/91)

Stack Error in qprolog (0 replies, 04/29/91)

Constraints Intro. Summary (0 replies, 04/29/91)

PDK'91 -- PRELIMINARY PROGRAM and CALL FOR SYSTEM DEMONSTRATIONS (0 replies, 04/29/91)

why do i need an extra carriage return? (0 replies, 04/30/91)

ICLP'91 pre-conference workshop on merging Object-Oriented and Logic programming (0 replies, 05/01/91)

SQL parser (0 replies, 05/01/91)

why do i need an extra carridge return? (4 replies, 05/01/91)

Fallibility of the sane (2 replies, 05/01/91)

Negation in Concurrent Prolog (0 replies, 05/02/91)

Prolog Job Offering (0 replies, 05/03/91)

WAM / Silicon Book Recommendations? (4 replies, 05/03/91)

looking for Prolog (1 reply, 05/03/91)

STRAND88? (1 reply, 05/08/91)

Looking for a copy of Proceedings (0 replies, 05/08/91)

Looking for source code for Prolog (5 replies, 05/08/91)

Neural nets via Prolog (0 replies, 05/09/91)

Last Call for Participation, ICLP workshop on merging OOP and LP (0 replies, 05/09/91)

sbprolog v3.0 on sparc (1 reply, 05/10/91)

Prolog Digest ftp site? (0 replies, 05/10/91)

PDK'91: Preliminary Program and Call for Participation (0 replies, 05/10/91)

Research position (0 replies, 05/10/91)

looking for citation - formal semantics (1 reply, 05/13/91)

PARLOG source code (0 replies, 05/13/91)

8-tiles problem (0 replies, 05/13/91)

ProLog by BIM manuals in Australia (0 replies, 05/15/91)

Seeking Prolog interpreter in Lisp (1 reply, 05/17/91)

Logic Programming - ECRC, Munich (0 replies, 05/19/91)

LP Environments workshop at ICLP'91 (0 replies, 05/21/91)

An Automatic Partial Evaluator for Full Prolog (0 replies, 05/22/91)

CFP Workshop Abstract Interpretation ... postponement (0 replies, 05/22/91)

carridge return (3 replies, 05/23/91)

[Prolog] Collection of 'Folk Theorems' wanted ! (0 replies, 05/23/91)

JOB AD. -- Research Post in Computational Phonology (0 replies, 05/23/91)

Prolog teaching aids ? (0 replies, 05/24/91)

2nd Conf. on Software Engineering and A.I. (0 replies, 05/24/91)

Workshop on Deductive Databases (0 replies, 05/24/91)

SICStus Prolog expert, HELP! (1 reply, 05/25/91)

public domain prolog (4 replies, 05/25/91)

SB-Prolog > March 88 ? (0 replies, 05/25/91)

Parlog references (4 replies, 05/26/91)

Parlog inforation (0 replies, 05/27/91)

PLILP 91 (0 replies, 05/27/91)

References to Visual Prolog (0 replies, 05/29/91)

Debugger Information Request (0 replies, 05/29/91)

Logic programming languages other than Prolog ? (3 replies, 05/30/91)

Help--Prolog books (0 replies, 05/30/91)

AQ-type learning algorithm anyone? (0 replies, 05/30/91)

ICLP '91 workshop on Par LP: Call for Participation (0 replies, 05/30/91)

E-mail address of M. Hermenegildo wanted (0 replies, 05/31/91)

C/PRolog integration (0 replies, 05/31/91)

CFP - 8th IEEE Conference on AI for Applications (0 replies, 06/01/91)

information sought on public AI systems (0 replies, 06/02/91)

Prolog books: Summary (0 replies, 06/06/91)

Need UNSW for sun. (0 replies, 06/06/91)

CFP: Logic and Change (0 replies, 06/07/91)

call for project summaries (0 replies, 06/07/91)

Trapping interrupts cleanly (3 replies, 06/10/91)

CALL FOR PAPERS - 1992 ACM Symposium on Applied Computing (0 replies, 06/10/91)

"Embedded Prolog" in C code (15 replies, 06/11/91)

Implementing Prolog in OOPS (1 reply, 06/11/91)

Looking for Prolog for Unix (0 replies, 06/12/91)

Quintus prolog vendor in Australia... (0 replies, 06/13/91)

Extensible Unification (0 replies, 06/13/91)

ICLP'91 Preconference Workshop (1 reply, 06/14/91)

Looking for constraint based language (0 replies, 06/14/91)

Prolog Graphics (0 replies, 06/14/91)

ANSI Standard Prolog (4 replies, 06/15/91)

ALLOY, parallel, higher level, and flexible. V2.0 (1 reply, 06/15/91)

ICLP Worshop on Constraint Logic Programming (0 replies, 06/15/91)

standards, Scheme, Prolog (2 replies, 06/15/91)

Ignorant question about Logic and prolog (3 replies, 06/17/91)

list of LP related KUL-CW reports since 1986 (0 replies, 06/17/91)

Specifying types (4 replies, 06/17/91)

program testing (0 replies, 06/17/91)

Concerning standards. (3 replies, 06/18/91)

"Unbinding" in Prolog (0 replies, 06/18/91)

Parallel/Concurrent Logic Programming Languages (1 reply, 06/19/91)

block and exit_block (10 replies, 06/19/91)

IJCAI-91 Early Registration (0 replies, 06/20/91)

Who has 'C-Prolog'? (1 reply, 06/20/91)

Poor state of Mac Prologs (2 replies, 06/20/91)

NU Prolog and Stony Brook Prolog (2 replies, 06/20/91)

IWMM, International workshop on Memory management, 92, call for papers (0 replies, 06/21/91)

Seeking prepublication reviewers for AI Programming w/ Prolog Text (0 replies, 06/23/91)

IJCAI early registration (0 replies, 06/24/91)

4-port debugger (4 replies, 06/24/91)

Array implementation in (1 reply, 06/24/91)

better than 4-port debugger (2 replies, 06/25/91)

Summary of Parallel/Concurrent Logic (0 replies, 06/25/91)

"Array implementation" summary, and even more questions .. (0 replies, 06/26/91)

Looking for an elusive Prolog textbook (0 replies, 06/26/91)

Prolog-III: any experience? (0 replies, 06/26/91)

List of Folk Theorems (3 replies, 06/26/91)

origin of "arity" (9 replies, 06/26/91)

"ILPS91 Preliminary Program Announcement" (0 replies, 06/27/91)

suggestions for Mac lisp or prolog? (0 replies, 06/27/91)

Representing graphs? (5 replies, 06/30/91)

ILPS 91 Workshop on Language Issues in Logic Programming (0 replies, 07/01/91)

HELP!! Need a square root function/predicate in Prolog (3 replies, 08/10/12)