我知道这可能听起来很奇怪，但我想知道 Microsoft Visual F# 正在进入的这个新世界中的一件事。
这种语言有很多应用，我要学习，关于解析、函数式编程、结构化编程……但是人工智能呢？
模糊逻辑有什么应用吗？ F# 是一种适合模糊逻辑应用程序的语言吗？
在大学里我们正在学习 Prolog 和类似的语言。 Prolog 能够以非常简单和简短的表达式创建复杂的查询（通过利用谓词和事实）。 F# 可以做到这一点吗？
先感谢您。
模糊逻辑。F# 不提供任何用于实现开箱即用的模糊逻辑计算的类型，但在此领域中使用 F# 当然是可能的。 F# 的简洁性和定义自定义重载运算符的能力应该使基于模糊逻辑的代码变得非常好。我快速搜索了一下，发现了几篇在 F# 中实现模糊逻辑的文章：
-
F# 中的模糊逻辑，示例 1 http://techneilogy.blogspot.com/2010/08/fuzzy-logic-in-f-example-1.html
- FuzzyAdvisor - F# 中的简单模糊逻辑专家系统 http://www.codeproject.com/KB/recipes/FuzzyAdvisor.aspx
Prolog是一个有点不同的问题。 Prolog 的强大之处（也是弱点）来自于它直接在该语言中内置的回溯功能。这使得它非常适合实现基于回溯的搜索算法，但这也是一个限制。
F# 没有任何对回溯的直接支持，但是使用回溯编写基于回溯的算法非常容易递归（这是 F# 和 Prolog 中的主要控制流机制）。
此外，还可以实施领域特定语言用于 F# 中的逻辑编程。这意味着您可以在 F# 中实现类似 Prolog 的功能，然后在 F# 中使用这种迷你语言编写搜索算法（可能根据需要使用其他 F# 功能）。您可以在以下位置找到有关类似问题的更多信息这个问题 https://stackoverflow.com/questions/1056461/f-is-it-ok-for-developing-theorem-provers.
本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)
