Did you know ... Search Documentation:
Predicate unload_file/1
Availability:built-in
Sourceunload_file(+File)
Remove all clauses loaded from File. If File loaded a module, clear the module's export list and disassociate it from the file. File is a canonical filename or a file indicator that is valid for load_files/2.

This predicate should be used with care. The multithreaded nature of SWI-Prolog makes removing static code unsafe. Attempts to do this should be reserved for development or situations where the application can guarantee that none of the clauses associated to File are active.

Tags are associated to your profile if you are logged in
Tags:
Stuart Reynolds said (2020-05-04T15:43:49):0 upvotes 0 0 downvotes
Picture of user Stuart Reynolds.

If we can

load_files('f.pl', [module(modname)]).

, and the files contents are added to module modname, what happens when we

unload_file('f.pl'),

how can it know what the right module is?