Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
Prolog DCG:找到最后一个元素
我正在尝试更好地理解 DCG 的用途 为了做到这一点 我尝试将 LearnPrologNow 书中的一些练习转换为 DCG 表示法 然而 我却失败得很惨 我试图编写一个程序 仅命名列表中的最后一个元素 就这样 我只是想不出正确的 DCG 语
Prolog
dcg
一次性删除不正确的后续解决方案
我有一个谓词 它找到正确的解决方案 但随后又找到不正确的解决方案 data D data threshold nonredundantbumps D 5 Bs write D 3 6 7 8 2 4 5 6 9 4 7 3 D 3 6 7
Prolog
dcg
clpfd
如何为有效号码指定 DCG?
我正在尝试为有效数字指定 DCG 如下所示 value Number gt valid number Number 基本上检查指定的值是否是数字 它也可能是变量 因此有必要检查 我不知道如何构建这个valid number不过 DCG 谓词
Prolog
dcg
问题 - 序言中的形式语言
我正在尝试构建一个 DCG 它可以识别与此形式匹配的所有列表 a n b 2m c 2m d n 我写下了以下规则 s gt s gt ad ad gt a ad d ad gt bc bc gt b b bc c c bc gt a gt
Prolog
grammar
dcg
Prolog 罗马数字(属性语法)
我正在做一项作业prolog questions tagged prolog扫描数字列表并应返回该列表是否是有效的罗马数字以及数字的十进制值 前任 1 roman N I N 1 true 2 当我运行我认为应该工作的程序时 十进制值总是正
Prolog
dcg
romannumerals
列表中的连续元素
我正在阻止一个谓词来编码Prolog 我需要对两个谓词进行编码 如果我打电话 u a b c d e f X 它会给X a b X b c X c d 如果我打电话 v a b c d e f X 它会给X a b X c d X e f
Prolog
dcg
current_prolog_flag double_quotes DCG(代码或字符)?
在使用 SWI Prolog DCG 时 我注意到有些人注意到 set prolog flag double quotes codes Jan http www swi prolog org pldoc man section string
Prolog
flags
dcg
关于构建列表直至满足条件
我想解决 巨猫军团之谜 https youtu be YeMVoJKn1Tg由 Dan Finkel 使用 Prolog 编写 基本上你从 0 然后使用以下三个操作之一构建此列表 添加5 添加7 或采取sqrt 当您成功建立一个列表后 您就
list
Prolog
clpfd
dcg
Prolog - 回文函子
我正在尝试写一个谓词palindrome 1在 Prolog 中 当且仅当其列表输入由回文列表组成时 这才是正确的 例如 palindrome 1 2 3 4 5 4 3 2 1 is true 有什么想法或解决方案吗 回文列表是一个向后读
Prolog
Palindrome
dcg
如何查明 Prolog 是否执行尾调用优化
使用SWI Prolog Win x64 的开发版本 我为 a 编写了一个 DCG 谓词确定性词法分析器 托管在 github 上 https github com sebgod goldparser prolog 因此所有外部谓词都没有留
Prolog
tailrecursion
dcg
tailcalloptimization
删除 DCG 中的左递归 - Prolog
我在这个语法中遇到了一个关于左递归的小问题 我正在尝试用 Prolog 编写它 但我不知道如何删除左递归
Prolog
grammar
dcg
leftrecursion
prologtabling
如何在 Prolog 中编写对列表进行操作的函数
如何在Prolog中编写一个包含n个a和n个b的程序 这里需要注意的是列表中a和b的数量必须相等 而且列表必须始终以a开头并以b 否则为假 例子 a b is true a a a b b b is true a a a a is fals
Prolog
dcg
结构(差异列表) Prolog
这个问题参考了本书第三章的材料 Prolog Clocksin 和 Mellish 编程 Ed 5 本书第72页显示了一个使用差异列表的程序 partsOf X P partsacc X P Hole Hole partsacc X X H
Prolog
dcg
differencelists
是什么让 DCG 谓词变得昂贵?
我正在构建一个定语从句语法来解析 20 000 段半自然文本 随着我的谓词数据库大小的增长 现在达到 1 200 条规则 解析字符串可能需要相当长的时间 特别是对于 DCG 目前无法解释的字符串 因为我尚未编码语法 对于包含 30 个单词的
Prolog
swiprolog
dcg
给定替换 S 和列表 X,如何将 S 应用于 X
假设我有一个替代品S并列出Xs 其中每个变量出现在Xs也发生在S 我如何找到该列表S Xs 即通过应用替换获得的列表S到列表Xs 更具体地说 我有一组谓词和 DCG 规则 看起来像 pat P gt seg P seg seg X Y Z
variables
Prolog
dcg
unification
扁平化清单
我需要编写一个平铺列表的函数 例如 flat c k X X c k 这就是我所做的 flat flat A B R flat A B R flat L L1 flat L L1 flat A L W R flat A L U flat W
Prolog
dcg
DCG和左递归
我正在尝试实现一个 dcg 它采用一组 a b c d 形式的字符串 我遇到的问题是 如果我有一个 s a c b 它返回 true 这是正确的答案 但是当我有 s a c f 形式的查询时 它不会返回答案 并且会耗尽本地堆栈 s gt s
Prolog
dcg
leftrecursion
failureslice
非常基本的 dcg prolog 语法
我试图理解序言和定语从句语法 但我很难理解它们 我真的很想了解如何使用 dcg 语法 这里我举两个例子 第一个实际上是来自该论坛上另一个问题的代码 但还有一个附加问题 代码如下 s gt first operator second firs
Prolog
dcg
翻译为 DCG Semicontext 不起作用 - 继续
作为对此的后续行动question这提出了问题 返回列表中项目的计数 但如果两个相同的项目彼此相邻 则不增加计数 这段代码是我用 DCG 和半上下文解决这个问题的最接近的代码 lookahead C C gt C empty list No
Prolog
dcg
dcgsemicontext
解析 Prolog 中的表达式并返回抽象语法
我必须编写 parse Tkns T 它接受标记列表形式的数学表达式并找到 T 并返回表示抽象语法的语句 尊重操作顺序和关联性 例如 parse num 3 plus num 2 star num 1 T T add integer 3 m
Parsing
Prolog
dcg
failureslice
1
2
»