【问题标题】:Implementation of Prolog in a Pure Functional Language [closed]用纯函数式语言实现 Prolog [关闭]
【发布时间】:2012-11-11 20:00:12
【问题描述】:

我将非常感谢用于实现 Prolog 的简单伪代码算法,其中伪代码被视为纯函数式语言。

【问题讨论】:

  • 我看不到你的问题...
  • 这对于这个网站来说太宽泛了,除了是一个“给我密码”的问题。
  • 它看起来像这样:f : term -> bool,其中f 被视为类似 prolog 语言的统一算法的实现。
  • 在回应 Kevin 时,我理解这种担忧,但我发现通常一些最清晰的定义是以伪代码或实际代码的形式详细说明的。我同意这个问题是一个相当大的问题,但是拥有一个易于理解的 Prolog 定义以供广泛理解似乎是一件有用的事情。
  • 这是一个相当经典的家庭作业问题,而且你甚至没有费心去谷歌它让我觉得你正在寻找家庭作业的帮助,而不是有任何更无私的动机。

标签: functional-programming prolog logic pseudocode language-implementation


【解决方案1】:

The大名鼎鼎的SICP书有一章讲逻辑编程

【讨论】:

猜你喜欢
  • 1970-01-01
  • 2020-06-13
  • 1970-01-01
  • 2020-05-12
  • 1970-01-01
  • 2020-12-07
  • 1970-01-01
  • 2012-04-27
  • 1970-01-01
相关资源
最近更新 更多