型なしの、非オブジェクト指向言語ですよね。Prologって。