Automatic source code formatting This bundle implements source code formatting and style checking for Ciao (and Prolog) source code. NOTE: Use with care. Checks that the output file is syntactically equivalent to the input are not currently implemented.