I’m using: SWI-Prolog version 8.1.12
I load a program “load.pl” containing a directive “:- ensure_loaded(a).” where a.pl contains a single clause, say “a(a).”.
When I modify a.pl in my editor (e.g. to “a(b).”) and call make/0 in my top-level, my prolog program gets updated as expected.
If I then delete file a.pl (e.g. delete_file(‘a.pl’).) and then call make/0, my program does not change, and no error is thrown.
Could you please help to clarify, what should be the expected behaviour of make/0, when one of the loaded files goes out of existence?