小编5nx*_*5nx的帖子

我是计算机科学专业的学生，​​正在学习 Prolog 逻辑编程。

我发现了一个有趣的 Prolog 解释器picoProlog ( http://spivey.oriel.ox.ac.uk/corner/Logic_Programming )。

为了更多地了解Prolog，我尝试编译他们的源代码，但失败了。

在这个网页中，他们说：

\n

解释器源代码是用 Pascal 的最小方言编写的，避免了包括指针在内的许多功能，但使用宏来克服 Pascal 的一些限制，其风格受到 Kernighan 和 Plauger 的《Pascal 中的软件工具》一书的启发。它附带了一个从 Pascal 方言到 C 的翻译器，可用于构建解释器以及所需的宏处理器的源代码。

\n\n

要在 Linux 机器上构建解释器，只需提取 tar 文件并输入 make。该建筑分几个阶段进行：

\n\n

\n
1. 首先，Pascal-to-C 转换器 ptc 是从 C 源代码构建的，包括用 lex 和 yacc 编写的词法分析器和解析器。文件 README 提供了该转换器接受的非常有限的 Pascal 子集的一些详细信息。
\n
2. 接下来，使用ptc来构建宏处理器ppp。
\n
3. 最后，从文件 pprolog.x 中的源代码构建 picoProlog 解释器，首先使用 ppp 扩展宏以获得文件 pprolog.p，然后使用 ptc 翻译为 C，最后编译 C 代码。
\n

\n\n

文本和软件版权 \xc2\xa9 JM Spivey，1996、2002、2010。

\n

他们说 …