Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
为什么在具体化中将 clpfd 变量分配给实际值?
我正在开发一个 SWI Prolog 程序 该程序使用 CLP FD 约束来找到特定问题的解决方案 为此 我碰巧需要两个列表的 未定位 重叠 那是 List La长度为A List Lb长度为 B A gt B 未定位的重叠列表是La Lb
list
Prolog
swiprolog
clpfd
谁给了 SWI-Prolog 幽默感?
谁给了 SWI Prolog 幽默感 Welcome to SWI Prolog threaded 64 bits version 7 3 35 SWI Prolog comes with ABSOLUTELY NO WARRANTY Th
swiprolog
SWI-Prolog - 显示长列表
我正在使用 SWI Prolog 我正在尝试打印一个列表 但如果该列表有超过 9 个项目 它看起来像那样 1 15 8 22 5 19 12 25 3 有没有办法显示整个列表 看一下 http www swi prolog org FAQ
swiprolog
prologtoplevel
在 dll 中嵌入 prolog 引擎
我最近一直在开发一个嵌入 prolog 推理引擎的 C 应用程序 正如标题中所述 我现在尝试生成一个 DLL 而不是可执行文件 以便我可以在另一个项目中使用它 由于我是 DLL 开发的新手 我想我可以从一个小例子开始 我有3个文件 like
c
dll
Prolog
MinGW
swiprolog
如何在SWI-Prolog中启用所有统一中的发生检查?
根据维基百科 https en wikipedia org wiki Occurs check 为所有统一提供声音统一的实现是 Qu Prolog 和 Strawberry Prolog 以及 可选地 通过运行时标志 XSB SWI Pro
Prolog
swiprolog
occurscheck
如何在Windows上使用JPL(双向Java/Prolog接口)?
我对在 Java 中嵌入 Prolog 解释器感兴趣 一种选择是使用JPL http www swi prolog org packages jpl java api index html 但是 JPL 网站上的下载链接已损坏 并且安装页面
Java
swiprolog
embeddedlanguage
jpl
在 SWI-Prolog 中,是否有一种简单的方法可以使用 REPL 将数字从一个基数转换为另一个基数?
在使用 REPL 的 SWI Prolog 中 可以轻松地从任何基数转换为基数 10 例如 X 16 FF X 255 X 2 11111111 X 255 然而这失败了 没想到它会起作用 但显示了我的想法 2 X 16 FF ERROR
Prolog
swiprolog
从 php 调用 swi-prolog
我正在尝试从 php 脚本中调用 swi prolog 例如 exec start plwin exe f C path load pl g run from file os1 print r os1 我可以看到 prolog 窗口打开并遵
php
swiprolog
SWI-Prolog 中的可逆谓词和字符串
append 3是一个非常强大的谓词 假设我想要一个以相同方式工作但针对 SWI Prolog 字符串的谓词 我看到的最简单的方法是将这些字符串转换为列表string codes 2 然后应用append 3 然后使用string code
string
Prolog
predicate
swiprolog
在 SWI-Prolog 中打开并检查 Pem 文件
如何打开 Pem 文件来检查 a 不早于 和 不晚于 日期是否正常 以及 b pem 文件中是否存在通往路由证书颁发机构的证书链 我努力了 use module library http http client url http fm4dd
SSL
Prolog
swiprolog
pem
如何禁用字符代码 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
c
Windows
locale
swiprolog
codepages
SWI-Prolog - 单元测试库 plunit - 如何使用 forall 选项?
对于我的词法分析器 分词器 https en wikipedia org wiki Lexical analysis Tokenization 全部ASCII https en wikipedia org wiki ASCII 7 bit
unittesting
Prolog
swiprolog
parameterizedunittest
plunit
使用 JPL 查询 Prolog 变量
我想通过JPL进行查询以在java中使用Prolog 我阅读了文档 http www swi prolog org packages jpl java api getting started html prolog 谓词如下 child o
Java
Prolog
swiprolog
jpl
替换序言中的空格
在序言中是否可以用某个给定字符替换字符串的所有空格 例子 如果我有一个变量How are you today 而且我要How are you today 对于原子 有多种方法可以做到这一点 我发现以下特别简单 使用atomic list c
Prolog
swiprolog
isoprolog
使用append/3谓词创建SPARQL参数化查询
与我之前的帖子相关 如何在 SWI Prolog 中参数化 SPARQL 查询 https stackoverflow com questions 16820606 how to parameterize a sparql query in
Prolog
swiprolog
sparql
Prolog 中的流推理/反应式编程?
我想知道您是否知道使用 prolog 进行流处理的任何方法 即某种反应式编程 或者至少让查询在不断更新的知识库 实际上是流 上运行 并不断输出推理的输出 在流行的 prolog 例如 SWI prolog 中实现了什么 您可以使用 Logt
Stream
Prolog
reactiveprogramming
swiprolog
eventdriven
是什么让 DCG 谓词变得昂贵?
我正在构建一个定语从句语法来解析 20 000 段半自然文本 随着我的谓词数据库大小的增长 现在达到 1 200 条规则 解析字符串可能需要相当长的时间 特别是对于 DCG 目前无法解释的字符串 因为我尚未编码语法 对于包含 30 个单词的
Prolog
swiprolog
dcg
基于 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
Arrays
Prolog
swiprolog
logtalk
SWI-Prolog 中的 catch/3 和 call_with_time_limit/2 谓词
我想用 catch Goal Catcher Recover 目标在哪里 call with time limit Time Goal 它很混乱 我找不到正确的方法来知道上述情况之一何时发生 1 进球因超时而停止 2 目标失败 有时应该会失
Prolog
timeout
swiprolog
关闭 swi-prolog 中的警告
如何关闭 swi prolog 中的警告 Clauses of XXX AA are not together in the source file 很烦人 相反 您可以修复该警告 The 不连续指令 http www swi prolog
swiprolog
1
2
»