Some remarks on the possibility of extending resolution proof procedures to intuitionistic logic.