已知A，B，C三人中有人从来不说真话，也有人从来不说假话，某人向这三人分别提出一个问题：谁是说谎者？ A答：“B和C都是说谎者”； B答：“A和C都是说谎者”； C答：“A和B中至少有一个说谎者”。用swi-prolog写代码

这个问题可以用SWI-Prolog的逻辑推理来解决。首先，我们需要定义三个人A、B、C以及他们的说话模式（真话者或说谎者）。我们可以创建两个谓词`truehoder/1`（表示说真话的人）和`liar/1`（表示说谎的人），然后编写规则来模拟三人的回答。

% 定义说真话者和说谎者的谓词
truehoder(Person).
liar(Person).

% A的回答
a_answer(Person) :-
    % 如果A说自己是说谎者，则A是说谎者
    (Person == a -> liar(a)
     ; % 否则，如果A指两个人是说谎者，那么他至少是其中之一，但不是全部
        liar(b), liar(c)).

% B的回答
b_answer(Person) :-
    % 类似于A，如果B说自己是说谎者，则B是说谎者
    (Person == b -> liar(b)
     ; liar(a), liar(c)).

% C的回答
c_answer(Person) :-
    % 如果C认为A和B中有至少一个人是说谎者，这意味着C可能是说真话者，或者他也说谎
    (Person = c ->
       % 如果C是说真话者，那么A或B至少有一个是说谎者
       (truehoder(c), (liar(a); liar(b)))
      ; liar(a), liar(b)).

现在我们可以尝试推断出谁是说谎者。由于存在不确定性，我们不能简单地通过查询找到确切的答案，而是需要编写一些查询来逐步排除可能性。

% 查询A是否是说谎者
?- a_answer(a), not liar(a).
% 查询B是否是说谎者
?- b_answer(b), not liar(b).
% 查询C是否是说谎者
?- c_answer(c), not liar(c).