Newsgroups: comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!howland.reston.ans.net!EU.net!Germany.EU.net!Munich.Germany.EU.net!ecrc!news
From: micha@ecrc.de (Micha Meier)
Subject: Re: generalisation
Message-ID: <D52CC3.JJH@ecrc.de>
Sender: news@ecrc.de
Reply-To: micha@ecrc.de
Organization: European Computer-Industry Research Centre
References: <3jg3nu$kdt@lyra.csx.cam.ac.uk>
Date: Tue, 7 Mar 1995 09:14:26 GMT
Lines: 18

In article kdt@lyra.csx.cam.ac.uk, etg10@cl.cam.ac.uk (Edmund Grimley-Evans) writes:
> Given two (or more) Prolog terms what's the neatest way of find the
> most specific Prolog term that subsumes them?

In eclipse, it is

:- lib(propia).
call(msg(T1, T2, Msg), propia).

--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


