Erlang 的 Prolog 术语

Question

假设您有序言术语“城市（伦敦，英格兰）”。即伦敦是英格兰的一个城市。

你如何在 Erlang 中表示模式匹配？

Answer 1

Erlang 和 Prolog 之间没有可以完成的简单映射。除了语法和一些运算符之外，它们是完全不同的语言。你将无法从 Prolog 做太多事情，而且没有什么好方法可以完成你所要求的事情；他们都很糟糕。。尽管如此，以下是使用这些糟糕的方法可以做的事情。

---

在 Prolog 中，city(London, England) 创建了城市和国家之间的关系，而在 Erlang 中没有这样的声明性等价物。为了获得某种等价的东西，您需要在内存中手动存储关系（列表、ETS 表、树或字典等）。

如果您使用类似于 {Rel, [Items]} 的表示形式，则可以将当前示例设置为 {city, [london, england]}。如果你将它们全部存储在一个列表中，模式匹配可能只是

relation(X, [X|Rest]) -> true;
relation(X, [_|Rest]) -> relation(X, Rest);
relation(X, []) -> false.

或者更像是

main() ->
    Relations = [{london, england},
                 {montreal, canada},
                 {oxford, england}],
    same_country(Relations, london, oxford).

same_country(Relations, City1, City2) ->
    {_, Country1} = lists:keyfind(City1, 1, Relations),
    {_, Country2} = lists:keyfind(City2, 1, Relations),
    COuntry1 == Country2.

当然，这是低效的，你可能会使用 Erlang 中当前存在的数据结构之一。对于大多数用于键值存储的不透明数据结构（gb_trees、dict 等），您需要使用提供给您的函数来进行操作，因此不可能进行模式匹配。

下一个选择可能是使用 ETS，这是 Erlang 的内存数据库。它使用不同的匹配方法，名为 匹配规范 （或转换后的来自使用 ets:fun2ms/1 进行模式匹配的函数.）

以上所有内容并不是真正有用，因为它不会让您对关系进行任何真正有效的操作。为了获得最多的功能，您可能必须使用集合论，自己对数据进行建模并在 查询列表推导式 或 sofs（集合的集合）模块。

---

我再次重申，确实没有什么好的方法可以将任何 Prolog 翻译成 Erlang。 Erlang 的早期版本是用 Prolog 编写的，但语义并不相同。如果你有兴趣，你可以看一下 Erlog​​，这是一个由 Erlang 编写的 Prolog罗伯特·维尔丁.

Answer 2

city("London", "England") -> true;
city(_, _) -> false.

或者

city("London") -> "England";
city(_) -> "".