swi-prolog

0热度

2回答

我使用maplist（getEdgeInfo（Q_From_To），Edges，Edge_Info0）来收集图中边缘的所有信息。 getEdgeInfo（Q_From_To）返回时，还会返回一个列表边缘的列表，每个列表中的信息，所以我结束了以下Edge_Info0： [ [[4,4,"n.v.t.",3,"n.v.t.",3,5,5,2]], [[5,5,"n.v.t.",3,"n.v.

2热度

2回答

序言：MD5谓词

我想写一个md5谓词验证以下： md5("my string", "my md5"). 这样的谓词的真实例是 md5("long live and prosper", "bf1835ce984d2a97d31409394fe00e9a"). 我看着文档，和我发现这个：http://www.swi-prolog.org/pldoc/doc_for?object=crypt/2 ?- phra

1热度

2回答

SWI Prolog使用聚合

我在SWI Prolog上创建了一个简单的数据库。我的任务是根据生产计划来计算每个部门的工作时间。我差不多完成了，但我不知道如何总结我的结果。至于现在我得到这样的事情部门数量 B 20 Ç50 下30 我怎么能转换到这个？ B 20 C 80 我的代码https://gist.github.com/senioroman4uk/d19fe00848889a84434b

1热度

1回答

WARMR（ACE套件）：消除频繁模式中的“连接”项

我在ACE数据挖掘套件中使用WARMR频繁模式算法。这里是一个玩具示例，说明我的问题。想象你有，比如说，20例（example(ex1))，...，example(ex20))），只有一个谓语，称之为quality，所以quality(E, X)意味着E有质量X。 X可以采取，说，δ值：a，b，c，d，这是相关的e和f：c是b和b是a（因此c也a），f是e和e是d（等f也是d）。想图： a -

2热度

1回答

有没有办法避免在SWI-Prolog控制台中为模块的每个谓词加上前缀？

下面是一个例子： %% file named: p.pl :- module(p,[ ]). :- use_module(library(chr)). :- chr_constraint red, blue, yellow, orange, purple, green. red, blue <=> purple. red, yellow <=> orange. blue, yellow

0热度

1回答

在C＃中使用Aleph与SWI Prolog？

在C＃应用程序中，我想使用Aleph来构建理论。在SWI-Prolog的以下作品： ?- [aleph.pl]. ?- working_directory(CDW,'C:/Users/admin/Desktop/inputFiles'). ?- read_all(datainput). ?- induce. 但在C＃这些命令并不： if (!PlEngine.IsInit

3热度

2回答

current_predicate/1不适用于： - 动态？

我有一些谓词，我在Prolog中使用断言定义。我使用current_predicate/1来知道assert是否已经运行（只有一个值需要被声明）。然而，swipl不断抱怨： Warning: The predicates below are not defined. If these are defined Warning: at runtime using assert/1, use :-

3热度

1回答

从德国Umlaute，从SWI Prolog到JAVA的TCPIP问题

我尝试在Prolog服务器应用程序和Java客户端应用程序之间实现tcpip连接。它的工作原理，但我有问题，我没有正确接收德国Umlaute（ä，ü等）。这就是我所做的：在Java中，客户端： inputreader = new BufferedReader(new InputStreamReader(clientSocket.getInputStream(),"UTF-8")); ...

1热度

1回答

与序言

我试图用序言解析解析：我需要运行哪些临危在命令文本代码，并解析它根据输入的。命令CAL回报日历（月，年）其中一个月∈[1-12]和年份∈[9999]。如果没有给定月份，则返回年份，如果两者均未指定返回当前月份和年份。示例。选项1 ?- read_sentence(X). |: cal 1 2000 X = calendar(1,2000). 选项2 ?- read_sentence

0热度

1回答

参数没有充分实例化名单总和

我想约束一个列表的总和，但我的代码在label()失败。特等： :- use_module(library(clpfd)). solve(L, Dim) :- length(L, 5), % define 5 diagonals SkipVars is Dim - 2, % to skip variables init_sublists_above_center