程序员经验分享-hwhale

如何关闭 SWI-Prolog 标志？

2023-12-22

我不确定 flags 是否是合适的术语，但是是否有办法将 swi-prolog 程序配置为在完成查询时不输出 true 或 false，而是简单地打印出程序中确定的另一个语句？


有一个工具可以定制这种行为，但它可能会涉及很多。我自己没有使用过它，但是查看手册和 Prolog 启动文件可能会对您有所帮助。

Prolog 有一个“顶层”，它是一些 Prolog 代码，用于控制 Prolog 命令行并执行在其上输入的目标。使用 SWI-Prolog，您可以指定替代的顶级：

pl -t my_quiet_prolog

如果你定义my_quiet_prolog/0在启动时加载的文件中，例如在你的~/.plrc file.

默认的顶层称为prolog/0。此部分的源代码以及默认 Prolog 环境的其他部分可以在以下位置找到：/usr/lib/pl-5.6.36/boot（在我的 Cygwin 系统上；对您来说可能有所不同）。看着toplevel.pl对于默认的顶层。消息“是”和“否”也被定义在messages.pl.

您可以尝试覆盖这些消息，或者简单地复制顶层并修改它以适合您。

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

Prolog

swiprolog

如何关闭 SWI-Prolog 标志？ 的相关文章

  • Prolog - 递归列表构建

    对于我正在编写的程序 我需要创建一个列表列表 其中包含代表乘积的数字对和两个给定数字的总和 现在我有一个函数 我可以指定将列表添加到列表中的次数 稍后将使用完整功能进行扩展 这是我所拥有的 s1 0 X s1 Q X N is Q 1 mu

  • SWI-Prolog - 显示长列表

    我正在使用 SWI Prolog 我正在尝试打印一个列表 但如果该列表有超过 9 个项目 它看起来像那样 1 15 8 22 5 19 12 25 3 有没有办法显示整个列表 看一下 http www swi prolog org FAQ

  • Prolog - 删除非唯一元素

    我有一个谓词来检查元素是否是列表的成员 并且看起来如下 member X X member X T member X T 当我打电话时 member 1 2 3 1 4 我明白了 是的 现在我必须使用它来编写谓词 该谓词将从列表列表中删除所

  • Prolog 变量查询中的“\+”问题

    我正在读 七周七种语言 atm 我对一些 Prolog 查询感到困惑 我不明白对 否 的回答 The friends pl文件看起来像这样 likes wallace cheese likes grommit cheese likes we

  • 依赖规则顺序

    为了计算两个相同长度列表之间的汉明距离 我使用foldl hamm A B 0 R 有了这个定义hamm 4 hamm A A V V hamm A B V0 V1 A B V1 is V0 1 第一条规则的删减可以防止不必要的回溯 然而

  • 如何在 swi-prolog 的 prolog 文件中运行 prolog 查询？

    如果我有一个定义规则的 prolog 文件 并在 Windows 中的 prolog 终端中打开它 它会加载事实 然而 然后它显示 提示我手动输入一些内容 如何将代码添加到文件中 以便它实际上会评估这些特定的语句 就像我输入它们一样 像这样

  • Prolog - 从列表中删除具有相同第一个值的对

    我有这样的对象列表 list obj x y obj x z obj a b obj b c 我想删除那些共享相同第一个值的元素 这样我就可以使用修改后的列表 在这种情况下 最终列表将如下所示 list obj a b obj b c 有人

  • Prolog 同构图

    这里尝试解决同构图问题 作业信息 判断2个无向图是否同构 没有孤立的顶点 顶点数小于30 图的边作为谓词给出 即 e 1 2 f 1 2 我正在尝试使用以下方法 对于每对边 即图 1 和图 2 中的每条边 Try to bind the v

  • Prolog 中的匹配元组

    为什么Prolog匹配 X Xs 包含更多元素的元组 一个例子 test2 X Xs write X nl test2 Xs test2 X write X nl test

  • Prolog 中的迷你数独求解器中途停止

    我正在学习 七周七种语言 我只是想从书中找到一个例子 它解决迷你数独网格 4x4 作者使用的是 gprolog 但我使用的是 swi prolog 无论出于何种原因 我都无法让 gprolog 在我的虚拟机上工作 但 swi prolog

  • 非成员规则在 Prolog 中无法按预期工作

    我正在尝试在 Prolog 中创建一个迷宫程序 其目的是找到一条从迷宫起点到迷宫中心点 m 的路线 迷宫由使用四种颜色之一连接的正方形组成 蓝色 绿色 紫色或橙色 从起点到中心的路线遵循四种颜色的重复图案 我创建了以下代码 link2 A

  • 求解序言中极其简单的方程：A = B + C？

    我有一个非常简单的方程 我希望能够在序言中求解 A B C 我希望能够编写一个谓词来表达这种关系 它可以处理任何一个未实例化的参数 无需推广到更复杂的关系或方程 myEquation A B C something 我可以使用以下语义进行调

  • 在 Prolog、尾递归中计算斐波那契数列

    我想在 Prolog 中以递归尾部模式计算斐波那契数列 fibonacci 0 0 fibonacci 1 1 fibonacci N Result fibonacci N 1 0 fibonacci N Result Count Coun

  • 在 Prolog 中动态拆分列表

    我从序言开始几周 但我看到了更深入的操作列表的递归谓词的构造 我的问题是 是否可以构建一个谓词 将给定列表拆分为给定数量的其他列表 比如我想象的 split H T NumberLists Lists 递归实现 split 1 2 3 4

  • 在 prolog 中读取用户输入的字符串

    我是 Prolog 初学者 我正在使用 swi prolog 刚刚开始使用它 我需要将用户输入字符串拆分到列表中 我尝试了以下代码 但出现错误 指出 在子句正文中完全停止 无法重新定义 2 write Enter the String nl

  • 控制 Prolog 变量值选择

    灵感来自之前的一个问题 https stackoverflow com questions 41595786 using operator to save variables in a list我尝试实现一些可以枚举布尔表达式可能性的东西

  • 以系统的方式报告 Prolog 中查询失败的“原因”

    我正在 Prolog 中寻找一种方法 模式或内置功能 我可以用它来返回why一组谓词失败 至少就数据库中的谓词而言 当用户在系统中提出查询时 我试图能够说的不仅仅是 那是错误的 例如 假设我有两个谓词 blue 1如果某物是蓝色的 则为真

  • Prolog 中的隔离列表

    我很难理解如何让我的代码显示由偶数和奇数组成的隔离列表 我什至不确定我的理解缺乏什么 显然我对这门语言很陌生 必须在学校使用它 我的命令式和功能性思维不会让我知道这到底是怎么回事 哈哈 现在 不 我不是要求你做我的作业 我只是请你帮我看看我

  • 使用 prolog 添加另外两次出现

    我有一个清单 a b a a a c c 我需要为每个元素添加两次以上的出现 最终结果应该是这样的 a a a b b b a a a a a c c c c 如果列表中有一个与下一个项目相同的项目 那么它会继续下去 直到出现一个新项目 当

  • 将 X 插入到排序列表中的正确位置

    在序言中 如何将 X 插入到排序列表中的正确位置 我的尝试 insert X Y Rest X Y Rest X lt Y insert X Rest BiggerRest 您的方向是正确的 但您需要解决这三个问题 insert X X i

随机推荐

  • 如何确定 C 语言应用程序的内存大小？

    我想为我的应用程序分配固定内存 使用 C 开发 假设我的应用程序不应超过 64MB 的内存占用 而且我应该避免使用更多的 CPU 使用率 怎么可能呢 问候 马塞尔 在unix下 ulimit d 64M

  • R.java 中的参考不是最终版本

    生成样式属性的引用时 R java 文件的生成似乎出现了问题 人们期望该字段的声明是final但事实并非如此 怎么会 资源 值 attrs xml

  • 使用 Java 在 Android 上解密 OpenSSL 加密的文件

    我目前正在尝试在我的 Android 应用程序上实现文件解密 该文件将使用类似以下内容在主机 Linux 上加密 openssl aes 128 ecb salt k HASH in somefile in out somefile ope

  • 如何在iOS模拟器上启动appium测试？

    我有以下设置并尝试开始测试iOS Simulator 我是初学者 不知道如何开始测试 我已经导入并安装了appium来自教程 问题是 这个设置正确吗 如何运行测试 import java io File import java net UR

  • 如何从networkx中的图中删除float('nan')节点？

    我有一个数据集 泡菜格式 包含float nan 我需要将其删除 可以添加float nan 到图作为 networkx 中的节点 但是 我不知道如何删除它 import networkx as nx G nx Graph G add no

  • Git：未找到 Heroku 存储库或对象：

    这是 Heroku master push 命令的错误消息 Git LFS 0 of 5 files 0 B 167 50 MB batch response Repository or object not found https git

  • git 何时为 git config 命令引入了“--local”开关？

    git 版本变成了git config local可用选项 我在哪里可以阅读更多相关信息 我以为不提供 global将自动假设它是本地配置变量 为什么需要这个新选项 由于 git 源代码是在 git 中维护的 因此我们可以找到引入了 loc

  • 如何使用 nginx 设置 Referrer 策略

    我的 CMS https 和图像服务器 http 是分开的 我已经设置了图像服务器 以便它只能服务于白名单引用页面 现在我的问题是如何允许 CMS 服务器将响应标头发送到图像服务器以便 CMS 可以显示图像 我发现在 html 中给出这个

  • 读取 BIOS 级汇编中的输入？ [关闭]

    Closed 这个问题正在寻求书籍 工具 软件库等的推荐 不满足堆栈溢出指南 help closed questions 目前不接受答案 我正在创建一个非常低级的应用程序 并且我已准备好引导加载程序 我本质上必须重建 scanf 函数 因为

  • 如何为 Visual Studio C++ 设置单元测试

    我无法弄清楚如何设置测试框架并使其可用视觉工作室2008 for C 大概是使用内置的单元测试套件 任何链接或教程将不胜感激 这一页 http gamesfromwithin com exploring the c unit testing

  • 具有多个不同图标的很棒的字体类

    我想创建带有多个图标的自定义 font awesome 类 即 2star 等级由 2 颗星和 3 颗空星组成 并排成一条线 彼此相邻 有没有办法在 CSS 中做到这一点 或者我必须使用具有多个 i class 的纯 html 解决方案 是

  • 从 FedEx 获取 OAuth 令牌以用于 Track API

    我正在尝试获取 OAuth 令牌来获得对某些 FedEx API 的授权访问权限 例如用于跟踪货件的 Track API 但我得到了401 NOT AUTHORIZED ERROR gt The given client credentia

  • 如何获取最后一个之前的元素？

    在量角器中 有 first and last 可用的方法ElementArrayFinder var elements element all by css myclass elements last elements first 但是 如

  • 比较两组字符串，返回不同的结果[重复]

    这个问题在这里已经有答案了 我运行这个command https i stack imgur com fojMC png在Python控制台中 为什么2个结果不同 gt gt gt S1 HelloWorld gt gt gt S2 Hel

  • 作为函数参数传递时如何停止评估 lisp 形式？

    我正在学习 Lisp 现在我正在尝试创建一个函数 该函数采用一些有效的 Lisp 形式作为参数 并返回一个在调用时执行 Lisp 形式的函数 例如 defun fn name action setf symbol function name

  • 点击按钮执行sql查询

    nw check php

  • 如何对 ngControl 用 @Self 修饰的反应式组件进行单元测试

    我通过注入 NgControl 编写了一个反应式组件 并使用 Self 装饰器进行装饰 我的问题与此类组件的单元测试有关 请看下面的代码 免责声明 我很快复制了代码并进行了一些内联更改 因此 这可能不是编译器满意的代码 我的反应组件 Com

  • 如何在 next.js 中渲染之前等待复杂的 redux-saga 操作流程完成？

    我在等待 一个操作流程 从开始到结束完成时遇到问题 该应用程序在客户端中照常工作 但在服务器端执行操作时它直到最后才完成 为了澄清这一点 我正确地使用了 next redux wrapper 和 next redux saga 因为当我使用

  • 忽略 __del__() 中打印到 stderr 的异常

    根据Python 2 7 文档 http docs python org 2 reference datamodel html 由于 del 方法在不稳定的情况下 调用时 执行期间发生的异常将被忽略 并且 警告会打印到 sys stderr

  • 如何关闭 SWI-Prolog 标志？

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

热门标签