All predicatesShow sourcepldoc_style.pl