Programação Lógica

Pra programação lógica, eu estou meio sem tempo, de dar muitas explicações. Mas darei uam boa dica, em breve eu explicarei com mais exatidão, é que ando meio sem tempo. Bom se você está iniciando em Programação Lógica o melhor é procurar no google por "tabela verdade", isso é bom pra outras linguagens também, é uma boa forma de se iniciar em qualquer uma. Depois procure também por "Calculos Proposicional" "Forma nominal Disjuntiva" e "forma nominal conjuntiva" também "Robert Kowalsky" com isso você aprenderá lógica, mas isso é praticamente tudo em programção lógica, sabendo isso é muito simples porque as sintaxes em programação lógica são praticamente as mesmas que de calculo proposicional.