SWI-Prolog：替换地图中的值

Question

我有一个map / 3，其中包含所有值，如何更改地图中的值，我想将map(2,3,"O")更改为map(2,3,"X")，如何更改“O”那个位置是“X”？

Answer 1

:- dynamic map/3.

change_map(X,Y,Old,New) :- retract(map(X,Y,Old)), asserta(map(X,Y,New)).