execute prolog binary