我无法在序言中实现骑士和K夫问题

Question

我最近阅读了有关Prolog的文档，我是该语言的新手，请帮助我。 在我阅读过的文档中，它说了以下代码：

solve(Clues, Solution) :-
    Solution = [isa(a,A), isa(b,B)],
    Types = [knights, soldiers], 
    member(A, Types),
    member(B, Types),
    consequences(Solution, Statements, Consequences),
    consistent(Solution, Consequences).

但是我不知道如何实现以下问题，

您遇到两个居民A和B。

A说：“我是个小刀，还是B是个骑士。”

A说：“我很刻薄，但B不是。”

A说：“我们中至少有一个是小刀。”