Введениев логическое программирование на микро-прологе