Explicit unification (=/2)

From: Ulrich Scholz <scholz_at_inferenzsysteme.informatik.tu-darmstadt.de>
Date: Mon 26 May 2003 01:25:25 PM GMT
Message-ID: <20030526132525.GA14387@kiwi.intellektik.informatik.tu-darmstadt.de>
Dear all,

Point 31 of Appendix A (Style Guide) in document "Developing Applications with
ECLiPSe" states

31. Explicit unification (=/2) should be replaced with unification inside
terms where possible. 

Mmh, I'm sure I just haven't looked close enough, but what is "unification
inside terms"?  And how to do it without "="? 


Ulrich Scholz

Received on Mon May 26 15:12:32 2003

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:07:24 PM GMT GMT