El código máquina entre el punto de entrada para una rutina de lenguaje ensamblador y el código para su primera declaración ejecutable. Prolog establece el marco de pila y conserva cierta registra valores.