ADDED: I/O wrappers for most common Prolog I/O and listing/0,1