逻辑绑定程序