A set of extensions to Prolog