documentation

Author: rahul1947

README.md

@@ -2,4 +2,10 @@
 
 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