From | Subject | Received |
RESTIVO@SU-SCORE.ARPA |
PROLOG Digest V3 #35
|
Wed, 7-Aug-85 04:17:43 EDT |
allen@gitpyr.UUCP (P. Allen Jensen) |
Prolog based Software Specification Language
|
Mon, 12-Aug-85 06:26:48 EDT |
peter@yetti.UUCP (Runge) |
Supplement to C-Prolog manual (Grammars, Exanmples, etc.) [906 lines]
|
Mon, 12-Aug-85 09:54:17 EDT |
allen@gitpyr.UUCP (P. Allen Jensen) |
Program Specification Languages
|
Mon, 12-Aug-85 23:57:59 EDT |
allen@gitpyr.UUCP (P. Allen Jensen) |
Specification and the Synthesis of Logic Programs
|
Tue, 20-Aug-85 01:06:00 EDT |
RESTIVO@SU-SCORE.ARPA |
PROLOG Digest V3 #36
|
Fri, 23-Aug-85 19:44:31 EDT |
nabiel@erix.UUCP (Nabiel Elshiewy) |
Re: Specification and the Synthesis of Logic Programs
|
Sat, 24-Aug-85 17:30:00 EDT |
geb@cadre.ARPA (Gordon E. Banks) |
prolog questions
|
Sat, 24-Aug-85 17:49:52 EDT |
darrelj@sdcrdcf.UUCP (Darrel VanBuer) |
Xerox announces Quintus Prolog
|
Sun, 25-Aug-85 01:58:29 EDT |
shebs@bcsaic.UUCP (stan shebs) |
Re: Specification and the Synthesis of Logic Programs
|
Sun, 25-Aug-85 03:55:15 EDT |