tprologc compiles
Merge branch 'master' of https://bitbucket.org/yingted/openturing
add test files