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

在Prolog中编写一个解决这个问题的程序，我们可以创建一些事实和规则来描述给定的情况。首先，我们定义一些基本的事实表示三人的选择状态：

% 定义初始事实
available(a).
available(b).
available(c).

% 事实表示特定条件下的不允许
not_allowed(c, b).

然后，我们定义一些规则来推导出可能的解决方案：

% 规则：如果A去，则C必须去
goes_to(A) :- available(A), goes_to(C).
goes_to(c) :- goes_to(a). % 如果A去，那么C也去

% 规则：如果B去，C不能去
:- goes_to(B), available(C).

% 规则：如果C不去，A或B可以去
:- not_goes_to(C), (goes_to(A); goes_to(B)).

% 主函数，尝试找到解决方案
find_solution :-
    % 开始搜索，直到找到所有可能的组合
    findall(Going, goes_to(Going), Solutions),
    % 输出结果
    writeln('可能的选派方案：'),
    maplist(write, Solutions),
    nl,
    % 检查是否有唯一解
    length(Solutions, 1),
    write('有唯一解：').

最后，你可以运行`find_solution`来找出所有的解决方案或确认是否存在唯一解。注意，Prolog是一种非确定性语言，可能会找到多个解决方案，如果没有显式限制，可能不止一个。