Newsgroups: comp.ai.edu
Path: cantaloupe.srv.cs.cmu.edu!rochester!udel!gatech!howland.reston.ans.net!pipex!uknet!newsfeed.ed.ac.uk!leeds.ac.uk!news
From: hatala@scs.leeds.ac.uk (M Hatala)
Subject: resolution in predicate logic
Message-ID: <1995May5.123713.9237@leeds.ac.uk>
NNTP-Posting-Host: csgi60.leeds.ac.uk
Organization: The University of Leeds, School of Computer Studies
Date: Fri, 5 May 1995 13:37:12 +0100 (BST)
Lines: 9

I am looking for the resolution algorithm in Predicate Logic 
programmed in Common Lisp. I prefere simpler (running) solution, 
from which I can cut some pieces and let students to fill in the gaps.

Any suggestions?

Thanks, Marek Hatala (hatala@scs.leeds.ac.uk)


