Various quick utility clauses in Prolog