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

在Prolog中，你可以使用谓词和规则来描述这个问题。这里是一个简单的示例程序，它会尝试找出所有可能的解决方案：

% 定义科研骨干
scientist(a).
scientist(b).
scientist(c).

% 条件一：如果A去，C必须去
go(A,C) :- scientist(A), scientist(C), a_goes.

% 条件二：如果B去，C不能去
no_go(B,C) :- scientist(B), scientist(C), b_goes, \+ c_goes.

% 条件三：如果C不去，A或B可以去
optional(Goal) :- scientist(C), \+ c_goes, (scientist(A), Goal; scientist(B), Goal).

% 主要目标：寻找1到2名科研骨干出国进修
solution(OneOrTwo) :-
   optional(go(_)),
   (optional(go(_)) -> OneOrTwo = [A,B] ; OneOrTwo = [A,C]).

% 模块开始，假设A去
a_goes.

% 开始查询
?- solution(OneOrTwo).

在这个程序中，`solution`规则尝试找到一个或两个符合条件的科研骨干。我们首先设置`a_goes`表示A去，然后利用递归规则尝试满足其他条件。运行这个程序，你会得到所有的解决方案。