组合（combine）更小的逻辑或功能单元来建造其他更错综复杂的（intricate）的过程。因此，这种程序可以有效的修改自身并表现出“学习”能力，这使得它们更加适合于人工智能、专家系统、自然语言处理和计算机游戏这样的应用。支持符号式编程的语言包括同像性语言比如LISP、Prolog和Wolfram语言等。