Now you see it, now you don't...

View: New views

2 Messages — Rating Filter: Alert me

Now you see it, now you don't...

by Günter Kniesel :: Rate this Message:

Reply to Author | View Threaded | Show Only this Message

Hi,

here is is a bug:

?- predicate_property(system:call(_), built_in).
true.

?- current_predicate(_, M:H), M:H = system:call(_).
M = system,
H = call(_G3132)

?- current_predicate(_, M:H), predicate_property(M:H,built-in).
false.

Given the two initial results, the third one is a real surprise,
albeit a not so welcome one ;)

Günter

_______________________________________________
SWI-Prolog mailing list
SWI-Prolog@...
https://mailbox.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog

Re: Now you see it, now you don't...

by Tim Verweij :: Rate this Message:

Reply to Author | View Threaded | Show Only this Message

built-in should be built_in

Tim

2009/9/16 Günter Kniesel <gk@...>

Hi,

here is is a bug:

?- predicate_property(system:call(_), built_in).
true.

?- current_predicate(_, M:H), M:H = system:call(_).
M = system,
H = call(_G3132)

?- current_predicate(_, M:H), predicate_property(M:H,built-in).
false.

Given the two initial results, the third one is a real surprise,
albeit a not so welcome one ;)

Günter

_______________________________________________
SWI-Prolog mailing list
SWI-Prolog@...
https://mailbox.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog