Replying to my own email here with the solution to my problem.
Instead of
?- redefine_system_predicate('$shell'/2).
It would of worked if I had used
?- redefine_system_predicate('$shell'(_,_)).
:)
-----Original Message-----
From: owner-prolog@xxxxxxxxxxxxxx [mailto:owner-prolog@xxxxxxxxxxxxxx] On
Behalf Of Douglas R. Miles
Sent: Friday, December 23, 2005 8:12 PM
To: prolog@xxxxxxxxxxxxxx
Subject: [SWIPL] 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.
------------
For further info, please visit http://www.swi-prolog.org/
To unsubscribe, send a plaintext mail with "unsubscribe prolog <e-mail>"
in its body to majordomo@xxxxxxxxxxxxxx
|
