SWI-Prolog的吉祥物是个智慧的猫头鹰，来历还与Prolog的语法相关。
不少编程语言都有自己的吉祥物，像Python的蟒蛇、PHP的大象、Perl的骆驼、Go的地鼠、Rust的螃蟹、Swift的雨燕……（什么编程语言动物园）而它们也都有着自己的寓意。之前很好奇SWI-Prolog的猫头鹰的寓意和来历，但没搜到什么结果。
后来我就直接在SWI-Prolog的论坛上问。有资深的开发者说，猫头鹰是基于一个样式设计的，
而这个样式就是Prolog中用来定义谓词的语法（:-）的翻转。

:-)原来是这样