Prolog: new clauses subsection