Fixing parametric point example (and removing quasi-identical test)
Moving point examples out of prolog directory (current directory is meant
to contain all the inferenc examples as we write them).
Merge branch 'asp' of github.com:hanm/clang into asp
Modifying makefiles to include and link in the swi-prolog library needed
to invoke prolog from our checker.