Renamed Prolog files to use a less ambiguous suffix
Updated & clarified readme.