Prolog 最佳实践的参考？答案

【问题标题】：Reference for Prolog Best Practices?Prolog 最佳实践的参考？
【发布时间】：2011-04-06 20:29:30
【问题描述】：

Prolog 中是否有（相对）当前的最佳实践参考？适合送给没有学习过逻辑编程或“Prolog 的工艺”等高级文本的商业 Prolog 开发人员吗？

有很多通用教程，但我能找到的关于最佳实践的唯一一篇是 1994 年的一篇：

http://www.cs.auckland.ac.nz/~j-hamer/07.363/prolog-for-se.html

comp.lang.prolog 或此处也有个别问题，如下所示：

Prolog Best Practice: checking if a variable is already bound.

但没有比这更全面、最新且适合商业开发人员的了。

这个问题是在面试时出现的，该工作需要对初级到中级 Prolog 开发人员进行正式指导和代码审查。作为一名经验丰富的 Prolog 承包商，我经常为其他开发人员提供建议，这些开发人员对他们的产品及其领域有深入的了解，但他们是自学成才或接受过有限的 Prolog 培训。但指导是临时性的，针对他们特定的日常问题。

无论如何，我已经离开 Prolog 开发一段时间了，面试官的问题让我觉得应该有这样的参考。如果那里没有，如果我得到这份工作，我可能会自己创建它。

【问题讨论】：

标签： prolog

【解决方案1】：

Coding guidelines for Prolog Covington et al. 是最近的；事实上，我相信它甚至还没有正式出版。大约六周前在SWI-Prolog mailing list 上进行了一些讨论。

【讨论】：

谢谢你。我有一段时间没有跟上 SWI-Prolog 并且对那篇文章不熟悉。 Michael Covington 是我的论文导师，从研究生院开始我就一直在使用他的评论风格的变体，所以我并不感到惊讶。第 5 节和第 6 节对这个问题特别感兴趣，但我想我真正想到的是更多类似于 Ruby 和其他语言中的 koans 或 katas 的东西，它们教你如何使用不同的语言特性解决各种类型的问题.例如，回溯、切割、失败驱动的循环、析取等。
我是作为用户而不仅仅是读者使用这个网站的新手，所以我似乎搞砸了我的评论和接受答案的程序。科文顿等人。这篇文章很有用，但我可能仍需要创建自己的教程以获得更多解决问题的教学风格。