Prolog：<name>：编译（文件名）用法和解释

Question

prolog

中以下代码的含义是什么？

  evaluate:compile(EvaluateFile),

我在上下文中找不到evaluate的任何定义。

我的猜测是compile EvaluateFile into a module named evaluate，这是准确的吗？

谢谢！

我正在尝试将早期的代码迁移到SWI-Prolog，这是写的 SICStus 3 #3: Thu Sep 12 09:54:27 CDT 1996或更早 作者Raymond J. Mooney ftp://ftp.cs.utexas.edu/pub/mooney/chill/。 带有此标记的所有问题都与此任务相关。我是prolog的新手，欢迎帮助和建议！

Answer 1

你的猜测是正确的。

您会发现尝试在最近的SWI-Prolog版本中加载代码将导致许多编译错误。尝试加载chill_lib.pl文件时会发生大量错误。但是，其中大多数都很容易修复，并且lists和random模块库已经导出了chill_lib模块中定义的一些谓词。只是评论出来。您还需要注释掉标准谓词once/1的定义。 SWI-Prolog中不存在library(timeout)，但提供类似功能的library(time)。