prolog的英文资料 ,pdf版的, 非常有用。 附有示例两个。