（Programming in Logic的缩写），用于自然语言与人工智能研究。

有别于一般的函数式语言，prolog的程序是基于谓词逻辑的理论。

下载 SWI-Prolog

加载family.pl文件

load[family].

?- write('Hello'), write('world'). Hello, world true.

https://xmonader.github.io/prolog/2018/12/21/solving-murder-prolog.html