Functional programming Prolog在纯函数语言中的实现

我非常欣赏一种用于实现Prolog的简单伪代码算法，其中伪代码被视为纯函数式语言。

这本著名的书有一章是关于逻辑编程的。

这本著名的书有一章是关于逻辑编程的。

我看不到你在这方面的问题……这对这个网站来说太宽泛了，除了一个“gimme-teh-codez”问题。它看起来是这样的：

f:term->bool

，其中

f

被认为是一种类似prolog语言的统一算法的实现。作为对Kevin的回应，我理解这种担忧，然而，我发现通常一些最清晰的定义是那些以伪代码或实际代码的形式详细描述的定义。我同意这个问题是一个相当大的问题，但是有一个易于理解的Prolog定义供广泛理解似乎是一件很有用的事情。这是一个相当经典的家庭作业问题，而且事实上你甚至没有费心去谷歌它，这让我觉得你在寻找家庭作业帮助，没有任何利他主义动机。我看不出你在这方面的问题……这对这个网站来说太宽泛了，除了一个“给我一个密码”的问题。它看起来是这样的：

f:term->bool

，其中

f

被认为是一种类似prolog语言的统一算法的实现。作为对Kevin的回应，我理解这种担忧，但是我发现通常一些最清晰的定义是那些以伪代码或实际代码的形式详细描述的定义。我同意这个问题是一个相当大的问题，但是有一个易于理解的Prolog定义供广泛理解似乎是一件很有用的事情。这是一个相当经典的家庭作业问题，而且事实上你甚至没有费心去谷歌它，这让我觉得你在寻找家庭作业帮助，这本书有了一个新家：。这本书有了一个新家：。