Re: Resolution in Prolog

Article View: comp.lang.prolog

Article #3818

#3818

From: Kave Eshghi
Date: Fri, 09 Dec 1988 17:39

10 lines
626 bytes

You might benefit from looking at the following paper:
A Prolog Technology Theorem Prover
by Marc Stickle.
It is published in the proceedings of Conference on Automated Deduction (1986)
Marc Stickle is at SRI International.

Have Fun

Kave Eshghi

Technical Details

Message-ID: <1600017@otter.hpl.hp.com>

Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!lll-winken!lll-tis!helios.ee.lbl.gov!pasteur!ucbvax!hplabs!otter!ke

References: <436@crcc.UUCP>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!lll-winken!lll-tis!helios.ee.lbl.gov!pasteur!ucbvax!hplabs!otter!ke
From: ke@otter.hpl.hp.com (Kave Eshghi)
Newsgroups: comp.lang.prolog
Subject: Re: Resolution in Prolog
Message-ID: <1600017@otter.hpl.hp.com>
Date: 9 Dec 88 17:39:39 GMT
References: <436@crcc.UUCP>
Organization: Hewlett-Packard Laboratories, Bristol, UK.
Lines: 9

Reply to Parent Message