我正在按照SWI-Prolog网站上的安装说明进行操作。我在Linux机器上。 首先，我用git将repo和cd克隆到swipl-devel中。of "/home/nick/prolog/swipl-devel/build/install_under: command not found/swipl/lib/swipl/bin/x86_64-linuxto "
浏览 63提问于2020-09-01得票数 0
回答已采纳
6回答
我对使用prolog进行播放和赋值很感兴趣，我安装了swi并添加了存储库，以防有人对我使用的命令感兴趣：% sudo apt-get install swi-prolog
我如何开始在我的linux机器上编写prolog代码呢？
浏览 4提问于2013-12-07得票数 41
回答已采纳
我正在尝试创建一个prolog独立的可执行文件，遵循上显示的简约示例。一切似乎都很正常，但是如果我试图在另一台没有安装swi-prolog的mac上执行，我会得到以下错误：
% autoloading prolog_codewalk:must_be/2
浏览 0提问于2016-12-20得票数 1
我想使用PceEmacs编辑器，但是每当我使用命令emacs.时，我都会遇到错误代码ERROR: Undefined procedure: emacs/0 (DWIM could not correct goal)。普通的内置命令似乎可以正常工作，所以我不知道我是否只是错误地使用了emacs命令。
浏览 31提问于2019-06-24得票数 2
回答已采纳
我用Swipl -s prolog_file通过终端打开了一个SWI-Prolog。但是，每次我向Prolog源文件添加新的事实并保存时，我必须重新启动终端上的SWI-Prolog以使其注意到这些更改。我以为在Prolog源文件上使用CTRL + s就足以让SWI-Prolog注意到这些变化，但事实并非如此。在windows上有一个带有编译按钮的Prolog编辑器，当你编译文件时，SWI-Prolog会注意到这些变化，但我使用的是Kali Linux，
浏览 17提问于2020-03-09得票数 2
回答已采纳
我想在没有安装prolog的机器(实际上是服务器)上运行swi-prolog程序。 main :- write('Hello, world\n').在本地机器上，使用SWI-Prolog version 7.2.3 for amd64生成二进制hello
swipl --goal=main --toplevel=halt --stand_alone=true --foreign=save -o he
浏览 22提问于2017-03-08得票数 10
我正在Debian稳定Linux上运行SWI-Prolog (Multi-threaded, 64 bits, Version 7.2.3)。我想安装用于约束逻辑编程的clpq包。但是，在使用pack_list命令进行查询时，它似乎不存在：
?
浏览 2提问于2019-04-26得票数 2
回答已采纳
我使用以下命令在Linux中安装了pyswip：但是，每当我试图导入pyswip时，如下所示：我明白了:我有SWI-Prolog版本8.0.3
浏览 6提问于2019-09-22得票数 0
回答已采纳
1回答
我的电脑上已经有这个pl文件了吗？我只能在C:\Program \swipl\ strings.pl \ciao中找到split_string，但我不包括split_string函数。
浏览 3提问于2014-10-20得票数 0
回答已采纳
我最近从Windows 10切换到Linux。我正在尝试安装Prolog，并按照https://www.swi-prolog.org/build/PPA.html上的安装说明进行安装。在命令apt-add repository、apt-get update和apt-get install swi-prolog期间，我没有出错。我只希望在我的应用程序中看到Prolog，但没有列出，也无法通过搜索找到。我很困惑，因为
浏览 0提问于2019-10-22得票数 1
当我试图在一台全新的虚拟机上安装它时，它确实适用于SWI-Prolog5.10.4，但是当我升级到时，它又开始失败了。如果我使用使用5.10.4编译它时的旧.so文件，它仍然可以工作。
浏览 3提问于2014-04-02得票数 0
回答已采纳
我开始学习Prolog。我使用的是Ubuntu 9.10，有人能给我推荐一个IDE吗？不幸的是，SCITE不支持Prolog，所以我尽量避免使用Eclipse和NetBean。
浏览 2提问于2010-07-26得票数 2
回答已采纳
我想知道如何使用SWI-prolog自动调用此函数。uwr.pl是逻辑文件。
我用line命令来做这件事，但这很繁重(我在一个终端中启动swipl，然后通过手动单击上面的所有查询)。
浏览 0提问于2019-04-20得票数 0
当我按up/down时，我应该像unix一样得到前面的命令，但我得到的却是：SWI-Prolog comes with ABSOLUTELY NO WARRANTY在以前的swi-prolog版本中，我发现这是随意工作的。有时控制台会弄得一团糟，我不得不按下‘’要强制
浏览 0提问于2012-02-27得票数 4
我已经在Windows上的Linux上安装了一些东西，现在我又需要一个干净的服务器，是否有可能轻松地重新安装(对于干净的Linux )，而不是再次创建VM、云和端点？
浏览 0提问于2015-08-05得票数 7
有些脚本在linux-系统上由swi-prolog 5.11.11成功运行，但在Swi-Prolog 5.6.48的windows-system上却不太成功。问题-在windows文件下，output.txt是空的，所有信息都停留在伪终端中.在linux下，它工作得很好，但是文件的结尾经常被遗漏。
浏览 2提问于2011-01-19得票数 4
回答已采纳
6回答
我在我的Mac上运行SWI-prolog时遇到了最大的麻烦。：当我输入"swipl“时，我得到的结果是：我已经在终端和XQuartz上都尝试过了。很可能是在我在MacOS文件夹中输入"pl“时，它才能正常工作。然而，我的终端什么也不做，只能使用Crtl-D。
我是
浏览 5提问于2014-02-06得票数 31
我在linux上发布了我的应用程序的静态链接二进制版本。然而，在使用2.4内核的系统上，我在启动时得到一个段错误，并显示消息："FATAL:内核太旧了。“
我怎样才能轻松地在2.4内核上安装和运行一个版本？我需要的一些库在2003年左右的旧linux发行版上甚至是不可用的。有没有一个apt-get安装，或者什么可以让我轻松</e
浏览 1提问于2010-01-17得票数 1
回答已采纳
4回答
我正在使用eclipse，并且我已经在项目中插入了jpl.jar (属性->库->添加外部jar)，并且当我试图运行一个程序时(它是一个jpl示例，所以它应该可以工作。)
浏览 6提问于2012-10-22得票数 4
云服务器
ICP备案
对象存储
云点播
实时音视频
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号