PublicShow sourceprolog_predicate.pl