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

在Prolog中编写这样的程序，我们可以创建规则来表示题目中的条件。首先，我们需要定义一些基本的事实（facts）和规则（rules）。这里是一个简单的示例：

% 定义基础事实
available(A).
available(B).
available(C).

% 表达规则
goes_to(X) :- available(X), % X可以去
                 not(going_to(C)). % 防止C同时去

going_to(C) :- goes_to(A), % 如果A去，则C也去
               going_to(C, A). % 同时记录C依赖于A

going_to(C, _) :- goes_to(B), !, % 如果B去，排除C
                  not(going_to(C)). % C不去

% 解决问题：找出是否能选派一到两名队员
solution(GoalList) :-
   findall(X, (goes_to(X), GoalList = [X|_]), Solutions),
   length(Solutions, NumSoln),
   NumSoln <= 2.

% 主函数测试
main :-
   solution([X,Y]),
   writeln('可以选择队员:', [X,Y]),
   % 添加更多查询以找到所有解决方案
   % solution(Solutions),
   % writeln('所有可能组合:', Solutions).

在这个程序中，`solution/1`尝试寻找一种安排使得不超过两人出国进修，并且满足给出的条件。`main/0`作为入口点，用于测试解决方案。

注意，这个Prolog程序假设了`going_to/2`规则，即当某个队员去后，会递归地更新`going_to(C)`状态。由于Prolog的特性，它可能会找到所有可能的解决方案，而不仅仅是满足条件的一到两个方案。如果你只想得到一到两个符合条件的组合，可以在`solution/1`的最后加上适当的限制。