我如何重写以下内容，以便它使用if _？

Posted 2023-01-27

我正在做一些简单的操作exercises，以使您对该语言有一种感觉。

is_list([]).
is_list([_|_]).

my_flatten([],[]).
my_flatten([X|Xs],RR) :- my_flatten(Xs,R), (is_list(X), !, append(X,R,RR); RR = [X | R]).

这里是使用cut的版本，用于将列表平整一个级别的谓词。

my_flatten([],[]).
my_flatten([X|Xs],RR) :- my_flatten(Xs,R), if_(is_list(X), append(X,R,RR), RR = [X | R]).

这是我要编写的方式，但是它不起作用。 is_list(X) = true也不作为if_条件。我打算如何在此处使用if_？

答案

在序言中，if … then … else …的其他等效语言是：