Prolog refined and switched to tags

This refines the information for the Prolog syntax highlighting and switches to real tag versioning.