reformatted READMEs
properly credited @sermoa
new erlang resource
Merge branch 'prolog'
No Mercury on GH