Predicate logic as a computational formalism