uhm , no , prolog doesn't just differ by being more "human like" because it actually isn't humanlike at all ... "If black then ..." could have easly been a Pascal construction
the main difference between PROLOG and other languages is that it doesn't create applications , it is a logics engine - for example it can determine the value of truth of one sentence in a silogism by knowing the truth values for the other two and such... I'm not very familiar with it though because it's too hard to use and it will never be able to create AI