Em um sistema de agendamento automático, um desenvolvedor programa um agente para resolver conflitos de horário entre várias tarefas designadas. O agente aplica lógica de predicados para garantir que não haja sobreposições, maximizando assim a eficiência do calendário. Que elemento da programação em Prolog é fundamental para este tipo de aplicação?