Path: utzoo!utgpu!watmath!clyde!att!pacbell!ames!eos!labrea!sri-unix!quintus!ok
From: ok@quintus.uucp (Richard A. O'Keefe)
Newsgroups: comp.lang.prolog
Subject: Re: Resolution in Prolog
Keywords: Resolution
Message-ID: <715@quintus.UUCP>
Date: 20 Nov 88 07:21:01 GMT
References: <436@crcc.UUCP>
Sender: news@quintus.UUCP
Reply-To: ok@quintus.UUCP (Richard A. O'Keefe)
Organization: Quintus Computer Systems, Inc.
Lines: 7

In article <436@crcc.UUCP> gio@crcc.UUCP (Giordano Pezzoli) writes:
>I'm finding reference, hint, source about resolution in Prolog.

You might like to look at the book
	The Computer Modelling of Mathematical Reasoning
	by Alan Bundy; 1983;
	Academic Press; ISBN 0-12-141352-0