Title: Utility procedures in PROLOG