というか、prolog は unify が基本だから、変に型が
ついてない方が良くない？