Stratified_logic_program loading ...