Prolog - 重新加载咨询 ('filename' ) 到解释器-6ren

Prolog - 重新加载咨询 ('filename' ) 到解释器

转载作者：行者123 更新时间：2023-12-04 00:44:07

25

4

在我使用 consult('filename') 将 pl 文件加载到 SWI-Prolog 之后，我如何通过使用重新加载它键盘？我读到可以使用 ctr b 但它不起作用。

我使用 SWI-Prolog 6.2.6 版。

最佳答案

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

?- make.

关于Prolog - 重新加载咨询 ('filename' ) 到解释器，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/14381174/

25

4

0

文章推荐： qt - 使用 qt 将自定义类写入文件的最佳方法

文章推荐： c - 从函数 C 分配数组和赋值

filenames - (filename.java.i, filename.jar.i) 扩展名是什么意思
我有名为 xxx.java.i、xxx.java.d、xxx.jar.i 的文件。我知道这些文件与 Java 有某种关系。这个扩展是什么意思以及它的用途是什么？它与 .class 扩展名的类型相同吗？
.net - 参数命名: filename or fileName?
我的命名尽量在语法上正确*。我一直使用 filename 而不是 fileName。 java 约定似乎也使用这个，但 FxCop 更喜欢 fileName。有一个discussion on Wik
#include *not* 后面可以跟或 "filename"吗？
来自MISRA-C 2004 : 19.3 (req): The '#include' directive shall be followed by either a or "filename" s
swift - 如何覆盖 SKScene init(fileNamed : fileNamed)
我有一个 SKScene 类，我需要在其中实现一个自定义初始化程序来覆盖 SKScene 父类(super class) SKNode 的初始化程序 init(fileNamed: fileNamed
c++ - #include 和 #include "filename"有什么区别？
在 C 和 C++ 编程语言中，在 include 中使用尖括号和使用引号有什么区别？声明，如下？ #include #include "filename" 最佳答案实际上，区别在于预处理器搜索包
shell - 解压 filename.tr.gz 到目录 "filename"
我想解压一个文件，例如使用 shell 命令将“tar123.tar.gz”复制到目录/myunzip/tar123/”。 tar -xf tar123.tar.gz 将解压缩文件，但在与我工作的目录
c - 在linux终端编译C代码时，make 和cc 有什么区别？
我是 C 语言新手，我知道这两个命令都完成相同的任务，但是其中一个命令是否会执行与另一个命令不同的操作？最佳答案首先，如果您使用 make，那么对于 hello.c，您将调用 make 作为 ma
char *filenames[1] 或 char *filenames 有什么区别？
我正在编写一个程序，它将文件名列表存储为字符串数组。当我将其声明为 char *filenames[1] 我没有错误......但是当我这样做时 char *filenames 我遇到了一些错误。不在
objective-c - 导入语句错误 "expected "FILENAME“或 ”
我在将 Appirater 集成到我的应用程序时遇到了一些问题。我已经正确添加了所有必要的文件，并拥有正确的代码(我认为)，但是在尝试将其实现到我的 AppDelegate.m 文件中时出现错误。当我
c++ - #include 和 #include "filename"有什么区别？
在 include 中使用尖括号和引号有什么区别？指令？ #include <filename> #include "filename"
batch-file - 在批处理 : Read only the filename from a variable with path and filename
我目前正在寻找一种批量获取变量并仅解析文件名的方法。例如，我将来自另一个应用程序的 -s 参数传递给我的批处理文件，该参数随后被设置为我的源变量。源文件变量通常包含如下内容:C:\Program F
filenames - GNU 制造商 : Remove all parts of filename after first dot
在 GNU Makefile(在 Ubuntu Linux 系统上)中，如何删除列表中每个文件名的文件名后缀，以便在第一个点处截断文件名？假设我有 NAMES = file1.a.b.c file2
compiler-errors - rtorrent编译错误: error: #include expects “FILENAME” or
我正在尝试从源代码安装rtorrent，但是在编译时出现错误。我正在使用新的Ubuntu 20.04 VM。 libtorrent安装 sudo apt update sudo apt upgrade
filenames - GNU 制造商 : Remove all parts of filename after first dot
在 GNU Makefile(在 Ubuntu Linux 系统上)中，如何删除列表中每个文件名的文件名后缀，以便在第一个点处截断文件名？假设我有 NAMES = file1.a.b.c file2
python :Sort filenames in a directory and add a number in the beginning of each filename
1-intro-to deepleanring and computer visionk.MKV 2.Kaggle Deep Learning - YouTube.MP4 Convolutional
bash - 如何将 'gvim filename' 别名为 'gvim filename &'
我希望 gvim 始终在单独的窗口中打开并立即返回命令提示符。换句话说我想要 gvim filename 与相同 gvim filename & 看来我应该可以用别名来做到这一点。别名是否有特殊的通配
javascript - 文件下载过程不会启动客户端(即使使用 Content-Disposition : attachment ; filename=)
以下代码发送一个 GET 请求，该请求的响应应该在客户端 (Chrome) 上启动文件下载过程。 $.ajax({ type: "GET", traditional: true, asyn
linux - 如何将 filename.bz2.gz 文件转换为 filename.gz
我有一堆 filename.bz2.gz 的文件，我想将其转换为 filename.gz。有什么帮助吗？谢谢最佳答案有了您的文件名*.bz2.gz，我假设该文件是使用以下压缩顺序创建的: ec
php - @include ("filename") 是什么意思？那和 include "filename"有什么区别？
这个问题在这里已经有了答案: 关闭 11 年前。 Possible Duplicate: Reference - What does this symbol mean in PHP? 我正在制作一个
video - 将 filename.mp4.tmp 与 filename.mp4 合并
如何合并 abc.mp4.tmp 与实际交换文件abc.mp4 文件。我试图使用 Wowza Media server 3.6 录制现场事件，但录制的文件在最后一刻没有正确混合。 abc.mp4.t

首页

博学

6Ren·AI

商城

Prolog - 重新加载咨询 ('filename' ) 到解释器