On Saturday 24 December 2005 05:11, Douglas R. Miles wrote:
> 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?
Most likely not. Use :- system_mode(on) before the assert and it may
work.
--- Jan
>
>
>
>
> 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
|
