Introduction to PROLOG for linguists