[Xsb-development] [ xsb-Bugs-2586019 ] pu_attr does not work as expected.

[SourceForge.net <no...@so...>]

Bugs item #2586019, was opened at 2009-02-10 19:20
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=101176&aid=2586019&group_id=1176

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: Other
Group: None
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: Victor Pablos Ceruelo (victorpablos)
Assigned to: Nobody/Anonymous (nobody)
Summary: pu_attr does not work as expected.

Initial Comment:
As the 1st reply was not expected, I tried with second one.
I'm trying to implement constructive intensinal negation, and this could reduce a lot the main problem.

| ?- put_attr(X,_,X\==s(0)), p(X).

X = 0;

X = s(0);

X = s(s(0));

X = s(s(s(0)));

X = s(s(s(s(0))))

yes
| ?- put_attr(X,_,X=s(0)), p(X).

X = s(0);

no
| ?- 

Regards, 

Victor

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=101176&aid=2586019&group_id=1176