ابن مملك ، هو : يعلى .