prolog 相关问题

在Prolog中连接一个可变数量的列表。

假设给出了一个不定数量的列表，比如5，但可以输入任何数量的列表。[1,2]+[3,4,5]+[6,7,8,9]+[10,11]+[12,13,14]等于L. 应该给出以下列表...

通过在(X)HTML中嵌入Prolog来创建动态网页。

是否可以像在PHP、ASP或JSP中一样，在(X)HTML标签中嵌入Prolog代码？我看了一下XSB和SWI-Prolog，但没有找到类似的东西。例如，在ASP中，你可以做 ...

列出宽度为1的窗口

我试图生成宽度1的列表窗口： %所有宽度1的列表窗口： window1(L1, [I], L3, R) :- append(L1,[I],L1I), append(L1I,L3,R). ?- window1(L1,L2,L3,[a,b,c,d,e])...。

从一个二维列表中获取两个唯一的子列表，两个列表都包含变量。

所以我有一个2d列表，需要从其中得到2个唯一的子列表，都包含一些变量X。例如，如果我有[1,2],[2,3],[4,5],[3,4]，那么有效的返回是[1,2],[2,3],[2,3],[3,4]和[4,...]。

用3种颜色和列表来解决图形着色问题 - Prolog

我需要用Prolog解决图形着色问题。是关于拉丁美洲的地图，有3种颜色，问题描述说应该用Coloring的第i-th成员来Color ...。

maplist([X]>>(test(X,Xs)))可以在范围内看到外在的变量吗？

?- maplist([X]>>(member(X,[1,2])),[1,2]).真但是： ?- X2s=[1,2],X1s=[1,2],maplist([X]>>(member(X,X1s)),X2s). X1s=X2s，X2s=[1，2]X1s不接地，......。

在Prolog中实现算术解析器。

我的Prolog代码如下：expression-->first,operator,second.first-->[X].operator-->['+'];['-'].second-->[X]. 编译后，机器在命令中响应 "是"......。

终端的无限列表 - Prolog语法规则

在Prolog中处理语法规则时，是否可以定义无限数量的终端？下面的例子描述了这个问题：selection-->([if,'('),condition,[')',then,'{'],...。

prolog中的定点函数？

假设我们有一个函数Y=f(X), 我们可以表示它是一个关系f(X,Y). 例如，我们可以将函数f(x):x2`，在Prolog中表示为关系：f(X，Y):- Y是div(X，2)。我们可以...

在Prolog中并列一个字符串列表

我正在写一个Lisp到C的翻译器，我有一个处理字符串的问题。这是一段将单利斯普函数转换为C语言等价函数的代码： define(F) --> fun_unary(F),!fun_unary(F) ...

Prolog (swi for sharing) 谓词解题法。

我甚至不知道如何开始为下面的谜语写一个排比句谓词。在奥格的土地上，当地人要么是红色的，要么是绿色的， 当地人要么总是说真话，要么总是撒谎。在...

如何在prolog中写一个绝对路径的文件？

我现在的代码如下。如何给文件添加一个绝对路径或完整路径？我希望将文件保存在与当前工作目录不同的目录中。谢谢。fileName('text.txt', ...

Prolog - 在列表中寻找偶数元素

我想在Prolog中写一条规则，返回给定列表中的偶数元素。例如：even_elements([1,2,3,4], Result)将返回Result: [2,4] 这是我目前的结果。% 这是我的...

Prolog", "操作符不能如期使用？

我对prolog超级不熟悉，但我需要它来做一个学校的项目。所以，如果我用了不清楚的语言或不正确的术语，请大家谅解。我的问题是，我的代码没有按照我的意图工作......。

让Prolog的CLPFD意识到排列组合和其他对称性。

use_module(library(clpfd))。CLPFD似乎没有很快意识到，在length(L，9)中，L ins 1...9，all_distinct(L)，foreach(label(L)，sum(L，#=，X)) X=45. 我试过length(L，4)， ...

如何为地理查询程序解析自然语言问题？

我找到了地理查询程序，可以回答一些简单的问题，但我找不到任何演示或说明如何处理问题。所以我的问题是如何才能得到这个。[what,is,the,... ] 。

V

首先这不是作业，只是想自学Prolog:) 我一直在读图论，我想在我的宠物项目中实现无中心性会很酷。I ...

如何避免辅助谓词？

我写了下面的代码，用于转置（有限）列表的（有限）列表（在Prolog中利用足够的懒惰来处理无限的情况，至今我还没有发现）： transpose_opt([],[]) :- ! transpose_opt(L,M) :-......

如何检查Prolog是否会返回false？

以下是我的部分代码： find_paths(A, B) :- path([A], B, Path, 0, Length), reverse(Path, DirectPath), printPath(DirectPath), writef('with distance of %d\n', [Length]), ("......"。

Tail] and creates a new list only with the Y's. I wrote this but the compiler doesn't make it past the rule declaration line. Am I doing this the wrong way?

我是Prolog的新手，我想创建一个规则，以这样的格式接收一个列表[(X,Y,Z)o当前的头和关系任何列表一样，所以。