Логика и пролог в дискретной математике