Prologに型概念はないと言い切ってよいものだろうか。