Add Prolog

[sebdumancic]

this is almost a complete wrapper: https://github.com/Herb-AI/HerbProlog.jl.
Just needs to be adapted to Herb

[sebdumancic]

this repo implements all the functionality and works. The remaining challenge is how to make a general translation from RuleNode to Prolog. We probably have to introduce some assumptions/restrictions on the grammar.