WIS codification for prolog programs execution