【问题标题】:Prolog - re-load consult('filename') to interpreterProlog - 将咨询('文件名')重新加载到解释器
【发布时间】:2013-01-17 14:24:49
【问题描述】:

在我使用consult('filename')pl 文件加载到 SWI-Prolog 后,如何使用键盘重新加载它?我读到ctr b 可能,但它不起作用。

我使用 SWI-Prolog 版本 6.2.6 。

【问题讨论】:

    标签: prolog swi-prolog


    【解决方案1】:

    调用预定义的make/0 谓词。它将重新加载您更改的所有源文件。

    ?- make.
    

    更多信息在这里:http://www.swi-prolog.org/pldoc/man?predicate=make/0

    【讨论】:

      【解决方案2】:

      SWI-prolog中的consult/1实际上定义为reconsult/1

      但 make 更漂亮。

      【讨论】:

        猜你喜欢
        • 2011-04-14
        • 1970-01-01
        • 2012-05-11
        • 1970-01-01
        • 1970-01-01
        • 2011-11-15
        • 1970-01-01
        • 1970-01-01
        • 2012-09-17
        相关资源
        最近更新 更多