每次访问从子句中检索到的值时都会调用Prolog子句

请容忍我，因为我是逻辑编程新手。 我正在编写一个Prolog子句，如果另一个子句--get_cards_by_suit/3--返回一个只有一个元素的列表，则该子句应该会成功。然而，似乎每当我使用返回的列表时，就会再次单独调用get_cards_by_suit子句。我不知道为什么会这样，我花了几个小时试图弄明白这一点

以下是我遇到问题的条款：

find_strongest_card(CardPile, TrumpSuit, StrongestCard, Reason) :-
   %if there is one and only one trump suit cards in the pile, then that card is the strongest card
   get_cards_by_suit(CardPile, TrumpSuit, AllTrumpCardsInCardPile),
   write(AllTrumpCardsInCardPile), nl,
   %if there is only one card in the pile/list, then clause succeeds
   AllTrumpCardsInCardPile = [StrongestCard],
   Reason = card_is_trump_suit.

下面是“按诉讼获得卡片”条款：

get_cards_by_suit([], _, []).

get_cards_by_suit([FirstCard | RemainingCards], Suit, CardsOfGivenSuit) :-
   get_card_suit(FirstCard, FirstCardSuit),
   FirstCardSuit = Suit,
   CardsOfGivenSuit = [FirstCard | OtherCardsOfGivenSuit],
   get_cards_by_suit(RemainingCards, Suit, OtherCardsOfGivenSuit).

get_cards_by_suit([_ | RemainingCards], Suit, CardsOfGivenSuit) :-
   get_cards_by_suit(RemainingCards, Suit, CardsOfGivenSuit).

在find\u最强的\u card子句中，我包含了一个write语句，它打印get\u cards\u by\u suit返回的值，以显示该子句是如何重复的

下面是我进行以下查询时的输出： 查询：

以下是输出：

[0,1,2,3,5,4,5]
[0,1,2,3,5,4]
[0,1,2,3,5,5]
[0,1,2,3,5]
[0,1,2,3,4,5]
[0,1,2,3,4]
[0,1,2,3,5]
[0,1,2,3]
[0,1,2,5,4,5]
[0,1,2,5,4]
[0,1,2,5,5]
[0,1,2,5]
[0,1,2,4,5]
[0,1,2,4]
[0,1,2,5]
[0,1,2]
[0,1,3,5,4,5]
[0,1,3,5,4]
[0,1,3,5,5]
[0,1,3,5]
[0,1,3,4,5]
[0,1,3,4]
[0,1,3,5]
[0,1,3]
[0,1,5,4,5]
[0,1,5,4]
[0,1,5,5]
[0,1,5]
[0,1,4,5]
[0,1,4]
[0,1,5]
[0,1]
[0,2,3,5,4,5]
[0,2,3,5,4]
[0,2,3,5,5]
[0,2,3,5]
[0,2,3,4,5]
[0,2,3,4]
[0,2,3,5]
[0,2,3]
[0,2,5,4,5]
[0,2,5,4]
[0,2,5,5]
[0,2,5]
[0,2,4,5]
[0,2,4]
[0,2,5]
[0,2]
[0,3,5,4,5]
[0,3,5,4]
[0,3,5,5]
[0,3,5]
[0,3,4,5]
[0,3,4]
[0,3,5]
[0,3]
[0,5,4,5]
[0,5,4]
[0,5,5]
[0,5]
[0,4,5]
[0,4]
[0,5]
[0]
Card = 0,
Reason = card_is_trump_suit

我期望的结果是该子句失败，因为get_cards_by_suit应该返回一个包含多个元素的列表，而不仅仅是一个元素

我错过了什么

编辑：以下是一些附加信息：

这是get_cards_suit/2条款，在get_cards_by_suit/3中使用：

get_card_suit(Card, clubs) :-
   mod(Card, 24) < 6.

get_card_suit(Card, diamonds) :-
   mod(Card, 24) >= 6,
   mod(Card, 24) < 2 * 6.

get_card_suit(Card, hearts) :-
   mod(Card, 24) >= 2 * 6,
   mod(Card, 24) < 3 * 6.

get_card_suit(Card, spades) :-
   mod(Card, 24) >= 3 * 6,
   mod(Card, 24) < 4 * 6.

当我再次使用查询find\u strong\u card子句（但删除

write（AllTrumpCardsInCardPile）

命令时，我得到以下输出：

[0,1,2,3,5,4,5,13,11,12,17,16,15,13]
false.

但是，当我将get_cards_by_suit/3子句的原始定义添加到我为测试创建的子句后面（如下所示）时，我再次遇到类似的错误 按套装获取卡片/3定义：

get_cards_by_suit(List, Suit, [4, 5, 6, 7, 7]) :-
   write(List), nl.

get_cards_by_suit([], _, []).

get_cards_by_suit([FirstCard | RemainingCards], Suit, CardsOfGivenSuit) :-
   get_card_suit(FirstCard, FirstCardSuit),
   FirstCardSuit = Suit,
   CardsOfGivenSuit = [FirstCard | OtherCardsOfGivenSuit],
   get_cards_by_suit(RemainingCards, Suit, OtherCardsOfGivenSuit).

get_cards_by_suit([_ | RemainingCards], Suit, CardsOfGivenSuit) :-
   get_cards_by_suit(RemainingCards, Suit, CardsOfGivenSuit).

这次的输出是：

[0,1,2,3,5,4,5,13,11,12,17,16,15,13]
[1,2,3,5,4,5,13,11,12,17,16,15,13]
[2,3,5,4,5,13,11,12,17,16,15,13]
[3,5,4,5,13,11,12,17,16,15,13]
[5,4,5,13,11,12,17,16,15,13]
[4,5,13,11,12,17,16,15,13]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[4,5,13,11,12,17,16,15,13]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[5,4,5,13,11,12,17,16,15,13]
[4,5,13,11,12,17,16,15,13]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[4,5,13,11,12,17,16,15,13]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[3,5,4,5,13,11,12,17,16,15,13]
[5,4,5,13,11,12,17,16,15,13]
[4,5,13,11,12,17,16,15,13]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[4,5,13,11,12,17,16,15,13]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[5,4,5,13,11,12,17,16,15,13]
[4,5,13,11,12,17,16,15,13]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[4,5,13,11,12,17,16,15,13]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[2,3,5,4,5,13,11,12,17,16,15,13]
[3,5,4,5,13,11,12,17,16,15,13]
[5,4,5,13,11,12,17,16,15,13]
[4,5,13,11,12,17,16,15,13]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[4,5,13,11,12,17,16,15,13]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[5,4,5,13,11,12,17,16,15,13]
[4,5,13,11,12,17,16,15,13]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[4,5,13,11,12,17,16,15,13]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[3,5,4,5,13,11,12,17,16,15,13]
[5,4,5,13,11,12,17,16,15,13]
[4,5,13,11,12,17,16,15,13]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[4,5,13,11,12,17,16,15,13]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[5,4,5,13,11,12,17,16,15,13]
[4,5,13,11,12,17,16,15,13]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[4,5,13,11,12,17,16,15,13]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
Card = 0,
Reason = card_is_trump_suit 

---

真的很奇怪。我非常感谢大家的帮助。

在

通过西服获得卡片/3

中，统一

FirstCardSuit=suit

被用作一个“守卫”来决定是继续（因为我们有合适的西服）还是中断（因为

FirstCardSuit

不属于

西服

）.如果我们中断，我们继续执行第4条：

通过诉讼获得卡片（[[u124;剩余卡片]、诉讼、卡片等）

但是，如果我们不中断，Prolog将保留（错误的）备选方案

get_cards\u by_suit（[[u124; RemainingCards]，suit，CardsOfGivenSuit）

打开，稍后再尝试。您必须告诉它放弃该备选方案

---

在警卫

FirstCardSuit=Suit

之后添加一个cut

！

：

FirstCardSuit=Suit，！，…

，从而承诺使用此替代方法。第三个子句以后将不再尝试。

get\u cards\u by\u Suit/3不清楚，有几个未指定的谓词。您也可以添加这些谓词吗？@DavidTonhofer我添加了get\u cards\u Suit/2 predic吃了一套一套的卡片。谢谢你！成功了！非常感谢你！你帮我省了好几个小时的痛苦

get_cards_by_suit(List, Suit, [4, 5, 6, 7, 7]) :-
   write(List), nl.

get_cards_by_suit([], _, []).

get_cards_by_suit([FirstCard | RemainingCards], Suit, CardsOfGivenSuit) :-
   get_card_suit(FirstCard, FirstCardSuit),
   FirstCardSuit = Suit,
   CardsOfGivenSuit = [FirstCard | OtherCardsOfGivenSuit],
   get_cards_by_suit(RemainingCards, Suit, OtherCardsOfGivenSuit).

get_cards_by_suit([_ | RemainingCards], Suit, CardsOfGivenSuit) :-
   get_cards_by_suit(RemainingCards, Suit, CardsOfGivenSuit).

[0,1,2,3,5,4,5,13,11,12,17,16,15,13]
[1,2,3,5,4,5,13,11,12,17,16,15,13]
[2,3,5,4,5,13,11,12,17,16,15,13]
[3,5,4,5,13,11,12,17,16,15,13]
[5,4,5,13,11,12,17,16,15,13]
[4,5,13,11,12,17,16,15,13]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[4,5,13,11,12,17,16,15,13]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[5,4,5,13,11,12,17,16,15,13]
[4,5,13,11,12,17,16,15,13]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[4,5,13,11,12,17,16,15,13]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[3,5,4,5,13,11,12,17,16,15,13]
[5,4,5,13,11,12,17,16,15,13]
[4,5,13,11,12,17,16,15,13]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[4,5,13,11,12,17,16,15,13]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[5,4,5,13,11,12,17,16,15,13]
[4,5,13,11,12,17,16,15,13]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[4,5,13,11,12,17,16,15,13]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[2,3,5,4,5,13,11,12,17,16,15,13]
[3,5,4,5,13,11,12,17,16,15,13]
[5,4,5,13,11,12,17,16,15,13]
[4,5,13,11,12,17,16,15,13]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[4,5,13,11,12,17,16,15,13]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[5,4,5,13,11,12,17,16,15,13]
[4,5,13,11,12,17,16,15,13]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[4,5,13,11,12,17,16,15,13]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[3,5,4,5,13,11,12,17,16,15,13]
[5,4,5,13,11,12,17,16,15,13]
[4,5,13,11,12,17,16,15,13]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[4,5,13,11,12,17,16,15,13]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[5,4,5,13,11,12,17,16,15,13]
[4,5,13,11,12,17,16,15,13]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[4,5,13,11,12,17,16,15,13]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[5,13,11,12,17,16,15,13]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
[13,11,12,17,16,15,13]
[11,12,17,16,15,13]
[12,17,16,15,13]
[17,16,15,13]
[16,15,13]
[15,13]
[13]
[]
Card = 0,
Reason = card_is_trump_suit