A tool to check operational properties of Prolog programs with application to program construction and program optimization – Tool demonstration