符号逻辑

这是一种像代数运算数字一样处理思想的语言。它已在需要异常精确和经济推理的实际问题中得到显著的成功应用