Introduction to Prolog computation model and its implementation