Newsgroups: comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!news.mathworks.com!udel!gatech!howland.reston.ans.net!Germany.EU.net!Munich.Germany.EU.net!ecrc!news
From: micha@ecrc.de (Micha Meier)
Subject: Re: Q: How to combine instance and unify?
Message-ID: <CzEMnI.94v@ecrc.de>
Sender: news@ecrc.de
Reply-To: micha@ecrc.de
Organization: European Computer-Industry Research Centre
References: <3a83pi$164f@rs18.hrz.th-darmstadt.de>
Date: Thu, 17 Nov 1994 09:06:53 GMT
Lines: 17

In article 164f@rs18.hrz.th-darmstadt.de,  raab@rbg.informatik.th-darmstadt.de (andreas raab) writes:
>Is it possible to combine matching and unification efficiently?

Yes, try the eclipse built-in predicate compare_instances/3. It is like compare/3,
but it checks for variants and instances.

--Micha



---
Micha Meier			------------------------------------------------
ECRC, Arabellastr. 17		The opinions expressed above are private
D-81925 Munich 81		and may not reflect those of my employer.
micha@ecrc.de, Tel. +49-89-92699-108, Fax  +49-89-92699-170


