Added answers from Prolog Site.