Trying out prolog