gnu Prolog powerset 修改
所以我得到了这个 powerset： powerset([], []). powerset([H|T], P) :- powerset(T,P). powerset([H|T], [H|P]) :- powerset(T,P). 这会生成列表的所…
搜索 Prolog 结构
我对由大量连词组成的公式感兴趣（更大问题的一部分）。我想编写一个程序，采用如下所示的内容： :- get_params(conj(conj(a,b),c),X) 并返回连词的所…
应该添加哪些 DCG 规则？
好的，所以我正在使用 prolog 构建一个简单的 xml 解析器。我有以下 xml 文件： <ip> <line> 7 </line> <envt> p1:1 in main:1 </e…
如何在 swi-prolog 中分割句子
我正在尝试在 win xp 中使用 SWI-Prolog。我试图了解如何将 Prolog 中的句子分成单独的原子。 例如：假设我有一个这样的句子： “这是一个字符串” 有…
Prolog - 命题逻辑中的公式
我正在尝试创建一个谓词来验证给定的输入是否代表一个公式。 我只能使用命题原子，如 p、q、r、s、t 等。 我必须测试的公式如下： neg(X) - represent…
《归来》 Prolog 中谓词的列表
resolve(K, K, _) :- writeln('finished'). %goal state resolve(CurrentState, GoalState, Path) :- suc(_, CurrentState, NextState, GoalState), a…
在 Prolog 中解析多位数字
我有以下简单的表达式解析器： expr(+(T,E))-->term(T),"+",expr(E). expr(T)-->term(T). term(*(F,T))-->factor(F),"*",term(T). term(F)-->…
计算 Prolog 中的定子句语法递归
我有以下 Prolog 定子句语法： s-->[a],s,[b]. s-->[]. 这将导致像 [a,a,b,b] 这样的单词与 [a,b,a,b] 这样的单词相反被接受。简而言之，语法显然…
SWI-Prolog tokenize_atom/2 替代品？
我需要做的是将原子分解为令牌。例如： tokenize_string('Hello, World!', L). 将统一 L=['Hello',',','World','!']。正如 tokenize_atom/2 所做的那…
在Scheme中使用DCG进行解析（没有Prolog）？
有很多 Prolog-in-Scheme 实现。例如 Kanren、Schelog。 显然，在“AI 编程范式”中，Norvig 在 Lisp 中实现了 Prolog-to-Lisp 编译器，以便使用定语…
DCG的额外参数，如N：s --> a(N), b(N), c(N). 是怎么回事？
DCG的额外参数，如N：s --> a(N), b(N), c(N). 是怎么回事？prolog自动枚举N测试么，N是哪来的？出自 http://dingo.sbs.arizona.edu/~sandiway/ling53…
