prolog

prolog

文章 6 浏览 343

Prolog 的并发程度如何?

我在网上找不到任何关于此的信息...我也是Prolog的新手... 在我看来,Prolog可以是高度并发的,也许在尝试匹配时一次尝试多种可能性一条规则。现代 Pr…

梦中的蝴蝶 2024-11-27 00:26:49 1 0

Prolog 中的高效可变图表示?

我想以有效的方式在 Prolog 中表示可变图。我将在图中搜索子集并用其他子集替换它们。 我已经成功地使用数据库作为我的“图形存储”来工作。例如,我…

心房敞 2024-11-26 21:21:30 2 0

Prolog - 合并符号(或术语?)

(如果我的术语有误,请原谅...我是 Prolog 新手。) 假设您有一系列符号出现在一些未知数量的谓词中。 f1(a, b, c, d). f2(b, b, c). ... fn(b, d, e…

吐个泡泡 2024-11-26 17:46:33 1 0

查找列表中最小元素的索引&在Prolog中获取另一个列表中相应索引位置的元素

我试图找到列表中最小元素的索引位置,并在另一个列表中的相应索引位置打印该元素。 例如: ?- min2(X,Y,[a,b,c],[5,3,7]). X= b y= 3 代码: min2(A,…

几度春秋 2024-11-26 09:39:37 2 0

在 prolog 中查找图的节点之间的距离

我在 Prolog 中有一个由边和线表示的图。权重: connected(a,b,2). connected(b,e,1). connected(b,l,5). connected(b,g,2). connected(c,s,2). conne…

久随 2024-11-26 05:00:46 2 0

如何创建加起来等于特定数字的数字列表

我需要一些帮助,在 Prolog 中编写一个谓词,给定一个数字作为输入,返回一个列表列表,其中的数字相加。 让我们调用谓词 addUpList/2,它应该像这样…

三生一梦 2024-11-26 03:53:48 0 0

使用phrase_from_file读取文件的行

我一直在尝试使用 phrase_from_file 和语法规则解析包含整数行的文件 line --> I,line,{integer(I)}. line --> ['\n']. : phrase_from_file(line,'in…

情何以堪。 2024-11-26 01:06:19 0 0

Prolog 初学者 - 这是一个坏主意吗?

我正在开发的应用程序是一种“配置器”。它是用 C# 编写的,我什至编写了一个规则引擎来配合它。这个想法是有一堆命题逻辑语句,用户可以做出选择。根…

橘香 2024-11-25 22:06:34 3 0

prologatom concat swi 和 yap prolog

输入: run([p(X,Y,Z),h(Z,P,Q)],Out). 代码: :- ensure_loaded(library(lists)). run([X|Y],Out) :- X =.. [Fct|Args], X =..Total, length(Args,L)…

流殇 2024-11-25 21:06:43 1 0

序言对列表

我有一个对列表的输入: [[abs_(p,X,Y,Z),abs_(f,X,Y,Z)],[abs_(p,X,Y,Z),abs_(l,Z,P)]] 我想检查一对是否具有相同数量的参数,在这种情况下是: [abs…

抹茶夏天i‖ 2024-11-25 16:02:26 1 0

序言术语到字符串

我有一个像这样的序言列表: [p(X,Y,Z),r(H,G,K)] 我想转换它 变成这样: 'p(X,Y,Z)r(H,G,K)' 它只是一个谓词列表,应该转换为字符串。 你有什么想法…

晨曦慕雪 2024-11-25 14:13:57 1 0

在 SWI-Prolog 中填写列表

我正在尝试用数字 1,2,3,...,N 填充给定长度 N 的列表。 我认为这可以这样做: create_list(N,L) :- length(L,N), forall(between(1,N,X), nth1(X,L,X…

暮色兮凉城 2024-11-25 12:56:02 1 0

Prolog 中的全局堆栈错误

我正在尝试在 Prolog 中运行以下程序。 mama_mia1(A,M,LI,HI,LO,HO,AA) :- p1(A,M,LI,HI,LO,HO,PROGS), reverse(PROGS,PROG), atom_chars(AA,PROG), !…

醉态萌生 2024-11-25 09:25:14 1 0

图中的循环检测

我们得到了一个包含以下事实的图表: edge(a,b) edge(a,c) edge(b,a) edge(c,d) edge(d,d) edge(d,e) edge(e,f) edge(f,g) edge(g,e) 并且要求我们定…

两人的回忆 2024-11-25 04:49:45 1 0

查找谓词的所有解决方案

我正在尝试定义一个谓词,该谓词接收带有自由变量的单个术语并返回这些变量的映射列表,因此例如,如果数据库是 a(0,1). a(1,1). 预期的输出, ?- eva…

天煞孤星 2024-11-25 00:18:30 1 0
更多

推荐作者

Gabu-gabumon

文章 0 评论 0

qq_CgiN62

文章 0 评论 0

荔枝明

文章 0 评论 0

¤→小豸慧

文章 0 评论 0

    我们使用 Cookies 和其他技术来定制您的体验包括您的登录状态等。通过阅读我们的 隐私政策 了解更多相关信息。 单击 接受 或继续使用网站,即表示您同意使用 Cookies 和您的相关数据。
    原文