Loading Programs into Prolog