Added Prolog example
Preprocessing added