Path: 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


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