腾讯云
开发者社区
文档
建议反馈
控制台
登录/注册
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
1
回答
如何使Prolog在终端上注意到Prolog源文件中新增的变化?
、
、
我用Swipl -s prolog_file通过终端打开了一个
SWI-Prolog
。但是,每次我向Prolog源文件添加新的事实并保存时,我必须重新启动终端上的
SWI-Prolog
以使其注意到这些更改。我以为在Prolog源文件上
使用
CTRL + s就足以让
SWI-Prolog
注意到这些变化,但事实并非如此。在windows上有一个带有编译按钮的Prolog编辑器,当你编译文件时,
SWI-Prolog
会注意到这些变化,但我
使用
的是Kali Linux,所以我写在文本编辑器上。如何让<em
浏览 17
提问于2020-03-09
得票数 2
回答已采纳
1
回答
适用于mac的swi prolog独立可执行文件无法按预期运行
、
、
一切似乎都很正常,但是如果我试图在另一台没有安装
swi-prolog
的mac上执行,我会得到以下错误: % autoloading prolog_codewalk:must_be/2 from /usr/local/Cellar/
swi-prolog
/lib
浏览 0
提问于2016-12-20
得票数 1
2
回答
将aleph与
SWI-prolog
一起
使用
: source_sink‘`library(aleph)’不存在
、
、
、
、
我正在尝试
使用
SWI-Prolog
导入Aleph。当我运行我的程序时,我得到下面的错误。要导入library(aleph),我需要做什么?顺便说一下,我已经为我的程序下载了aleph.pl。我得到了错误: source_sink `library(aleph)' doesnot exist Warning: c:/users/m
浏览 2
提问于2018-06-18
得票数 2
1
回答
如何在freebsd上启用GMP?
、
我安装
swi-prolog
,如下所示:$gmake && gmake check && gmake install /u
浏览 3
提问于2013-01-13
得票数 3
回答已采纳
1
回答
在不安装
SWI-Prolog
的情况下部署
使用
SWI-Prolog
的应用程序
、
、
我创建了一个VS-Package应用程序(.vsix),其中
使用
了
SWI-Prolog
。我的问题是:如何在不要求用户运行
SWI-Prolog
安装程序的情况下部署我的VS-Package应用程序(VS 2012)?我是否可以只在客户端计算机上创建一个文件夹,然后将一些
SWI-Prolog
库复制到其中? 谢谢
浏览 0
提问于2013-02-12
得票数 0
2
回答
如何在
swi-prolog
桌面中设置代码文件(.pl)的utf-8
我正在尝试开发一些关于
使用
swi-prolog
的常见问题解答(faq)。我
使用
桌面版的
swi-prolog
(AMD64,多线程,版本8.2.3)。faq中的问题和答案都是用土耳其语编写的。我想知道对于utf-8的代码文件是否有任何语法,或者
swi-prolog
桌面中是否有针对此语言问题的任何设置。
浏览 0
提问于2021-01-23
得票数 4
1
回答
是谁给了
SWI-Prolog
幽默感?
是谁给了
SWI-Prolog
幽默感?Welcome to
SWI-Prolog
(threaded, 64 bits, version 7.3.35)
SWI-Prolog
comes with ABSOLUTELY NO WARRANTY
浏览 8
提问于2017-07-26
得票数 2
回答已采纳
1
回答
Emacs
使用
SWI-prolog
崩溃
、
、
我正在尝试
使用
“emacs”在mac上运行带有
SWI-prolog
的emacs。命令。然而,当我这样做的时候,在我有机会阅读
SWI-Prolog
上显示的错误消息之前,它立即崩溃了。 有人能帮我吗?
浏览 13
提问于2016-08-30
得票数 0
1
回答
具有固定查询的Prolog程序
、
我正在尝试
使用
prolog (
使用
sem_web库)对我的本体进行一些查询。我已经测试了启动
swi-prolog
的查询,但我要做的是编写一个包含固定查询的.pl文件,然后启动
swi-prolog
以获得结果。有可能吗? 为了保存它们,我会得到结果,就像在txt中一样。
浏览 4
提问于2013-10-18
得票数 0
1
回答
在C中创建共享库,sqlite3的问题
、
、
、
我第一次尝试创建一个共享库,以便通过
SWI-Prolog
外部函数接口
使用
它,但我无法正确链接sqlite3。我实际上这样做:gcc -shared -otask_resources.so task_resources.prolog.o cp /home/markmb/task_resources.so
浏览 3
提问于2013-02-27
得票数 1
回答已采纳
1
回答
错误[XSB/运行时/P]:[类型(库(http/ thread_httpd)代替atom)]
、
、
、
我正在尝试在服务器中托管XSB。我写了以下代码::- import http_server/2 from library(http/thread_httpd).:- use_module(swish, []). server(localhost:3050). http_server(http_dispatch,
浏览 12
提问于2016-11-18
得票数 1
6
回答
Ubuntu中的Prolog编程
、
、
我对
使用
prolog进行播放和赋值很感兴趣,我安装了swi并添加了存储库,以防有人对我
使用
的命令感兴趣:% sudo apt-get install
swi-prolog
我如何开始在我的linux机器上编写prolog代码呢?对于我的常规编程,我
使用
VIM编写/编辑/调试和终端编译。我能用vim写prolog吗?如何编译或
使用<
浏览 4
提问于2013-12-07
得票数 41
回答已采纳
3
回答
Interprolog和
SWI-Prolog
、
、
、
我已经按照下面的说明在我的linux机器上设置并安装了interprolog和swi prolog : 我已经将unixVariables.sh编辑为包含机器上的java和
swi-prolog
(pl)可执行文件的路径我知道它很抽象,没有人真正
使用
interprolog,但任何帮助都是非常感谢的。
浏览 2
提问于2010-02-09
得票数 2
回答已采纳
4
回答
如何在
SWI-Prolog
控制台中
使用
up/down历史键?
、
、
、
当我按up/down时,我应该像unix一样得到前面的命令,但我得到的却是:
SWI-Prolog
comes with ABSOLUTELY NO WARRANTY在以前的
swi-prolog
版本中,我发现这是随意工作的。有时控制台会弄得一团糟,我不得不按下‘’要强制它终止当前行,则历
浏览 0
提问于2012-02-27
得票数 4
2
回答
通过终端Mac运行SWI Prolog
、
、
、
我已经安装了7.2.2版,并
使用
以下命令将其添加到我的环境路径中:然后为了开始,我输入 swipl
浏览 21
提问于2015-07-01
得票数 3
回答已采纳
1
回答
从PHP调用
swi-prolog
时出现问题
、
、
我试图从PHP执行
swi-prolog
文件,但当我试图运行此代码时,什么也没有执行。这是我的代码:<HEAD></HEAD><H1>Calling
SWI-Prolog
> </P> </
浏览 3
提问于2015-04-20
得票数 0
1
回答
定义子句语法,SWI-Prolog7与旧版本的差异
、
、
它确实可以在
SWI-Prolog
4上工作:- set_prolog_flag(double_quotes, codes).Mode--------------dou
浏览 0
提问于2017-04-16
得票数 1
1
回答
如何在Microsoft Windows下
使用
SWI-Prolog
中XPCE下的附加字体?
、
、
、
、
SWI-Prolog
包含一个本机GUI库-- XPCE。它
使用
了一些系统字体。如其用户指南的部分所述,可以将其配置为
使用
其他系统字体。给出的示例显示了如何在unix下执行此配置,并
使用
从xfontsel实用程序获得的参数字符串来命名新的系统字体。如何确定在Microsoft Windows下运行的
SWI-Prolog
中
使用
的此参数字符串?
浏览 5
提问于2012-03-05
得票数 2
1
回答
SWI-Prolog
的源接收器在哪里?
、
我试着用
SWI-Prolog
来加载它。I输入 consult([test]). 错误是: ?- consult([test]).或者我如何
使用
SWI-Prolog
来加载它?
浏览 29
提问于2020-07-10
得票数 0
2
回答
如何在中
使用
断言和撤回
在
SWI-Prolog
中,如果我在提示符下
使用
断言和撤回,则会得到true. true.并运行
SWI-Prolog
作为?- [test].ERROR: /......
浏览 41
提问于2022-07-02
得票数 -1
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
莱特币:首次使用scrypt加密算法
使用git首次上传代码到码云
泸州市人事考试首次使用“人脸识别”技术
西班牙餐厅首次使用机器人服务员
浙江高速上的这个技术,行业内首次使用
热门
标签
更多标签
云服务器
ICP备案
腾讯会议
云直播
对象存储
活动推荐
运营活动
广告
关闭
领券