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

在Prolog中编写程序来解决这个问题，我们可以创建规则来描述题目所给的条件，并利用谓词来表示选择。假设我们有三个谓词`can_travel(A)`, `can_travel(B)`, 和 `can_travel(C)`，它们分别代表A、B和C可以出国进修。然后我们可以按照以下方式构造程序：

% 定义初始状态，A和C总是可以一起去
can_travel(A).
can_travel(C).

% 条件1：如果A去，那么C也去
travel(A, C) :- can_travel(A), can_travel(C).

% 条件2：如果B去，C不去
travel(B, -C) :- can_travel(B), \+ can_travel(C).

% 条件3：最多只能选两个人
max_two_people(TravelList) :-
   travel_list(TravelList),
   length(TravelList, Count),
   Count =< 2.

% 将选择的人员打包成列表
travel_list([X|_]) :-
   can_travel(X), !.
travel_list([]).

% 求解问题，找出所有可能的旅行组合
solve :-
   max_two_people(TravelList),
   writeln('Possible trips:', TravelList).

运行这个程序，它会寻找满足条件的所有可能的出国进修团队组合。然而，由于Prolog是确定性的，可能会有无限解决方案，所以我们通常需要限制搜索深度或者其他策略来获取有限的结果。