All predicatesShow sourcetutorial.pl