Persistent predicates for prolog