Utilities for playing with SWI Prolog