Edinburgh standard Prolog