程序员经验分享-hwhale

SWI-Prolog - 显示长列表

2024-04-02

我正在使用 SWI-Prolog，我正在尝试打印一个列表，但如果该列表有超过 9 个项目 - 它看起来像那样 -

[1, 15, 8, 22, 5, 19, 12, 25, 3|...]

有没有办法显示整个列表？


看一下：http://www.swi-prolog.org/FAQ/AllOutput.html http://www.swi-prolog.org/FAQ/AllOutput.html

简单的解决方案是输入w给出答案后，即：

?- n_queens_problem(10,X).
X = [1, 3, 6, 8, 10, 5, 9, 2, 4|...] [write]
X = [1, 3, 6, 8, 10, 5, 9, 2, 4, 7]

按下“w”键后，末尾会显示“[write]”，完整的解决方案将出现在下一行。

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

swiprolog

prologtoplevel

SWI-Prolog - 显示长列表 的相关文章

  • Prolog 中的随机项

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

  • 如何在 SWI-Prolog 中扩展结果列表？

    length L 25 L G245 G248 G251 G254 G257 G260 G263 G266 G 269 如果我在长度谓词后使用 write L 那么解释器会打印列表两次 一次扩展 另一次不扩展 深度有限制 防止输出过长 您可

  • 在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 中的警告

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

  • 基于 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 个单词的

  • 序言。在查询中，如何对结果中不需要的变量添加条件？

    想象一下 我有以下知识库 其中给出了每个人的名字和年龄 person mary 39 person john 24 person sandy 17 现在 我想检索所有 20 岁以上的人 此外 我只想收集他们的名字而不是年龄 在这里 我想检索

  • 使用 JPL 查询 Prolog 变量

    我想通过JPL进行查询以在java中使用Prolog 我阅读了文档 http www swi prolog org packages jpl java api getting started html prolog 谓词如下 child o

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

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

  • 在 SWI-Prolog 中打开并检查 Pem 文件

    如何打开 Pem 文件来检查 a 不早于 和 不晚于 日期是否正常 以及 b pem 文件中是否存在通往路由证书颁发机构的证书链 我努力了 use module library http http client url http fm4dd

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

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

  • 从 php 调用 swi-prolog

    我正在尝试从 php 脚本中调用 swi prolog 例如 exec start plwin exe f C path load pl g run from file os1 print r os1 我可以看到 prolog 窗口打开并遵

  • 如何在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

  • 导入 csv 文件数据以填充 Prolog 知识库

    我有一个 csv 文件example csv其中包含两列 标题为 var1 和 var2 我想填充一个最初为空的 Prolog 知识库文件import pl具有重复的事实 而每一行example csv处理方式相同 fact A1 A2 f

  • SWI Prolog 使用的检查优化会发生什么情况？

    去引用SICStus Prolog 手册 https sicstus sics se sicstus docs 3 12 9 html sicstus Occur html 逻辑编程背后的通常数学理论禁止 创建循环项 规定发生检查应该是 每

随机推荐

  • 如何让 Angular Material 图标在我的 Angular 应用程序中显示轮廓？

    我目前有

  • Microsoft SQL Server 数据工具包未正确加载

    我的 VS 2013 安装的所有内容似乎都工作正常 除非我右键单击服务器资源管理器中的表 我正在尝试使用数据工具来查看 MS SQL 数据库中的表 这是当我右键单击 VS 2013 时弹出的消息 The Microsoft SQL Serv

  • 在 MySQL 中选择随机行

    我正在开发一个测验网站 并且我有一个存储所有问题的数据库 有不同类型的测验 如数学 科学 历史等 所有问题都存储在一张表中 我的问题表如下所示 questions qno int type int question qno是主键 并且typ

  • 在 C# 中绘制视频

    我正在制作一个应用程序 允许用户应用某些工具来分析视频和图像 我需要帮助 了解如何在表单中加载到 Windows Media Player 的视频上实际绘制 写入并能够将其保存 它需要能够让用户徒手绘制并在其上绘制形状 提前致谢 克里斯 使

  • 如何根据最接近（或最近）的时间戳合并两个数据帧

    假设我有一个数据框 df1 其中包含 A 和 B 列 A 是时间戳列 例如 unixtime B 是某个值的列 假设我还有一个数据框 df2 其中包含 C 和 D 列 C 也是一个 unixtime 列 D 是包含一些其他值的列 我想模糊m

  • 如何从Nuget包中选择目标框架

    我正在使用 NuGet 包 其中包含 2 个目标框架的程序集 net45 和 netstandard1 5 我的项目针对的是net471 因此与netstandard1 5兼容 当我添加包时 它从 net45 文件夹复制 dll 如何强制

  • 如何在 Rails 3 中使用 AJAX 请求实现重定向响应？

    我有一个简单的场景 我想请求一个页面 请求格式为AJAX 如果该请求的控制器 操作逻辑中有一些错误 我想重定向到错误页面 问题是重定向不是 JavaScript 响应类型 所以我不确定它是否有效 如果没有错误 那么我希望通过适当的 Java

  • 属性的名称应该与其类型相同吗？

    我有时会看到这样写的代码 public class B1 public class B2 private B1 b1 public B1 B1 get return b1 set b1 value 即类 B2 有一个名为 B1 的属性 该属

  • APEX_MAIL.SEND 函数无法工作，尽管它没有给出任何错误

    必须从以下地址发送电子邮件oracle apex using APEX MAIL SEND 方法 我正在使用代码 BEGIN apex mail send p to gt email protected cdn cgi l email pr

  • 集合运算的复杂性

    这就是我正在做的 字符串一 某个字符串 字符串二 某个字符串 我想知道字符串中的所有字符one and two它们应该按第一串中的顺序排列 我编写了一个 Java 程序 它通过使用 Collections 对两个集合执行设置操作 我想知道执

  • 组件定义 React 中 Babel 语法错误

    我只是遵循这些解释 https babeljs io blog 2015 06 07 react on es6 plus https babeljs io blog 2015 06 07 react on es6 plus 其中提到 The

  • app.set('port', port) '类型错误：未定义不是函数'。初学者，需要思路

    我是一名业余爱好者 正在学习使用 Node js 进行构建 我一直在按照教程创建我的第一个 Node js 应用程序 它工作得很好 直到我输入 npm start 日志是 C node nodeteest3 bin www 16 TypeE

  • std::invoke 为什么不处理函数重载

    我正在尝试一些 C 17 功能并遇到了 std invoke 然后我尝试了这段代码 include

  • 动态数组占用的“真实”内存大小是多少？

    Example procedure Test var AText array of AnsiChar begin SetLength AText 7 end Question 的实际尺寸是多少AText占用内存 是7 其长度的基数大小 即7

  • PHP - session_unset 是否取消注册 $_SESSION 变量？

    Does session unset http php net manual en function session unset php取消注册所有 SESSION 变量 或者是否必须手动清除注册到 SESSION 数组中的每个变量unse

  • 使用命令式绑定时的 Azure Functions 测试

    到目前为止 我已经能够为 Azure Functions 设置单元测试 并且效果很好 然而 对于我当前的项目 我需要使用动态或命令式绑定 https learn microsoft com en us azure azure functio

  • SQL Server Management Studio 中的宏

    有没有办法在SSMS中实现文本编辑宏 我会 例如喜欢将代码转换为如下所示 但只需按键 而不是冗长的正则表达式搜索和替换 This INSERT INTO TABLE fieldOne fieldTwo VALUES

  • Learning Swift：顶层不允许使用表达式

    我正在学习斯威夫特 我遇到了一个无法解决的问题 import UIKit func helloword str String print str helloword say I use helloword say 但 Xcode 告诉我错误

  • “int '对象不可下标”

    我开始学习GEKKO 现在 我正在解决一个 knapsak 问题来学习 但是这次我收到错误 int object is not subscriptable 你能看一下这段代码吗 问题的根源是什么 我应该如何定义 1 10 矩阵 from g

  • SWI-Prolog - 显示长列表

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

热门标签