``max`` Prolog predicate

Some symbol exports where missing, like for ``append`` and ``sort`` etc. so I added them. I'm actually not sure if that is needed but it was exported, e.g., for ``member``, so...