FromSubjectReceived
jce@floyd.UUCP prolog usage query Thu, 30-Jun-83 02:21:26 EDT
pwh@gatech.UUCP implementations Sun, 3-Jul-83 01:22:37 EDT
bts@unc.UUCP How many Prologs are there? Sun, 3-Jul-83 01:23:25 EDT
tombl@ogcvax.UUCP (Tom Blenko) bug in CProlog grammar rules Tue, 12-Jul-83 05:50:29 EDT
PROLOG-REQUEST@SU-SCORE.ARPA PROLOG Digest V1 #13 Fri, 15-Jul-83 10:15:21 EDT
claude@eagle.UUCP (Claude Sammut (sponsor-arf)) Change of address for Claude Sat, 16-Jul-83 20:09:15 EDT
bts@unc.UUCP Prolog trace program in net.sources Tue, 19-Jul-83 17:26:58 EDT
Tombl@Berkeley@OgcVax.UUCP CProlog Bug Fri, 22-Jul-83 12:46:28 EDT
SHardy%SRI-KL@sri-unix.UUCP Equal On Terms Fri, 22-Jul-83 20:35:42 EDT
SHardy%SRI-KL@sri-unix.UUCP Environment On DEC-20 Fri, 22-Jul-83 20:36:50 EDT
Vijay.Saraswat@CMU-CS-A@sri-unix.UUCP More On Equal Sat, 23-Jul-83 18:47:09 EDT
Pereira@SRI-AI@sri-unix.UUCP Prolog-20 And C-Prolog Queries Sat, 23-Jul-83 18:49:21 EDT
Abbott@AEROSPACE@sri-unix.UUCP Equality In Prolog Sat, 23-Jul-83 18:51:27 EDT
ok@edai.UUCP Re: Equal On Terms Sun, 24-Jul-83 02:43:33 EDT
ok@edai.UUCP (Richard O'Keefe) Re: Bug in C-Prolog Grammar-Rule Preprocessor Sun, 24-Jul-83 04:21:27 EDT
Abbott@AEROSPACE@sri-unix.UUCP Puzzle Fri, 29-Jul-83 05:59:33 EDT
Warren@SRI-AI@sri-unix.UUCP Puzzle Solution Mon, 1-Aug-83 08:21:45 EDT
Foonberg@AEROSPACE@sri-unix.UUCP Liars & Truthtellers Mon, 1-Aug-83 08:24:16 EDT
Abbott@AEROSPACE@sri-unix.UUCP Liars and Truth Tellers Mon, 1-Aug-83 08:27:59 EDT
pwh@gatech.UUCP CProlog contact Thu, 4-Aug-83 15:17:55 EDT
ok@edai.UUCP (Richard O'Keefe) Prolog type checker submitted to net.sources Fri, 5-Aug-83 10:42:02 EDT