我读了一篇关于Prolog和Logic Programming的简短文章.我很好奇逻辑程序是否可以进行代数.就像你能问出X的变量在等式5 + X = 7中得到什么并得到-2的答案？
declarative algebra prolog clpfd clpq
algebra ×1
clpfd ×1
clpq ×1
declarative ×1
prolog ×1