.net - .NET 的逻辑变量支持

Question

关闭。这个问题不符合Stack Overflow guidelines .它目前不接受答案。












想改进这个问题？将问题更新为 on-topic对于堆栈溢出。

4年前关闭。




Improve this question




我正在寻找一个允许我在 F# 中使用逻辑变量的库/程序集。我想避免在实现所需的联合查找数据结构、统一代码等方面重新发明轮子。

我找到了Prolog.NET ，但手册有点稀疏。我不想要一个成熟的 Prolog 实现，而只是它对逻辑变量的处理和手册在这方面有点缺乏。

这是我希望能够做到的:

声明新的逻辑变量

绑定(bind)一个 log.var。到一个术语(最好图书馆允许完整的 Herbrand 术语)

均衡 log.vars。 (即统一)

log.vars 的元处理。 (它是接地的吗？它已被均衡到哪个其他 log.vars？...)

最终，该库甚至支持匹配，即单边统一。

有谁知道做这一切的任何图书馆，或者至少可以用作起点的图书馆？

Answer 1

我在 F# 中有一个基本的逻辑编程嵌入。我为我教授的“编程范式”类(class)开发了它，该类(class)自始至终都使用 F#，并包括一些关于逻辑编程的讲座。

该代码使用命令式更新来反射(reflect)由于统一导致的替换，并使用成功延续。因此，它与例如 Kanren 相对不同。

我不确定这些笔记本身会有多大意义，但你可以在结尾处找到这个嵌入:
http://undergraduate.csse.uwa.edu.au/units/CITS3242/16-logic-prog.pdf

我可以根据要求提供此嵌入的改进版本。