Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!wuarchive!brutus.cs.uiuc.edu!ginosko!uunet!mcsun!ukc!edcastle!aiai!ken
From: ken@aiai.ed.ac.uk (Ken Johnson)
Newsgroups: comp.lang.lisp
Subject: Total ordering
Keywords: prolog
Message-ID: <883@skye.ed.ac.uk>
Date: 13 Sep 89 16:15:45 GMT
Reply-To: ken@aiai.UUCP (Ken Johnson)
Followup-To: comp.lang.lisp
Organization: AIAI, University of Edinburgh, Scotland
Lines: 17

Here is an example of how the ordering of two objects can change during
the execution of a conjunction:

| ?- A @< B.			( The variable created first collates
				( before the variable created later
     A=_125451
     B=_125468
yes
| ?- A @< B, A = b, B = a, A @< B.	( After instantiation the order
no					( is different


-- 
Ken Johnson, AI Applications Institute, 80 South Bridge, Edinburgh EH1 1HN
E-mail ken@aiai.ed.ac.uk, phone 031-225 4464 extension 212
`I have read your article, Mr.  Johnson, and I am no wiser than when I
started.' -- `Possibly not, sir, but far better informed.'