prolog - 修改 SWI-Prolg 顶层

Question

是否可以对 SWI Prolog 的顶层进行修改？

Answer 1

是的，在 SWI-Prolog 中，顶层在 Prolog 中的 boot/toplevel.pl 中实现，您可以使用（副本）它作为扩展的起点。有时滚动自己的顶层很有用，例如，如果您想通过其他工具（如编辑器和编程环境）与编译器交互。滚动您自己的顶层的有用谓词是 atom_to_term/3 和 read_term/2，尤其是使用 variable_names 选项。