Prolog é 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 linguística computacional.

• O termo Prolog é derivado da expressão “Programming in Logic”, uma vez que é baseado em Lógica de Predicados de 1a ordem. • Foi criado em 1973, na Universidade de Marseille, França. • Propósito da criação: criar programas para tradução de linguagem natural (= linguagens faladas, como português, inglês). • Não é uma linguagem padronizada: padrão ANSI esta sendo formalizado. Enquanto isso, o livro de Clocksin e Mellish, “Programming in Prolog” (1984) é um padrão não oficial. • Geralmente é interpretado, mas pode ser compilado. • Escolhida para o projeto japonês da linguagem de 5a. Geração.

um ambiente online para rodar programas no interpretador SWI-Prolog. Ao criar um novo documento no SWISH, a tela é dividida em três partes:

• esquerda: base de conhecimento (programa)

• direita inferior: consulta

• direita superior: resultados

Neste curso são introduzidos os conceitos básicos da linguagem de programação lógica Prolog. Além de abordar os seguintes temas: introdução, consultas, variáveis, estruturas, lista, estrutura e fatorial. Os elementos básicos da linguagem Prolog são herdados da lógica de predicados. Esses elementos são fatos, regras e consultas. Fatos servem para estabelecer um relacionamento existente entre objetos de um determinado contexto de discurso. Outros elementos serão discutidos, no decorrer, do curso.