Learning Prolog and some demo code