PROLOG: An acronym for programming in logical languages. POLOG has been developed for use in artificial intelligence applications.

• 逻辑语言编写程式:是用逻辑语言程式编写的意思。它是因为人工智能的用途而开发的。