I am having trouble making the following code work:
write('Z1 = '), write(Z1),nl,
where the call out to outcome() is expected to select the first database entry, then test for approximate equality with an instantiated variable, then do stuff. If it fails the Z1~= X, then it should backtrack to select the next entry. It fails the test every time, even though I know X has an equivalent entry in the database?
Can anyone help please? How sensitive is the ~= function?