Paradigmas de programação

Paradigma Lógico
Atividades
Realize as atividades a seguir e, em seguida, poste no Portfólio suas respostas para o seu tutor.

1) Responda às seguintes questões:
a) Em que se baseia o paradigma de programação lógico e qual é a abordagem utilizada por ele?
Resp: Baseia-se na lógica simbólicas como na matemática lógica, e são do tipo declarativas compostas apenas pelas especificações dos resultados esperados ao invés de mecanismos para obter resultados. Desta forma trata-se da relação entre conceitos e fornece mecanismos para compor provas de proposições.

b) Que tipos de problemas computacionais esse paradigma pode resolver?
Resp: Problemas no Processamento de linguagem Natural, Educação e Sistemas Especialistas.
c) Qual a relação do conceito "linguagens declarativas" com o paradigma lógico?
Resp: É baseado em programação funcional, programação lógica ou programação restritiva. Tal termo é utilizado para discernir tais linguagens em relação à linguagens de programação imperativa. Determina que um programa é declarativo se descreve o que ele faz e não como seus procedimentos funcionam. Dessa forma, linguagens de marcação são declarativas pois descrevem o que são suas estruturas e não como elas serão utilizadas. Tal definição foge do escopo pois não trata-se de linguagens de programação.

d) O que é o processo de inferência da linguagem Prolog?
Resp: É uma linguagem de programação que se enquadra no paradigma de Programação em Lógica Matemática. É uma linguagem de uso geral que é especialmente associada com a inteligência artificial e lingüística computacional. Consiste numa linguagem puramente lógica, que pode ser chamada de Prolog puro, e numa linguagem concreta, a qual acrescenta o Prolog puro com componentes extra-lógicos.

2) Preencha corretamente as lacunas:
a) Uma das principais ideias em programação lógica é que um algoritmo é constituído por dois elementos disjuntos:
•__lógica_________: corresponde à definição do que deve ser