程序员经验分享-hwhale

关闭 swi-prolog 中的警告

2023-12-28

如何关闭 swi-prolog 中的警告。

Clauses of XXX/AA are not together in the source-file

很烦人。


相反，您可以修复该警告。

The 不连续指令 http://www.swi-prolog.org/pldoc/man?predicate=discontiguous/1当静态（已编译）谓词的子句无法编译为单个单元时需要。当子句定义为：时会发生这种情况：

  • 不连续
  • 超过最大子句数
本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)

swiprolog

关闭 swi-prolog 中的警告 的相关文章

  • GMP pow 中的溢出处理

    我只是 GMP 库的间接用户 主要通过swi prolog and yap 但我对解决这个问题非常感兴趣 当使用大得离谱的值执行求幂时 主机系统或 GMP 不再能够适当地处理溢出 我已经与上述系统的开发人员交谈过 但他们没有看到解决此问题的

  • Predsort/3 类似于 msort/2

    我想知道是否可以使用predsort 3不丢失重复值 如果不是 那我应该如何对这个术语列表进行排序 当前排序功能 compareSecond Delta n A n B compare Delta A B Result predsort c

  • Prolog 中的随机项

    我知道我能做到X is random 10 获取 0 到 10 之间的随机数 但是是否有类似的命令来获取随机匹配项 SWI Prolog v6 有random member 2定义如下 listing random member rando

  • 在Prolog中逐行读取文件

    我想读取一个纯文本文件并对每一行应用一个谓词 谓词包含write其输出 我该怎么做呢 您可以使用read读取流 记得调用at end of stream以确保没有语法错误 例子 读文件 pl main open myFile txt rea

  • 使用 length/2 和 ord_subset/2 生成子集

    我是序言的初学者 我在 swipl 解释器中尝试过 length Lists 3 ord subset Lists 1 2 3 4 false 期望获得所有作为 1 2 3 4 子集的长度为 3 的列表 例如 1 2 3 或 1 2 4 为

  • 如何关闭 SWI-Prolog 标志？

    我不确定 flags 是否是合适的术语 但是是否有办法将 swi prolog 程序配置为在完成查询时不输出 true 或 false 而是简单地打印出程序中确定的另一个语句 有一个工具可以定制这种行为 但它可能会涉及很多 我自己没有使用过

  • swi prolog 中的优化

    假设我想找到 argmax x y z 1 2 20x 2 32xy 16y 2 2x 2y 受 x gt 0 y gt 0 z gt 0 且 x y z 0 我知道偏导数设置为 0 是 20x 16y 2 0 和 16x 16y 2 0

  • 关闭 swi-prolog 中的警告

    如何关闭 swi prolog 中的警告 Clauses of XXX AA are not together in the source file 很烦人 相反 您可以修复该警告 The 不连续指令 http www swi prolog

  • SWI-Prolog 中的 catch/3 和 call_with_time_limit/2 谓词

    我想用 catch Goal Catcher Recover 目标在哪里 call with time limit Time Goal 它很混乱 我找不到正确的方法来知道上述情况之一何时发生 1 进球因超时而停止 2 目标失败 有时应该会失

  • 基于 Term 的对象化数组

    我有这个数组 ary1d new Size Sym ArySym Ary functor Ary ArySym Size forall arg X Ary nb setarg X Ary Sym ary1d get Pos Ary Val

  • 是什么让 DCG 谓词变得昂贵？

    我正在构建一个定语从句语法来解析 20 000 段半自然文本 随着我的谓词数据库大小的增长 现在达到 1 200 条规则 解析字符串可能需要相当长的时间 特别是对于 DCG 目前无法解释的字符串 因为我尚未编码语法 对于包含 30 个单词的

  • Prolog 中的流推理/反应式编程？

    我想知道您是否知道使用 prolog 进行流处理的任何方法 即某种反应式编程 或者至少让查询在不断更新的知识库 实际上是流 上运行 并不断输出推理的输出 在流行的 prolog 例如 SWI prolog 中实现了什么 您可以使用 Logt

  • SWI-Prolog - 单元测试库 plunit - 如何使用 forall 选项？

    对于我的词法分析器 分词器 https en wikipedia org wiki Lexical analysis Tokenization 全部ASCII https en wikipedia org wiki ASCII 7 bit

  • 如何禁用字符代码 178 (0xB2) (²) 、 179 (0xB3) (3) 和 185 (0xB9) (1) 作为数字？

    使用 SWI Prolog 生成数字时 code type X digit 结果是预期的ASCII http www asciitable com 字符代码和 178 0xB2 179 0xB3 185 0xB9 e g code type

  • SWI-Prolog 中的可逆谓词和字符串

    append 3是一个非常强大的谓词 假设我想要一个以相同方式工作但针对 SWI Prolog 字符串的谓词 我看到的最简单的方法是将这些字符串转换为列表string codes 2 然后应用append 3 然后使用string code

  • 如何在Windows上使用JPL（双向Java/Prolog接口）？

    我对在 Java 中嵌入 Prolog 解释器感兴趣 一种选择是使用JPL http www swi prolog org packages jpl java api index html 但是 JPL 网站上的下载链接已损坏 并且安装页面

  • 如何在SWI-Prolog中启用所有统一中的发生检查？

    根据维基百科 https en wikipedia org wiki Occurs check 为所有统一提供声音统一的实现是 Qu Prolog 和 Strawberry Prolog 以及 可选地 通过运行时标志 XSB SWI Pro

  • 在 dll 中嵌入 prolog 引擎

    我最近一直在开发一个嵌入 prolog 推理引擎的 C 应用程序 正如标题中所述 我现在尝试生成一个 DLL 而不是可执行文件 以便我可以在另一个项目中使用它 由于我是 DLL 开发的新手 我想我可以从一个小例子开始 我有3个文件 like

  • 谁给了 SWI-Prolog 幽默感？

    谁给了 SWI Prolog 幽默感 Welcome to SWI Prolog threaded 64 bits version 7 3 35 SWI Prolog comes with ABSOLUTELY NO WARRANTY Th

  • 为什么在具体化中将 clpfd 变量分配给实际值？

    我正在开发一个 SWI Prolog 程序 该程序使用 CLP FD 约束来找到特定问题的解决方案 为此 我碰巧需要两个列表的 未定位 重叠 那是 List La长度为A List Lb长度为 B A gt B 未定位的重叠列表是La Lb

随机推荐

  • Django/Python 循环模型参考

    好的 所以我正在尝试编写组织良好的代码 并实际制作单独的 django 应用程序 而不是将所有内容集中到 1 个应用程序中 我的问题是我有 3 个应用程序 每个应用程序都引用下一个应用程序中的 1 个其他模型 所以基本上我有一个无限循环 应

  • 如何在matplotlib中制作较粗的茎线

    我想在使用时在 python 中制作更粗的茎线plt stem 这是我的代码 import matplotlib pyplot as plt import numpy as np N 20 n np arange 0 2 N 1 x np

  • 静态块与静态方法 - 初始化静态字段

    出于好奇 我测量了静态块和静态方法初始值设定项之间的性能 首先 我在两个单独的 java 类中实现了上述方法 如下所示 First class Dummy static java util List

  • Glassfish 中的休眠 - Ejb3Configuration NoClassDefFoundError

    我已将 Hibernate 库放入 Glassfish 域和 Netbeans 项目的库集合中 hibernate entitymanager jar包含 HibernatePersistence 调用堆栈中的最后一个类 和 Ejb3Con

  • 带选择框的 Struts2 jQuery 自动完成器

    我使用过 Struts2 jQueryautocompleter对于我的 Struts 2 应用程序 这是我的代码 JSP

  • 所有 Python 脚本停止工作：macOS Monterey 12.6 更新后所有项目中的路径均已更改

    今天将 macOS Monterey 更新到 12 6 后 我所有的 Python 项目 脚本都停止工作 在我的项目的 venv 之一中检查 Python 二进制文件的符号链接 我看到原始文件是 Library Developer Comm

  • 使用 unity 解析具有多个构造函数的实例

    我想使用 unity 创建一个类的实例 其中该类有两个参数数量相同的构造函数 这是实例化 unityContainer Resolve

  • 部署到tomcat的war无法抛出java.lang.NoClassDefFoundError: javax/persistence/PersistenceException

    我是这个论坛的新手 也是 JPA EJB 的新手 我正在尝试将包含小型应用程序的 war 文件部署到 tomcat 服务器 该应用程序使用 JTA 与 Derby 数据库进行通信 当我在 eclipse 中运行的 tomcat 服务器上运行

  • 无法加载本机 TensorFlow 运行时 - TensorFlow 2.1

    我有一台台式电脑和一台笔记本 当我尝试在笔记本上安装tensorflow时 只需使用pip 安装张量流它工作正常 然后我在我的台式计算机上尝试了相同的操作 当我尝试运行最简单的代码时 import tensorflow as tf from

  • 这段代码会做什么？ （内存管理）

    char p new char 200 char p1 p char p2 p 100 delete p1 顺便说一句 这不是一个测试 也不是我真正需要知道的任何事情 allocate memory for 200 chars p poin

  • 安全随玩！来自外部应用程序

    我正在努力使用 Play 编写一个私有 REST API 我将从移动应用程序拨打电话 但我对如何保证其安全感到困惑 在研究 Play 文档中的 Yet Another Blog Engine 示例时 我研究了他们的认证示例 http www

  • 方法内的处理程序会泄漏内存吗？

    我知道在类中声明的处理程序可能会泄漏内存 因为它保存了对其外部类的引用 在这种情况下 我们应该使用弱引用的静态嵌套类 但是如果在方法内部声明处理程序怎么办 我遇到了下面的情况 不确定它是否是正确的实现 有人可以解释一下或给我提示吗 我什至不

  • 如何编辑 web.config 以停止提供 .NET Web 应用程序的特定文件类型

    我想阻止用户通过浏览器访问某种类型的文件 例如 IIS 服务器默认阻止对 config 和 vb 文件的访问 给出错误消息 未提供您请求的页面类型 因为它已被明确禁止 并且我想添加其他文件类型到此行为 我可以在应用程序的 web confi

  • C# GUI 线程错误

    我正在开发一个应用程序 它应该通过套接字接口接收命令 然后在 GUI 中执行它们 该应用程序正在 C NET 4 0 中开发 并使用 WPF 作为其 GUI 套接字接口有一个工作线程 它不断侦听套接字并处理其命令 因此 如果收到 显示弹出窗

  • 带约束的泛型方法的重载解析问题

    代码示例 interface IFoo class FooImpl IFoo static void Bar

  • 如何调用祖父母方法

    我需要调用我的类的祖父母方法 class Grandparent gt class Parent gt class Child 每个类都实现一个方法 void foo 如果我想从子类调用父方法 foo 我使用 super foo 如果我想给

  • 关于安装eclipse插件的问题

    有一天我遇到了这个问题 Eclipse 的 Bash 脚本插件 https stackoverflow com questions 1356827 bash script plugin for eclipse 这个想法很棒 所以我去下载网站

  • 使用 Nhibernate 的不带参数的 Oracle 存储过程

    如何在 net 代码中访问 Oracle 存储过程的 out 参数值 通过 Nhibernate 调用 Oracle 存储过程 示例工作代码会有所帮助 您必须使用最新版本的 NHibernate 2 1 2

  • Django 1.8 运行特定迁移

    在 django 1 8 中 有一种方法可以运行特定的迁移并且仅运行该迁移 不仅适用于一个应用程序 还适用于该应用程序迁移目录中的特定文件 编辑为原文 Traceback most recent call last File manage

  • 关闭 swi-prolog 中的警告

    如何关闭 swi prolog 中的警告 Clauses of XXX AA are not together in the source file 很烦人 相反 您可以修复该警告 The 不连续指令 http www swi prolog

热门标签