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.