1回答
如何在SICStus中使用once？在SWI Prolog中，以下内容有效：
test(X, Y, abc) :- once(X == 'true' ; Y == 'true').但在SICStus Prolog中，once似乎无法识别。SICStus中once的等价物是什么？谢谢。
浏览 7提问于2017-03-01得票数 2
回答已采纳
我刚刚安装了SICStus Prolog和用于Eclipse的SPIDER插件。SPIDER是使用Update安装的，我在首选项中设置了SICStus安装路径并对其进行了验证。然后，我创建了一个新的工作区和一个只包含以下文件test.pl的Prolog项目
test :- write('Hello World!'), nl.当我编译(菜单: SICStus >编译Prolog代码)时，我在"Topl
浏览 14提问于2017-05-19得票数 0
回答已采纳
我正在尝试创建一个cmd (批处理)文件，该文件将使用SICStus编译和构建Prolog程序。我在这里有cmd代码：:- set_prolog_flag(redefine_warnings, off).
浏览 4提问于2016-05-23得票数 2
回答已采纳
事实证明，SICStus Prolog没有occurs_check Prolog标志。至少我们找不到一个，这里给出了一个错误消息： /* SICStus 4.6.0 (x86_64-win32-nt-4) */
true.
ER
浏览 20提问于2021-01-07得票数 1
在Sicstus Prolog中是否有一个命令可以将内置谓词的列表打印到控制台窗口？或者有类似行为的东西？下面的链接建议可以使用谓词apropos基于关键字来建议预测，但这是针对SWI-Prolog的，而不是Sicstus。
浏览 3提问于2016-05-17得票数 1
Prolog项目和Prolog参考项目之间的区别是什么？在Eclipse中创建项目时，这两个选项都是基于Prolog的(当前使用Eclipse Indigo 3.7.0和Spider IDE)。
浏览 1提问于2012-01-06得票数 1
1回答
问题是我在多次执行时得到不同的结果，尽管它每次都应该做完全相同的事情。该程序在我的计算机上创建/打开/编辑文件。这会是一个问题吗？谢谢。
浏览 0提问于2018-06-26得票数 0
1回答
现在，我正在学习如何将SICStus Prolog与C代码进行接口。
我希望在SICStus Prolog版本4中使用/使用/查看任意大小整数的"Hamming重量“的C实现。在我看来，我需要用于测试术语类型(SP_is_integer)的C函数和用于访问Prolog术语的C函数(SP_get_integer，SP_get_integer_bytes)。
浏览 3提问于2015-03-03得票数 25
回答已采纳
在我的Windows7 64位安装中，我从Cygwin提示符启动了sicstus，并创建了一个prolog程序。然后，我使用下面的命令保存它，该命令在我的当前文件夹中创建了文件"test.sav“。/test.sav# FILE: "c:/eclipse/workspace_
浏览 9提问于2013-01-21得票数 0
回答已采纳
我目前在Eclipse Galileo (Spider)中使用Sicstus Prolog VC9 4.1.1。我有一个非常新手的问题:我如何自动控制缩进和一般的代码样式首选项？
浏览 2提问于2010-07-21得票数 1
回答已采纳
有没有办法在SICStus Prolog解释器中获得已加载模块中定义的所有关系的列表？
浏览 7提问于2013-05-28得票数 1
回答已采纳
我正在写一个与Sicstus-Prolog使用的程序，我需要一个功能，我只想出在SWI-Prolog。 具体地说，我正在尝试获取所有clp(fd)约束，这些约束是在运行以下示例代码时发布的。% Sicstus Prolog% ?问题是，虽然SWI实际上返回所有约束，但sicstus不会。那么，我如何强制进一步求值，以便sicstus也返回更多类似如下的内容： % Actual SWI return value.
浏览 23提问于2020-06-23得票数 0
回答已采纳
为了我的工作，我需要开始学习Prolog。因此，该程序将被商业化使用。所以有几个问题：2) Prolog有没有商业标准？我只听说过SWI Prolog。3)我已经在Linux上使用GNU Emacs很多年了。我在考虑使用Prolog.el包吗？对此有何评论？
非常感谢你的回答，
浏览 20提问于2011-03-12得票数 39
回答已采纳
1回答
Sicstus手册说要使用这个来加载库:use_module(库(包))。这在Prolog的命令行中是有效的，但是我找不到如何从Prolog源文件中加载库。在我的.pl文件中，我得到一个权限错误:无法重新定义built_in use_module/1。
浏览 5提问于2012-03-20得票数 6
回答已采纳
但只有第一个结果，即成本(1，20)，在SICStus Prolog中查阅文件时才被断言：yes| ?- recipe(Id,Cost), assert(cost(Id,Cost)).
浏览 3提问于2016-05-17得票数 1
回答已采纳
我正在经历Prolog。我想用它来处理自然语言。我偶然看到了的这篇论文。正如论文中所说的，我想尝试一下类似的方法。现在，我想知道要使用哪个Prolog实现。我偶然发现了所有这些。那么，这些实现中的哪一个可以用于Ubunutu上的NLP。另外，它还可以很容易地与python集成，而且速度也很好。有没有人使用过这些实现。SWI-Prolog好吗？
我们很感激你的帮助。(鸣谢:)
浏览 4提问于2014-09-12得票数 5
1回答
SICStus Prolog4.3为x86-64处理器添加了一个JIT编译器。
关于JIT编译器，我有两个问题。第二，是否可以指示SICStus发出由JIT编译器生成的x86-64汇编代码？
浏览 1提问于2015-03-03得票数 6
回答已采纳
3回答
我在Sicstus prolog中运行了大量测试： t1, t3, .每个测试都是独立的，并将其结果打印到屏幕上。我的问题是Sicstus积累了内存，最后遇到了一个异常：“Resource error:内存不足”。是否有其他方法可以告诉Prolog在每次调用测试之间释放所有分配的内存？
浏览 15提问于2014-02-12得票数 5
1回答
我刚刚完成了一个链接到Sicstus prolog的Java应用程序。现在我需要部署它，但我遇到了以下问题，要与Java链接的Sicstus库要求使用以下sintax调用应用程序：我正在部署一个.sh或.bat文件，但用户必须手动编辑它，并说明sicstus安装目录的位置。
浏览 0提问于2011-05-10得票数 4
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
即时通信 IM
实时音视频活动推荐
腾讯云开发者
