Article View: comp.lang.prolog
Article #64Re: term comparisons with variables
From: Olivier Ridoux
Date: Tue, 04 Aug 1992 11:08
Date: Tue, 04 Aug 1992 11:08
11 lines
795 bytes
795 bytes
From article <271@ininx.UUCP>, by jkreznar@ininx.UUCP (John E. Kreznar): > > I still have the question: What's a good way to represent sets of equivalence > classes of terms, where two terms are equivalent if they are variants. > Use LambdaProlog. It handles alpha-conversion properly and has many more goodies. In any case, try to never represent variables as logical variables. Logical variables stand for arbitraly terms. Olivier Ridoux
Technical Details
Message-ID:
<1992Aug4.110805.14532@irisa.fr>Path:
arc1-ca.pugleaf.net!sparky!uunet!mcsun!corton!irisa!ridouxReferences:
<271@ininx.UUCP>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!corton!irisa!ridoux From: ridoux@irisa.fr (Olivier Ridoux) Newsgroups: comp.lang.prolog Subject: Re: term comparisons with variables Message-ID: <1992Aug4.110805.14532@irisa.fr> Date: 4 Aug 92 11:08:05 GMT References: <271@ininx.UUCP> Sender: news@irisa.fr Organization: IRISA, Rennes (Fr) Lines: 11