为了了解 Prolog 中的正则表达式，我正在尝试编写函数来确定输入是否符合模式;我的功能如下： split(W, [[], W]). split([X|W], [[X|W1], W2]) :- ...

我有以下代码： s(a, b). s(b, c). goal(c). solve( N, [N] ) :- goal( N). solve( N, [N1 | Sol] ) :- s( N,...

当我应用此查询时： ?长度（P， _）。 P = [] ? ; P = [_] ? ; P = [_,_] ? ; P = [_,_,_] ? ; P = [_,_,_,_] ? 我有...

我已经定义了 double(X,Y) :- Y is X*2. 当我查询时，我得到.double(3,Y)Y=6 但是当我查询时，我无法得到.double(X,6),X=3 是否可以定义一个...