From | Subject | Received |
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 |