[reasoning] added a MAX predicate + some missing symbol exports.
Merge pull request #20 from gaya-/reasoning_stuff_branch

MAX Prolog predicate