Logic Programming

Contains source files and related information on Logic Programming codes programmed during Spring 2018 for the course CS6374: Computational Logic by Rahul Nalawade.

Directories:

1. Basic Prolog
2. List Processing, Trees and Arithmetic
3. Efficient Arithmetic, Non Deterministic Search and Belgian Snake Problem
4. Answer Set Prgramming and s(ASP)
5. Constraint Logic Programming