Logic_programming loading ...