Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
列出给定库模块中的谓词
有没有办法列出 SICStus Prolog 给定库模块中定义的所有谓词 例如如果我加载列表模块 use module library lists 我可以从提示符中运行另一个谓词来告诉我刚刚导入了哪些谓词吗 这适用于 SWI Prolog
Prolog
isoprolog
SWI Prolog 中的 Python pickling 等效吗?
我有一个 Prolog 程序 我正在对所有达到一定长度的字符串进行强力搜索 我正在检查哪些字符串与特定模式匹配 不断添加模式 直到希望找到一组涵盖所有字符串的模式 我想将哪些存储到与我的任何模式都不匹配的文件中 这样当我添加新模式时 我只需
serialization
IO
Prolog
isoprolog
Prolog 是否有像 Common Lisp 一样的条件和重启系统?
Common Lisp 允许异常处理条件并重新启动 http www gigamonkeys com book beyond exception handling conditions and restarts html 粗略地说 当函数抛
Prolog
isoprolog
替换序言中的空格
在序言中是否可以用某个给定字符替换字符串的所有空格 例子 如果我有一个变量How are you today 而且我要How are you today 对于原子 有多种方法可以做到这一点 我发现以下特别简单 使用atomic list c
Prolog
swiprolog
isoprolog
无限的列表是理智的吗?
在Prolog中 是统一X 1 X 一种获得无限列表的明智方法 SWI Prolog 没有任何问题 但 GNU Prolog 只是挂起 我知道在大多数情况下我可以用以下内容替换列表 one 1 one X one X 但我的问题是明确是否可
list
Prolog
cyclic
isoprolog
coinduction
列表内部或外部的序言对有什么用
我在 SWI PL 文档中多次遇到键值对 但无法获得有关它们的详细信息 这是序言中的标准内容还是只是 swi pl 的扩展 主要在这里找到 http www swi prolog org pldoc doc for object keyso
Prolog
isoprolog
Prolog (SWI-Prolog) 中谓词“simple/1”的含义是什么
我在看书时遇到了问题 我看到一个程序使用谓词 简单 我猜simple 1 我不知道这个谓词的含义是什么 我找不到它 help simple 在控制台中 但是当我在控制台中尝试一些查询时 它的工作原理如下 5 simple p x false
Prolog
predicates
isoprolog
有 ISO-Prolog 参考实现吗?
Java https jdk7 java net java se 7 ri has a 参考实现 http en wikipedia org wiki Reference implementation ISO Prolog 有参考实现吗 我
standards
isoprolog
referenceimplementation
sort/2、keysort/2 与 samsort/3、predsort/3
ISO Prolog 提供sort 2 and keysort 2它依赖于术语顺序 7 2 通常称为 标准术语顺序 以不同顺序对列表进行排序的常见方法是映射每个元素El以某种方式将该列表转换为成对列表XKey El然后对该列表进行排序 最后
Sorting
Prolog
isoprolog
CFG 的扩展,它是什么?
考虑以下上下文无关语法的扩展 它允许规则在左侧有一个 或多个 终端在非终端的右侧 即 形式规则 A b gt 右侧可以是任何东西 就像在上下文无关语法中一样 特别是 它是not要求右侧末尾具有完全相同的终端符号 在这种情况下 此扩展将是上下
Prolog
contextfreegrammar
dcg
isoprolog
dcgsemicontext