F#:开发定理证明器可以吗？

Question

请指教。我是一名律师，我在法律信息学领域工作。我做程序员很长时间了(Basic、RPG、Fortran、Pascal、Cobol、VB.NET、C#)。我目前对 F# 感兴趣，但我想要一些建议。我担心的是 F# 似乎适合数学应用程序。我想要的需要大量的 bool 数学运算和文本的自然语言处理，如果成功的话，还需要语音。我担心文本处理。

我收到了革命性的 PROLOG 源代码(法律领域的革命性，特别是争议解决)。该程序通过评估两个辩论方提出的“是-否”(真-假)论点来解决争议。现在，我正在学习 PROLOG，因此我可以将程序提升到另一个层次:评估论点的强度，当它们既不是"is"也不是“否”，而是论证过程中的一个有说服力的元素时。

因此，该程序处理论证的辩证法方面，我希望它开始处理论证的修辞方面，或者至少是某些方面。

目前该程序可以管理形式逻辑。我想要开始管理非正式逻辑的某些方面，为此我需要解析字符串(长字符串，可能是 ms word 文档)以检测文本标记，例如“但是”“因此”“但是”之类的词“自从”等，等等，只是我必须在任何演讲(口头或书面)中查找并标记的一长串单词，然后评估标记的左侧和右侧。根据标记，双方被认为是强或弱。

最初，我想将 Prolog 程序移植到 C# 并使用 Prolog 库。然后，它发生在我身上，也许它在纯 F# 中可能会更好。

Answer 1

首先，你描述的项目听起来(我相信这是正确的法律术语)非常棒。

其次，虽然 F# 是数学应用程序的不错选择，但它也非常适合执行大量符号处理的任何应用程序。值得注意的是，F# 是 ML 语言家族的一部分，最初是为开发定理证明器的特定目的而设计的。听起来您正在编写一个直接吸引 ML 语言所针对的利基市场的应用程序。

我个人建议使用 F# 而不是 C# 编写任何定理证明应用程序——只是因为生成的 F# 代码的大小约为 C# 等效代码的 1/10。我发布了this sample演示如何在 C# 和 F# 中评估命题逻辑，您可以自己看到差异。