From: Ken Johnson
Subject: Total ordering
Date: Wed, 13 Sep 1989 16:15:45 +0000
Message-ID: <883@skye.ed.ac.uk>

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 ···@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.'