Prolog语言的一种版本