-
0 votesanswersviews
prolog atom 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), concat(abs_,L,Fct_A), Out =.. [Fct_A|Total]. 在s... -
3 votesanswersviews
Prolog差异列表:代码适用于SWI和GNU Prolog,但不适用于Yap
当我在GNU Prolog和SWI Prolog上运行它时,此代码正确计算差异列表中的元素数 . 然而,Yap进入无限循环 . count(X-X1,0) :- unify_with_occurs_check(X,X1), !. count([H|T]-T1,N) :- count(T-T1,M), N is M+1. ?- count([1,2|A]-A,N). 当被问到这个查询时,为什么P...