backticks added for prolog mode