Introduction to Pilog