SB-Prolog & recorda/recorded

Article View: comp.lang.prolog

Article #3759

#3759

From: Madhu Murthy
Date: Mon, 07 Nov 1988 19:12

15 lines
617 bytes

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.

Technical Details

Message-ID: <11473@srcsip.UUCP>

Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!husc6!uwvax!umn-d-ub!nic.MR.NET!shamash!nis!ems!srcsip!pokey!murthy

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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