Prolog details refined and switched to tags
Deleted platform info
Merge pull request #2734 from alnkpa/master

Prolog refined and switched to tags