Logic Programming

Programação Lógica

Contém arquivos fonte e informações relacionadas sobre códigos de programação lógica programados durante a primavera de 2018 para o curso CS6374: Lógica Computacional de Rahul Nalawade.

Diretórios:

1. Prólogo Básico
2. Processamento de listas, árvores e aritmética
3. Aritmética Eficiente, Pesquisa Não Determinística e Problema da Cobra Belga
4. Programação de conjunto de respostas e s (ASP)
5. Programação Lógica de Restrições