Save the history of prolog predicates