PROLOG语言属于______程序设计范型，该范型将程序设计归结为列举事实，定义逻辑关系等。