I have very little experience with computer programming. Just a few excel macros, that's about it. I want to learn how to use prolog. It's an artificial intelligence software. I'm a philosopher and I've developed a logical language such that I can formalize all these facts and I want to check to make sure they are all consistent with each other. I also want the computer program to generate sentences. I have a feeling that I'm going to have to know some basic computer programming skills before I learn prolog. What computer programming language should I learn? Java? C++? I'm also a Mac man so I would prefer to stick with a Mac language.