死ぬ(X):-人間(X).
人間(ソクラテス).
main:
(人間(ソクラテス)->
write('ソクラテスは死ぬ'),nl
;
write('証明できない'),nl
),
halt.
:-initialization(main).