Prolog_syntax_and_semantics loading ...