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

Abstract

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.