用编译器swi - prolog编写的数独小例子,包含递归,内部谓词等操作。数独游戏是4*4的,但是代码很明确,可以很容易的进行修改成9*9的,切记在swi - prolog下执行