腾讯云
开发者社区
文档
建议反馈
控制台
登录/注册
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(1663)
视频
沙龙
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
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
回答
如何使Prolog在终端上注意到Prolog源文件中新增的变化?
、
、
我用Swipl -s prolog_file通过终端打开了一个
SWI-Prolog
。但是,每次我向Prolog源文件添加新的事实并保存时,我必须重新启动终端上的
SWI-Prolog
以使其注意到这些更改。我以为在Prolog源文件上使用CTRL + s就足以让
SWI-Prolog
注意到这些变化,但事实并非如此。在windows上有一个带有编译按钮的Prolog编辑器,当你编译文件时,
SWI-Prolog
会注意到这些变化,但我使用的是Kali Linux,所以我写在文本编辑器上。如何让
SWI-Prolog
注意
浏览 17
提问于2020-03-09
得票数 2
回答已采纳
2
回答
将aleph与
SWI-prolog
一起使用: source_sink‘`library(aleph)’不存在
、
、
、
、
我正在尝试使用
SWI-Prolog
导入Aleph。当我运行我的程序时,我得到下面的错误。要导入library(aleph),我需要做什么?顺便说一下,我已经为我的程序下载了aleph.pl。我得到了错误: source_sink `library(aleph)' doesnot exist Warning: c:/users/mac/d
浏览 2
提问于2018-06-18
得票数 2
1
回答
如何在freebsd上启用GMP?
、
我安装
swi-prolog
,如下所示:$gmake && gmake check && gmake install /usr/local/l
浏览 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
回答
通过终端Mac运行SWI Prolog
、
、
、
我正在尝试从终端运行prolog。我已经安装了7.2.2版,并使用以下命令将其添加到我的环境路径中:然后为了开始,我输入但是返回的是这个错误:我是个新手,请帮帮我。我知道我可以通过双击应用程序来运行它,但我在终端上工作更舒服。
浏览 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
回答
在C中创建共享库,sqlite3的问题
、
、
、
我第一次尝试创建一个共享库,以便通过
SWI-Prolog
外部函数接口使用它,但我无法正确链接sqlite3。我实际上这样做:gcc -shared -otask_resources.so task_resources.prolog.o cp /home/markmb/task_resources.so /usr
浏览 3
提问于2013-02-27
得票数 1
回答已采纳
1
回答
定义子句语法,SWI-Prolog7与旧版本的差异
、
、
它确实可以在
SWI-Prolog
4上工作:- set_prolog_flag(double_quotes, codes).Mode--------------dou
浏览 0
提问于2017-04-16
得票数 1
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
回答
Emacs使用
SWI-prolog
崩溃
、
、
我正在尝试使用“emacs”在mac上运行带有
SWI-prolog
的emacs。命令。然而,当我这样做的时候,在我有机会阅读
SWI-Prolog
上显示的错误消息之前,它立即崩溃了。 有人能帮我吗?
浏览 13
提问于2016-08-30
得票数 0
4
回答
如何在
SWI-Prolog
控制台中使用up/down历史键?
、
、
、
当我按up/down时,我应该像unix一样得到前面的命令,但我得到的却是:
SWI-Prolog
comes with ABSOLUTELY NO WARRANTY在以前的
swi-prolog
版本中,我发现这是随意工作的。有时控制台会弄得一团糟,我不得不按下‘’要强制它终止当前行,则历
浏览 0
提问于2012-02-27
得票数 4
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
1
回答
具有固定查询的Prolog程序
、
我已经测试了启动
swi-prolog
的查询,但我要做的是编写一个包含固定查询的.pl文件,然后启动
swi-prolog
以获得结果。有可能吗? 为了保存它们,我会得到结果,就像在txt中一样。
浏览 4
提问于2013-10-18
得票数 0
1
回答
是否存在用于回答一般Prolog查询的JSON-RPC服务器?
、
、
我看到这个是用来为
SWI-Prolog
编写一个JSON-RPC服务器的。不幸的是,它所做的只是将两个数字相加。我想知道是否有一个用于
SWI-Prolog
的RPC服务器,它可以定义新的规则并回答一般的Prolog查询,返回JSON列表等?
浏览 2
提问于2012-08-17
得票数 1
回答已采纳
1
回答
SWI-Prolog
不允许修改init.pl中的静态过程“`set_prolog_flag/2”
但是,我遇到了以下错误:ERROR: /home/X/snap/
swi-prolog
/55/.config/
swi-prolog
/init.pl:1:Welcome to
SWI-Prolog
(th
浏览 3
提问于2022-10-11
得票数 1
回答已采纳
3
回答
Interprolog和
SWI-Prolog
、
、
、
我已经按照下面的说明在我的linux机器上设置并安装了interprolog和swi prolog : 我已经将unixVariables.sh编辑为包含机器上的java和
swi-prolog
(pl)可执行文件的路径
浏览 2
提问于2010-02-09
得票数 2
回答已采纳
1
回答
Prolog回溯策略
、
SWI-Prolog
,版本6.6.6。p(a, a).它会得到以下答案:true ; false.
浏览 0
提问于2015-10-27
得票数 3
2
回答
RHEL 7上的
SWI-Prolog
安装
、
、
、
我正在尝试在运行HEL7的服务器上安装
SWI-Prolog
。 我已经按照说明在这里构建了
SWI-Prolog
:。构建在没有错误的情况下完成;但是,我没有看到应用程序的踪迹。
浏览 3
提问于2016-09-25
得票数 1
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
热门
标签
更多标签
云服务器
ICP备案
腾讯会议
云直播
对象存储
活动推荐
运营活动
广告
关闭
领券