符号程序设计

symbolic programming