made "What is Prolog?" section shorter
Extended "Where can I learn more about Prolog?"

Added link to "Artificial Intelligence through Prolog"
allow variable as antecedant of clause - resolves #13