Purpose – The purpose of this paper is to present a new heuristic approach for finding errors and possible improvements in business process models. Design/methodology/approach – First, the paper translates the information that is included in a model into a set of Prolog facts. It then...