Prolog初心者の第一歩は ?- mortal(socrates). から。