Sequent Theorem Prover

Article View: comp.lang.prolog

Article #1470

#1470

From: Jose de Siqueira
Date: Thu, 29 Nov 1990 18:56

15 lines
1034 bytes

	Somebody I don't recall the name wrote an article about writing a
sequent theorem
prover in Prolog. I am actually writing one and would like to share
experiences with anyone interested in the matter. I am most interested
in control issues, but any discussion related to sequent calculus and
its implementation is welcome.
	Greetings,
	Jose'.
-- 
	js@lri.lri.fr
					    Plus jamais,
							le temps de toujours...

							    Jose' de Siqueira

Technical Details

Message-ID: <1990Nov29.185620@sun34.lri.fr>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!watserv1!watmath!att!linac!pacific.mps.ohio-state.edu!zaphod.mps.ohio-state.edu!think.com!mintaka!bloom-beacon!eru!hagbard!sunic!mcsun!inria!lri!sun34!js

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!watserv1!watmath!att!linac!pacific.mps.ohio-state.edu!zaphod.mps.ohio-state.edu!think.com!mintaka!bloom-beacon!eru!hagbard!sunic!mcsun!inria!lri!sun34!js
From: js@sun34.lri.fr (Jose de Siqueira)
Newsgroups: comp.lang.prolog
Subject: Sequent Theorem Prover
Keywords: Sequentzen Calculus, theorem prover, control
Message-ID: <1990Nov29.185620@sun34.lri.fr>
Date: 29 Nov 90 18:56:20 GMT
Sender: ingres@lri.lri.fr
Reply-To: js@sun34.lri.fr (Jose de Siqueira)
Organization: LRI - Univ. Paris-Sud / CNRS URA 410
Lines: 15
Nntp-Posting-Host: sun34