大型PLC程序通常使用以下编程语言进行编写：
梯形图（Ladder Diagram, LD）：
梯形图是一种图形化的编程语言，它使用逻辑电路图形符号来表示程序。梯形图中的每个元素都代表一个逻辑功能块，如输入、输出、计数器、定时器、比较器等。梯形图易于理解和学习，是PLC最普遍采用的编程语言之一。
结构化文本（Structured Text, ST）：
结构化文本是一种类似于高级编程语言的文本编程语言，它基于结构化的控制流程和函数调用。ST适合于编写较为复杂的算法和数学运算，可以方便地实现复杂的控制逻辑。ST类似于Pascal或C语言，具有较好的可读性和模块化特性。
功能块图（Function Block Diagram, FBD）：
功能块图是一种基于图形化块的编程语言，它将程序分解为多个功能块，并通过连接线将这些功能块进行组合。FBD适合于处理较为复杂的控制系统，可以方便地实现模块化的编程。
过程流程图（Sequential Function Chart, SFC）：
过程流程图是一种基于状态机的编程语言，它将控制流程分解为多个状态和状态转换，并通过图形化的方式表示。SFC适合于处理顺序控制和并行控制的系统。
指令表（Instruction List, IL）：
指令表编程语言类似于汇编语言，由操作码和操作数组成，适用于专业编程设计人员。IL简单直接，适合快速编写和调试程序。
高级语言：
为了实现更高效的运算、数据处理及通信等功能，特别是大型PLC，可以采用高级语言如BASIC、C、PASCAL等。这些语言具有更强大的功能和更好的可移植性，但可能需要更高的编程技能。
IEC 1131-3为PLC定义了五种编程语言：梯形图（LD）、功能块图（FBD）、顺序功能图（SFC）、指令表（IL）和结构化文本（ST）。这些语言适用于各种工业控制系统，旨在实现编程语言的全球化标准化。
建议根据具体项目需求、控制系统复杂性以及开发团队的技术背景选择合适的编程语言。对于大型PLC项目，通常推荐使用梯形图、结构化文本和功能块图，因为它们具有良好的可读性和模块化特性，易于维护和扩展。