BProlog loading ...