A A resolução de problemas por meio de unificação de termos e backtracking, sem especificar passo a passo a sequência de execução.
B A definição de funções puras com avaliação preguiçosa, permitindo a composição funcional de chamadas recursivas.
C A manipulação direta de ponteiros e estruturas de memória alocadas dinamicamente.
D A execução paralela de processos com controle explícito de concorrência baseado em threads.
E A utilização de laços de repetição e variáveis mutáveis como elementos centrais da lógica de inferência.