是否有可能解决此问题？

Question

在进行研究并尝试解决PROLOG中的此问题时遇到了一些麻烦。我必须实现一个能够解决任何可能的密码难题的密码难题解决器。我将在下面详细解释。

给出一个具有可变数量的元素（至少3个）的列表作为输入，例如，相当于[SEND + MORE = MONEY]的[send，more，money]，实现一个输出适当消息的程序。如果输入有解决方案，则程序将输出分配给每个字符的数字列表，或者输出将每个字符替换为其分配的数字的表达式。

我很欣赏所有答案，尽管我更希望完整答案。从过去的经验中，我了解到，如果我能找到某事的完整解决方案，我就会更好地理解事情，这样我就可以逐行遵循它，看看是什么使解决方案变得更重要。

Answer 1

这是一个伟大的经典。

查看基于CLP（FD）library(clpfd): CLP(FD): Constraint Logic Programming over Finite Domains

的解决方案

或this page上的经典代码（随机选择），其中也包含CLP（FD）示例，但使用的是ECLiPSe求解器。