失信拉黑的程序主要包括以下几种方式：
法院自动将被执行人列入黑名单
通常在法院强制执行未果，且被执行人符合失信行为的条件时，法院会主动将其列入黑名单。
申请人向法院提出请求
申请人认为被执行人符合失信条件时，可以向法院提出请求，将其列入黑名单。请求时一般需要提交请求书，说明请求事项、事实与理由等内容。
通过诉讼程序
债权人可以向法院提起诉讼，经法院判决后，如果债务人仍不履行还款义务，债权人可向法院申请将其列入失信被执行人名单。法院会对被执行人的财产进行查询、查封、扣押、拍卖等措施，以强制其履行债务。同时，被执行人将在多个方面受到限制，如限制高消费、限制出境等。
提交书面申请及相关证据
失信被执行人若希望被移出黑名单，需向执行法院提交详细陈述符合移除条件的申请书，并附上相关证据。法院将严格审查申请材料，并可能与申请执行人进行核实。通常在15个工作日内，法院将作出是否删除的决定，并通过多种途径公告，信用记录也将逐步更新。
法律裁决与和解执行
债务人若能在法庭上赢得诉讼，法院将依法裁定撤销其失信记录。另外，债务人与债权人达成和解，并严格履行和解协议，履行完毕后可申请撤销失信状态。
建议：
债权人应首先尝试通过法院强制执行程序将债务人列入黑名单。
如果强制执行未果，债权人可以向法院提出请求，并提交详细的请求书及证据。
债务人应关注自身的信用记录，积极履行还款义务，以便在符合条件时申请移除黑名单。