No abstract

Resumo: A principal motivação para o uso de programação em lógica é permitir que os programadores descrevam o que eles querem separadamente de como alcançar este objetivo. Neste contexto PROLOG é a linguagem de programação 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.

No abstract

No abstract

No abstract