?- max_list([1, 30, X, 75], X).
X = 75.

ん?これでいいのか…?