tests for prolog
Merge branch 'asp' of https://github.com/hanm/clang into asp