PROLOG 是 Programming logic 的首字母缩写词。PROLOG 是一种主要用于人工智能的高级编程语言，它由规则列表和事实组成。PROLOG 被称为声明式编程语言。