Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
SWI Prolog 使用的检查优化会发生什么情况?
去引用SICStus Prolog 手册 https sicstus sics se sicstus docs 3 12 9 html sicstus Occur html 逻辑编程背后的通常数学理论禁止 创建循环项 规定发生检查应该是 每
Prolog
swiprolog
occurscheck
导入 csv 文件数据以填充 Prolog 知识库
我有一个 csv 文件example csv其中包含两列 标题为 var1 和 var2 我想填充一个最初为空的 Prolog 知识库文件import pl具有重复的事实 而每一行example csv处理方式相同 fact A1 A2 f
csv
Prolog
swiprolog
为什么在具体化中将 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
1
2
»