在SICStus Prolog中模拟occurs_check=error
在SICStus Prolog中，模拟occurs_check=error是指在进行项的统一（unification）时，如果发现存在递归的情况，即某个项是它自身的子项，系统会报错并停止统一过程。
occurs_check=error的模拟在SICStus Prolog中可以通过使用unify_with_occurs_check/2谓词来实现。unify_with_occurs_check/2谓词会在进行统一时检查是否存在递归情况，如果存在则会抛出一个错误。
这种模拟的优势在于它可以帮助开发人员避免无限递归的情况，从而提高程序的健壮性和可靠性。
应用场景：
- 在逻辑编程中，当需要对项进行统一操作时，可以使用模拟occurs_check=error来确保没有递归的情况发生，从而避免无限循环或错误的结果。
- 在处理复杂的数据结构时，如树或图，使用模拟occurs_check=error可以确保不会出现循环引用的情况，从而保证数据结构的完整性和正确性。
推荐的腾讯云相关产品和产品介绍链接地址：
- 腾讯云云服务器（Elastic Cloud Server，ECS）：提供灵活可扩展的云服务器实例，满足各种计算需求。链接：https://cloud.tencent.com/product/cvm
- 腾讯云云数据库MySQL版：提供高性能、可扩展的MySQL数据库服务，适用于各种规模的应用。链接：https://cloud.tencent.com/product/cdb_mysql
- 腾讯云对象存储（Cloud Object Storage，COS）：提供安全可靠的云端存储服务，适用于存储和管理各种类型的数据。链接：https://cloud.tencent.com/product/cos
请注意，以上推荐的腾讯云产品仅作为示例，其他云计算品牌商也提供类似的产品和服务。
相关·内容
事实证明，SICStus Prolog没有occurs_check Prolog标志。- set_prolog_flag(occurs_check, true).occurs_check Prolog标志的一个有趣的值是"error“值。 如何实现谓词unify_with_occurs_check_and_error/2？下面是Prolog标志的用法示例： ?- set_
浏览 20提问于2021-01-07得票数 1
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
回答已采纳
在我的Windows7 64位安装中，我从Cygwin提示符启动了sicstus，并创建了一个prolog程序。然后，我使用下面的命令保存它，该命令在我的当前文件夹中创建了文件"test.sav“。/test.sav# FILE: "c:/eclipse/workspace_
浏览 9提问于2013-01-21得票数 0
回答已采纳
在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
3回答
我在Sicstus prolog中运行了大量测试： t1, t3, .每个测试都是独立的，并将其结果打印到屏幕上。我的问题是Sicstus积累了内存，最后遇到了一个异常：“Resource error:内存不足”。是否有其他方法可以告诉Prolog在每次调用测试之间释放所有分配的内存？
浏览 15提问于2014-02-12得票数 5
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
回答已采纳
许多论文确实注意到，像下面这样的等式统一问题可能会在指数时间内运行，当occurs_check=true。每个Prolog系统都有必要把这个等式统一问题作为最坏的情况吗？如果Prolog系统没有occurs_check=true标志，可以尝试用unify_with_occurs_check/2代替(=)/2。
浏览 4提问于2021-01-11得票数 2
TL;DR: datime/2 (由SICStus Prolog和SWI提供)与包含年份、月、日、小时、分钟和秒的记录有关。对于一些角落的情况，我得到了奇怪的答案，这让我怀疑:在这些情况下，符合ISO标准的Prolog系统应该引起哪些错误？可以在两个方向上使用。
| ?- use_module(library(system)).| ?- datime(X,Y).
no
浏览 2提问于2021-04-19得票数 3
回答已采纳
我目前在Eclipse Galileo (Spider)中使用Sicstus Prolog VC9 4.1.1。我有一个非常新手的问题:我如何自动控制缩进和一般的代码样式首选项？
浏览 2提问于2010-07-21得票数 1
回答已采纳
有没有办法在SICStus Prolog解释器中获得已加载模块中定义的所有关系的列表？
浏览 7提问于2013-05-28得票数 1
回答已采纳
3回答
如果是这样，理论上可以实现Prolog，使其不需要垃圾收集(GC)。但话又说回来，人们可能不会。
:- set_prolog_flag(occurs_check, true).
:- set_prolog_flag(gc, false). /* is this safe? */
浏览 9提问于2020-11-15得票数 7
回答已采纳
为了我的工作，我需要开始学习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回答
我从emacs得到以下错误：e/d99and remove thethe `--debug-init' option to view a complete error backtrace.更新
我确实有
浏览 0提问于2012-10-16得票数 0
回答已采纳
我正在经历Prolog。我想用它来处理自然语言。我偶然看到了的这篇论文。正如论文中所说的，我想尝试一下类似的方法。现在，我想知道要使用哪个Prolog实现。我偶然发现了所有这些。那么，这些实现中的哪一个可以用于Ubunutu上的NLP。另外，它还可以很容易地与python集成，而且速度也很好。有没有人使用过这些实现。SWI-Prolog好吗？
我们很感激你的帮助。(鸣谢:)
浏览 4提问于2014-09-12得票数 5
但只有第一个结果，即成本(1，20)，在SICStus Prolog中查阅文件时才被断言：yes| ?- recipe(Id,Cost), assert(cost(Id,Cost)).
浏览 3提问于2016-05-17得票数 1
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
实时音视频活动推荐
腾讯云开发者
