Voltar
Artigo Acesso aberto Produção Nacional
BIBTEX RIS

Prolog: A Linguagem, A Máquina Abstrata de Warren e Implementações

2013; Volume: 20; Issue: 2 Linguagem: Português

10.22456/2175-2745.36756

ISSN

2175-2745

Autores

George Souza Oliveira, Anderson Faustino da Silva,

Tópico(s)

Formal Methods in Verification

Resumo

A principal motivação para o uso de programação em lógica e permitir que os programadores descrevam o que eles querem separadamente de como alcancar este objetivo. Neste contexto Prolog é a linguagem de programacao em lógica mais popular, tendo a máquina abstrata de Warren como o seu modelo de execução padrão. A escolha desta máquina como modelo de execução ocorreu devido ao fato desta oferecer várias vantagens, tais como fácil compilação, portabilidade e código compacto. Este tutorial tem por objetivo descrever as características principais da linguagem Prolog, do seu modelo de execução e apresentar os principais sistemas Prolog.

Referência(s)