Minor updates to Prolog