Lógica, Programação e Prolog

A primeira parte trata dos aspectos lógicos da programação lógica e tenta fornecer uma compreensão lógica da linguagem de programação Prolog. Os programas lógicos consistem em fórmulas lógicas e a computação é o processo de dedução ou construção de provas. Isso torna a programação lógica fundamentalmente diferente da maioria das outras linguagens de programação, em grande parte uma consequência do fato de que a lógica é consideravelmente mais antiga que os computadores eletrônicos e não está restrita à visão de computação associada à máquina de Von Neumann. A principal diferença entre a programação lógica e as linguagens de programação convencionais é a natureza declarativa da lógica. Um programa escrito, por exemplo, em Fortran não pode, em geral, ser entendido sem levar em conta considerações operacionais.

Saiba mais

Prolog The Standard

Do ponto de vista de um "industrial", este livro é muito bem-vindo, como uma das demonstrações mais significativas da maturidade do Prolog. A programação lógica é uma área fascinante na ciência da computação, que manteve por anos - e ainda mantém - a promessa de nos libertar da programação baseada na máquina "Von Neumann". Além disso, a programação de computadores tem sido por muito tempo para sólidas fundações teóricas. Enquanto a engenharia convencional, lidando principalmente com "complexidade analógica", desenvolveu ao longo de algumas centenas de anos um corpo completo de ferramentas matemáticas, nenhum conjunto de ferramentas estava disponível para "complexidade digital"

Saiba mais

Simply Logical Intelligent Reasoning By

Simply Logical – Intelligent Reasoning by Example” de Peter Flach foi publicado pela primeira vez por John Wiley em 1994. Ele poderia ser comprado apenas como livro ou com um disquete de 3,5 polegadas contendo os programas Prolog impressos no livro (para vários sistemas operacionais)

Em 2007, os direitos autorais voltaram para o autor e o livro e os programas estão disponíveis gratuitamente online desde então. A versão impressa não está mais disponível pela editora John Wiley. Em 2015, como piloto, portamos a maior parte do livro original para um site interativo on-line usando a plataforma SWISH da SWI-Prolog . Desde então, criamos a organização de código aberto Simply Logical , comprometida em manter um conjunto de recursos educacionais on-line interativos disponíveis gratuitamente sobre Inteligência Artificial e Programação Lógica com Prolog. Visite o site da nossa organização e o perfil do GitHub para mais detalhes.

..

Saiba mais