Prolog: complete subsection for simple clauses and queries