Path: utzoo!attcan!uunet!husc6!uwvax!umn-d-ub!nic.MR.NET!shamash!nis!ems!srcsip!pokey!murthy From: murthy@pokey.SRC.Honeywell.COM (Madhu Murthy) Newsgroups: comp.lang.prolog Subject: SB-Prolog & recorda/recorded Message-ID: <11473@srcsip.UUCP> Date: 7 Nov 88 19:12:21 GMT Sender: news@src.honeywell.COM Lines: 15 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.