Trata-se de um curso de programação declarativa por meioda linguagem Prolog. A linguagem Prolog tem como base o cálculo de predicados de primeira ordem, cláusulas de Horn. Trata-se da principal linguagem de programação do paradigma lógico e está no centro do estudo da inteligência artificial simbólica.
 

Inicialmente, veremos a sintaxe do Prolog. Em seguida, veremos a principal estrutura de dados do Prolog, que são as listas. Um conceito importante da programação declarativa é o uso da recursão. Faremos diversos programas recursivos em Prolog sobre listas planas (não aninhadas). Como aspecto avançado do curso, veremos o uso de acumuladores em Prolog, que otimiza a programação recursiva.
 

O curso de extensão proposto adota uma metodologia dinâmica e multidisciplinar, combinando diferentes recursos educacionais para promover uma aprendizagem abrangente e flexível. A abordagem pedagógica é centrada no aluno, incentivando a autonomia e a participação ativa no processo de aprendizagem. Os principais recursos utilizados são:

• Videoaulas: as videoaulas são o principal meio de transmissão de conteúdo, oferecendo explicações claras e detalhadas sobre os temas abordados. Elas são gravadas por especialistas na área, permitindo que os alunos assistam no seu próprio ritmo e revisem quantas vezes necessário.
• Leitura dos textos sugeridos: para complementar as videoaulas, são disponibilizados textos selecionados, como artigos científicos, capítulos de livros e materiais de apoio. Essas leituras aprofundam o conhecimento teórico e proporcionam diferentes perspectivas sobre os temas estudados.
• Áudios: recursos em áudio, como podcasts ou gravações explicativas, são utilizados para oferecer uma alternativa de estudo que se adapta a diferentes estilos de aprendizagem e situações do cotidiano. Os alunos podem ouvir os conteúdos enquanto realizam outras atividades, otimizando o tempo disponível.
• Atividades práticas e reflexivas: ao longo do curso, são propostas atividades que visam consolidar o aprendizado e estimular a aplicação dos conceitos.

A metodologia do curso é desenhada para ser inclusiva e acessível, permitindo que os alunos gerenciem seu próprio ritmo de estudos.