Logic Programming

Programación lógica

Contiene archivos fuente e información relacionada sobre códigos de programación lógica programados durante la primavera de 2018 para el curso CS6374: Lógica computacional de Rahul Nalawade.

Directorios:

1. Prólogo básico
2. Procesamiento de listas, árboles y aritmética
3. Aritmética eficiente, búsqueda no determinista y problema de la serpiente belga
4. Programación de conjuntos de respuestas y s(ASP)
5. Programación lógica de restricciones