PROLOG Digest V5 #41

Article View: comp.lang.prolog

Article #2690

#2690

From: Chuck Restivo, The Moderator
Date: Sun, 21 Jun 1987 09:58

63 lines
2783 bytes

PROLOG Digest            Monday, 22 Jun 1987       Volume 5 : Issue 41

Today's Topics:
                     Query - Prover Availability,
                 Announcement - CADE9 Call for Papers
----------------------------------------------------------------------

Date: Thu 11 Jun 87 13:59:56-CDT
From: Loren Terveen <cs.terveen@R20.UTEXAS.EDU>
Subject: prover

Last summer or fall someone posted a message to the net describing a
full first-order logic theorem prover written in Prolog, and gave an
address from which it could be ftp'd.

Would the author please re-post the address to the Digest?

-- Loren Terveen

------------------------------

Date: Mon, 15 Jun 87 21:05:28 cdt
From: Rick L. Stevens <stevens@anl-mcs.ARPA> 
Subject: CADE-9 Call for Papers

             Preliminary Announcement and Call for Papers
         9th International Conference on Automated Deduction
                           May 23-26, 1988

CADE-9 will be held at Argonne National Laboratory (near Chicago) in
celebration of the 25th anniversary of the discovery of the resolution
principle at Argonne in the sum- mer of 1963.  Papers are invited in
the following or related fields:

Theorem Proving                  Logic Programming
Unification                      Deductive Databases
Term Rewriting                   ATP for Non-Standard Logics
Program Verification             Inference Systems

The Program Committee includes:

Peter Andrews                            Hans-Jorgen Ohlbach
W.W. Bledsoe                             Ross Overbeek
Alan Bundy                               William Pase
Seif Haridi                              Jorg Siekmann
Larry Henschen                           Jim Williams
Dallas Lankford                          Mark Stickel
Ewing Lusk
Michael MacRobbie

Papers should be sent to arrive before November 23rd, 1987 to

        Ewing Lusk and Ross Overbeek, Chairmen
        CADE-9
        Mathematics and Computer Science Division
        Argonne National Laboratory
        Argonne, IL 60439

------------------------------

End of PROLOG Digest
********************

Technical Details

Message-ID: <8706220723.AA08397@ucbvax.Berkeley.EDU>

Path: arc1-ca.pugleaf.net!utzoo!mnetor!seismo!rutgers!ames!ucbcad!ucbvax!SUSHI.STANFORD.EDU!PROLOG-REQUEST

Show Full Headers

Complete Article Headers

Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: arc1-ca.pugleaf.net!utzoo!mnetor!seismo!rutgers!ames!ucbcad!ucbvax!SUSHI.STANFORD.EDU!PROLOG-REQUEST
From: PROLOG-REQUEST@SUSHI.STANFORD.EDU (Chuck Restivo, The Moderator)
Newsgroups: comp.lang.prolog
Subject: PROLOG Digest   V5 #41
Message-ID: <8706220723.AA08397@ucbvax.Berkeley.EDU>
Date: Sun, 21-Jun-87 05:58:00 EDT
Article-I.D.: ucbvax.8706220723.AA08397
Posted: Sun Jun 21 05:58:00 1987
Date-Received: Tue, 23-Jun-87 01:36:57 EDT
Sender: daemon@ucbvax.BERKELEY.EDU
Reply-To: PROLOG@SUSHI.STANFORD.EDU
Distribution: world
Organization: The ARPA Internet
Lines: 63