Visual prolog expression is used when a formula is expected