logo       

ERROR: asserta/1: No permission to modify static_procedure `$shell/2': msg#01614

Subject: ERROR: asserta/1: No permission to modify static_procedure `$shell/2'

I built a x86_64-linux SWI-Prolog.  I would like to undefined (or redefine)
'$shell'/2.

I am not sure what I am missing or was it just the 64bit build? 




Welcome to SWI-Prolog (Multi-threaded, Version 5.5.39)
Copyright (c) 1990-2005 University of Amsterdam.
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software,
and you are welcome to redistribute it under certain conditions.
Please visit http://www.swi-prolog.org for details.

For help, use ?- help(Topic). or ?- apropos(Word).

?- redefine_system_predicate('$shell'/2).

Yes
?- asserta('$shell'(_,_)).
ERROR: asserta/1: No permission to modify static_procedure `$shell/2'


?- predicate_property('$shell'(_,_),X).

X = built_in ;

X = foreign ;

X = imported_from(system) ;

X = notrace ;

X = nodebug ;

No


What am I forgetting?

Thank you in advance.












<Prev in Thread] Current Thread [Next in Thread>