Em linguagens declarativas como Prolog, as regras lógicas são essenciais para estruturar soluções de problemas. Uma dessas regras é representada pelo símbolo “:-”, cuja função é permitir a definição condicional de fatos a partir de premissas.
Considerando essa estrutura, qual alternativa apresenta uma aplicação coerente dessa lógica?
Representar fatos que são verdadeiros independentemente de qualquer condição
Controlar a ordem sequencial de execução de ações, como em linguagens imperativas
Definir que uma ação é verdadeira se uma condição também o for, com base em uma regra
Paralelizar a execução de tarefas com base em múltiplas premissas simultâneas
Avaliar o desempenho do sistema a partir de regras de inferência numérica