All predicatesShow sourceprolog_predicate.pl