## 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](https://github.com/rahul1947). 

#### 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

