设计一个prolog程序，实现用深度优先搜索策略解九宫格问题的过程

domains
node=symbol
predicates
arc(node,node)
go(node,node)
clauses
arc(a,b).