编写prolog程序，求解下述问题： 某单位要从A， B， C这三名科研骨干中挑选1到2名出国进修，根据工作业务上的需要，选派人员需满足如下条件：（1）若A去， 则C必须去；（2）若B去， 则C不能去；（3）若C不去，则A或B都可以去。问如何选派?

在Prolog中编写解决这个问题的程序，我们可以定义一些事实和规则来描述问题。首先，我们创建一些基本的事实表示A、B、C的可用性：

available(A).
available(B).
available(C).

not_allowed_c_with_b(B, C).
required_c_with_a(A, C).
optional_without_c(A, B).

然后，我们可以定义一个规则来找出满足条件的方案：

% base case: 如果所有人都不行，返回false
find_solution([]).

% 当有剩余的人可以选择时，递归地尝试排除一人
find_solution([Person|Others]) :-
    (   % 如果当前人符合条件
        (   required_c_with_a(Person, _)
        ->  % C必须去，其他人中找满足条件的组合
            find_solution([C|Others])
        ;   % 否则，检查是否只有这个人可行
            optional_without_c(Person, Others)
        ),
    ).

% 找到满足条件的两个人
find_two Soln :-
    find_solution([A, B, C]),
    length(Soln, 2),
    member(A, Soln),
    member(B, Soln),
    \+ member(C, Soln).

最后，你可以调用`find_two`来获取解决方案：

?- find_two(Solution), writeln('出国进修的人员: '), list_to_term(Solution, Term), writeln(Term).

运行这个程序会根据规则找到满足条件的出国进修人员组合。注意，Prolog不是一种确定性的语言，所以如果存在多个解，它可能会返回其中的一个。