人間(ソクラテス).
人間(波平さん).
main:
forall(人間(X),
(format('X=~w~n',[X]))),
halt.
:-initialization(main).