Re: Resolution in Prolog

Article View: comp.lang.prolog

Article #3791

#3791

From: Richard A. O'Keefe
Date: Sun, 20 Nov 1988 07:21

7 lines
720 bytes

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

Technical Details

Message-ID: <715@quintus.UUCP>

Path: arc1-ca.pugleaf.net!utzoo!utgpu!watmath!clyde!att!pacbell!ames!eos!labrea!sri-unix!quintus!ok

References: <436@crcc.UUCP>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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

Reply to Parent Message