一般SWI-prolog的资料较少，我用了一个礼拜，里面有个例子。