您可以在Scala中进行逻辑编程吗？

发布时间：2020-12-16 09:30:54 所属栏目：安全来源：网络整理

导读：我读到Scala中的匹配/案例功能支持的模式匹配实际上是从逻辑语言(如Prolog)中借用的。您可以使用Scala优雅地解决连接图问题吗？例如https://www.csupomona.edu/~jrfisher/www/prolog_tutorial/2_15.html 解决方法不，你不能做，除非你真的创建一个逻辑引

我读到Scala中的匹配/案例功能支持的模式匹配实际上是从逻辑语言(如Prolog)中借用的。

您可以使用Scala优雅地解决连接图问题吗？
例如https://www.csupomona.edu/~jrfisher/www/prolog_tutorial/2_15.html

解决方法

不，你不能做，除非你真的创建一个逻辑引擎，哪种打败了整个目的。

此外，模式匹配本身完全不适合于此，原因很多。例如，考虑基本查询本身：path(1，5，P)。在Scala的模式匹配中，1，5和P是输出。您不能提供可用于生成输出的输入。

使用Prolog，就像假设1和5是固定的，P可能有什么可能的价值？这就是模式匹配的工作原理。

编辑：使用Scala 2.10，模式匹配现在被编译为一个中间的操作，如for-comprehensions，然后进一步优化默认转换。但是，可以定义自己的类来处理模式匹配，而且我已经看到它用于实现prolog登录 – 虽然我找不到链接，对不起。

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!