Um professor IFCE está orientando estudantes no desenvolvimento de um sistema especialista para apoio à tomada de decisão em processos acadêmicos. Durante a explicação, o docente destaca que, nesse sistema, o programa é construído por meio da declaração de fatos e regras, enquanto um mecanismo de inferência responde às consultas dos usuários e determina automaticamente as conclusões possíveis.

Com base nessa situação, assinale a alternativa que apresenta corretamente o paradigma de programação utilizado e uma linguagem que o implementa, respectivamente.