法院的“四查”程序是指对被执行人进行以下四个方面的查询：
查银行
对被执行人在银行的相关账号进行查询，了解其是否有存款。
如果被执行人在银行账号中有存款而拒不履行义务，法院将对其银行账号进行冻结。
查车辆
对被执行人在车辆管理所登记的车辆进行查询。
对于拒不履行义务且有车辆的被执行人，法院将对其车辆进行查封或扣押。
查房产
对被执行人在其名下登记的房产进行查询。
如果被执行人有履行义务而拒不履行，法院将对其房产进行查封，并限定其在规定时间内履行义务，否则将予以拍卖。
查债权
通过申请执行人的申请或被执行人提供的信息，对被执行人的债权进行查询。
如果查询结果属实，法院将对该债权进行冻结。
通过这“四查”程序，法院旨在确定被执行人是否有可供执行的财产，并针对其确实有财产可供执行但没查找到的情况，采取强制拘留等措施，促使其履行法律文书确定的义务。