prolog
input