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