Prolog practice code