Newsgroups: comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!howland.reston.ans.net!EU.net!uknet!comlab.ox.ac.uk!comlab.oxford.ac.uk
From: Stephen.McKeever@comlab.oxford.ac.uk
Subject: Unification free execution
Message-ID: <9503221135.AA11918@client44.comlab.ox.ac.uk>
Date: Wed, 22 Mar 95 11:35:06 GMT
X-Mailer: mail-news 2.0.3
Lines: 13



I'm looking for work describing how to analyse a set of inference rules,
horn clauses if you like, in order to detect where unification can be 
replaced by pattern matching.

Thanks,

Steve McKeever
Oxford University Computing Laboratory
Wolfson Building
Parks Rd
Oxford OX1 3QD
