A deductive approach for solving probabilistic logic problems