Learning Pilog - 1: A Short Introduction to Prolog