[PPL-devel] Re: [SWIPL] A question on install() and uninstall() in foreign modules