An evaluation system for Prolog dedicated processors