Introduction to PROLOG for linguists. Part 1