[comp.lang.prolog] SB-Prolog & recorda/recorded

murthy@pokey.SRC.Honeywell.COM (Madhu Murthy) (11/08/88)

Hi: The following doesn't seem to work for me in our version of SB-Prolog

| ?- recorda(a, (x, y), _).
yes

Then 

| ?- recorded(a, X, _).  <-- FAILS
no


However recorda, recorded do work when the term is an atom.

Can somebody tell me how to fix this problem please ? Thanks.