SWI-Prolog は prolog 処理系.
http://www.swi-prolog.org/Download.html
次のように操作
[user]. person(taro). person(hanako). ctrl + D (同時押し) person(X). Enter キー