FromSubjectReceived
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