21、Prolog编程：地图着色、分子查询与搜索策略

Prolog编程：地图着色、分子查询与搜索策略

1. 地图着色问题

1.1 问题描述与解决方案

在Prolog中，为地图上的国家着色，使得相邻国家颜色不同是一个经典问题。我们可以定义一个尾递归的地图着色程序，该程序接收一个已分配颜色的国家 - 颜色对列表作为输入，并返回包含地图上所有国家的颜色 - 国家对列表。

以下是实现该功能的代码：

% MAP.PL
% 地图着色程序
map :-
    color_map([],Solution),
    writeln(Solution).

color_map(Sofar,Solution) :-
    country(Country),
    \+ member([Country,_],Sofar),
    color(Hue),
    \+ prohibited(Country,Hue,Sofar),
    write(Country),nl,
    color_map([[Country,Hue]|Sofar],Solution).

color_map(Solution,Solution).

prohibited(Country,Hue,Sofar) :-
    borders(Country,Neighbor),
    member([Neighbor,Hue],Sofar).

borders(Country,Neighbor) :-
    beside(Country,Neighbor).

borders(Country,Neighbor) :-
    beside(Neighbor,Country).

wr