Predicate_Logic loading ...