- print_goal(+Goal)
- Print an sCASP goal. The first clause does the actual work at the
moment to emit the goal as closely as we can to the Ciao output such
that we can compare traces created using
scasp -v. The second
uses default notation for constraints.