Newsgroups: comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!rochester!udel!news.sprintlink.net!howland.reston.ans.net!Germany.EU.net!nntp.gmd.de!news.rwth-aachen.de!news.rhrz.uni-bonn.de!news.uni-stuttgart.de!uni-regensburg.de!fauern!gs.dfn.de!tubsibr!infbssys!waterman
From: waterman@ips.cs.tu-bs.de (Rolf Watermann)
Subject: resolution machine with non-unitary unification
Message-ID: <D5LDFn.H1G@ips.cs.tu-bs.de>
Sender: news@ips.cs.tu-bs.de (News Software)
Nntp-Posting-Host: infbsps7.ips.cs.tu-bs.de
Organization: Inst. f. Informatik, TU Braunschweig, FRG
X-Newsreader: TIN [version 1.2 PL2]
Date: Fri, 17 Mar 1995 15:52:34 GMT
Lines: 15

Hi,

I'm interested in resolution machines working with non-unitary
unification algorithms (i.e. two literals may have several mgu's,
which leads to a new kind of choicepoints). Does anybody know papers
about this or implementations of such machines?

Please reply by e-mail, I'll summarize the results.

Thanks, Rolf


_____________________________
Rolf Watermann
(waterman@ips.cs.tu-bs.de)
