ken@aiai.ed.ac.uk (Ken Johnson) (09/13/89)
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.'