Once i_prolog.pl is loaded, it stays loaded and the engine stays running until the application ends?

Yes, that's it. In this regard, Prolog is similar to Perl, once you load a module, the subs/predicates defined there remain defined until you shutdown the program.