List 如何在Prolog中使用动态数据库？
我编写了以下程序，它计算输入数组的最长非递减子序列 从列表列表中查找最长列表的子程序取自stackoverflow（）本身List 如何在Prolog中使用动态数据库？,list,prolog,clpfd,lis,prolog-assert,List,Prolog,Clpfd,Lis,Prolog Assert,我编写了以下程序，它计算输入数组的最长非递减子序列 从列表列表中查找最长列表的子程序取自stackoverflow（）本身 我想知道我是否正确使用了动态数据库。谢谢 Min #\/ Min #> E, E0 #> Max #\/ Max #> E, zs_subseq_taken0(Es, Xs, E). zs_subseq_taken0_min0_max0([E|Es], Xs, E0, Min0, Max0) :- Min #= min(Min0,E), Max #=
我想知道我是否正确使用了动态数据库。谢谢
lns/2的整个存储，将第一个参数与一个值统一起来，这样您就可以检查它是否更小，然后回溯以获得下一个参数。TL；医生：
在这个答案中，我们实现了一个基于的非常通用的方法
：-使用_模块（）。
列出不减损的子项（Zs、Xs）：-
（u，后缀，Zs），
（后缀，Xs），
（Xs，#=，我们基于。
现在我们的目标是通用性和效率
:- use_module([library(clpfd), library(lists)]).
list_long_nondecreasing_subseq(Zs, Xs) :-
minimum(Min, Zs),
append(_, Suffix, Zs),
same_length(Suffix, Xs),
zs_subseq_taken0(Zs, Xs, Min).
zs_subseq_taken0([], [], _).
zs_subseq_taken0([E|Es], [E|Xs], E0) :-
E0 #=< E,
zs_subseq_taken0(Es, Xs, E).
zs_subseq_taken0([E|Es], Xs, E0) :-
zs_subseq_taken0_min0_max0(Es, Xs, E0, E, E).
zs_subseq_taken0_min0_max0([], [], E0, _, Max) :-
Max #< E0.
zs_subseq_taken0_min0_max0([E|Es], [E|Xs], E0, Min, Max) :-
E0 #=< E,
E0 #> Min #\/ Min #> E,
E0 #> Max #\/ Max #> E,
zs_subseq_taken0(Es, Xs, E).
zs_subseq_taken0_min0_max0([E|Es], Xs, E0, Min0, Max0) :-
Min #= min(Min0,E),
Max #= max(Max0,E),
zs_subseq_taken0_min0_max0(Es, Xs, E0, Min, Max).
请注意，list\u long\u nondecreating\u subseq/2的回答顺序[0,8,4,12,2,10,6,14,1,9]列表\u非递减\u子序列/2list\u long\u nondecreating\u subseq/2list\u long\u nondecreating\u subseq\u NEW/2list\u long\u nondecreating\u subseq/2列表\u long\u nondecreating\u subseq\u NEW/2?- list_long_nondecreasing_subseq([0,8,4,12,2,10,6,14,1,9], Xs).
Xs = [0,8,12,14]
; Xs = [0,8,10,14]
; Xs = [0,4,12,14]
; Xs = [0,4,10,14]
; Xs = [0,4, 6,14]
; Xs = [0,4, 6, 9]
; Xs = [0,2,10,14]
; Xs = [0,2, 6,14]
; Xs = [0,2, 6, 9]
; Xs = [0,8,9]
; Xs = [0,4,9]
; Xs = [0,2,9]
; Xs = [0,1,9]
; false.