Resolution in Prolog

Article View: comp.lang.prolog

Article #3790

#3790

From: Giordano Pezzoli
Date: Thu, 17 Nov 1988 16:54

20 lines
1045 bytes

Hi,

I'm finding reference, hint, source about resolution in Prolog.
I'm trying to build a complete resolutor, that is a first order
language interpreter that translate axioms and thesis in clause
form; then apply a resolution method to prove the thesis from
axioms.

Any suggestion is welcome,

Gio`

+-----------------------------------------------------------------------+
|	UUCP: ...!mcvax!i2unix!crcc!gio			***** *		|
|	Pezzoli Giordano				*	   \	|
|	CRCC Informatica s.r.l.				*  ** *	*** \	|
|	via Passerini 2, 20052 Monza (ITALY).		*   * *	* *	|
|	Phone: 039-387998.				***** * ***	|
+-----------------------------------------------------------------------+

Technical Details

Message-ID: <436@crcc.UUCP>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!watmath!clyde!att!osu-cis!tut.cis.ohio-state.edu!mailrus!ames!amdahl!uunet!mcvax!i2unix!crcc!gio

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!watmath!clyde!att!osu-cis!tut.cis.ohio-state.edu!mailrus!ames!amdahl!uunet!mcvax!i2unix!crcc!gio
From: gio@crcc.UUCP (Giordano Pezzoli)
Newsgroups: comp.lang.prolog
Subject: Resolution in Prolog
Keywords: Resolution
Message-ID: <436@crcc.UUCP>
Date: 17 Nov 88 16:54:28 GMT
Organization: CRCC informatica - Monza, Italy
Lines: 20