Prolog/外部链接
< Prolog
- Visual Prolog 是 1980 年代创建的 Turbo Prolog 编译器的继任者，它是第一个 Prolog 编译器。从那时起，Prolog 开发中心 一直在开发和改进其编译器。目前 Visual Prolog 编译器是一个功能强大且高效的编译器，可以创建用于创建独立可执行文件或 DLL 的目标文件，解析声明之间的交叉引用，验证谓词模式，执行强大的类型检查，验证构造函数中的事实初始化，执行谓词解析。 下载 Visual Prolog.
- Strawberry Prolog 主要用于教育。这个编译器非常接近 ISO-Prolog 语法，但它有很多扩展，这些扩展不是标准的一部分。例如，在 Strawberry Prolog 中，您可以找到全局变量、数组、对象和许多仅适用于此编译器的谓词。Strawberry Prolog 的主要思想是易于使用。这就是为什么它包含开发环境、可视化调试器和免费的 Light 版本。 下载 Strawberry Prolog.
学习 Prolog 时，使用多个文本始终是一个好主意。从多个角度看待一个主题可以帮助澄清它。这些只是一些免费的 Prolog 教程。
- 立即学习 Prolog！对 Prolog 的全面介绍，包括 DCG。
- James Power 的 Prolog 教程（由 Alex Monaghan 编辑）
- Visual Prolog 教程
- Strawberry Prolog 帮助，在线帮助
- Strawberry Prolog 教程 由 Dimitar Gelev 撰写
可下载内容
- Prolog 入门教程由 James Lu 和 Jerud J. Mead 撰写 PDF
- Prolog 和自然语言分析 (©) PDF
- 通过 Prolog 介绍逻辑编程 (©) PS/PDF
- Prolog 编程竞赛 PS/HTML - 高级练习。