标签： math semantics
我正在努力创建一个能够存储数学语义并在语义上而不是语法上解决它的系统。我无法弄清楚从哪里开始。我的问题的一个例子可以是a + b是加法，如果a和b是整数，如果它们是字符串则连接。在语义上我想输入等式并根据域来解决它。请帮助找到起点。谢谢