符号程序语言包括以下几种：
Scratch：
由麻省理工学院开发，面向儿童和初学者，通过拖拽图形符号来编写程序，用于制作动画和游戏。
Blockly：
基于块状编程，由谷歌开发，提供图形块，通过拖拽这些块来编写程序。
LabVIEW：
用于科学和工程领域，由美国国家仪器公司开发，使用图形化符号表示程序，主要用于数据采集、仪器控制和实验模拟。
Simulink：
用于模型驱动设计，由MathWorks公司开发，也是一种符号编程语言。
Brainfuck：
由Urban Müller于1993年创建，是一种极简主义的编程语言，仅有8个命令，通过简单的指令集实现程序逻辑。
算术表达式符号语言：
如MATLAB、Mathematica和Maple，主要用于数值计算和符号计算。
逻辑符号语言：
如Prolog和LISP，用于逻辑推理、证明和规约等领域的程序设计。
函数式编程语言：
如Haskell和Scheme，基于数学函数的概念，通过函数组合和递归实现程序逻辑。
位操作符号语言：
如Verilog和VHDL，用于位运算和二进制操作，常用于硬件设计和嵌入式系统开发。
这些符号编程语言各有其特点和适用场景，可以根据具体需求选择合适的工具来进行程序设计和实现。