prolog language for logic programming 1472332