## Logic Programming 03: Efficient Arithmetic, Non deterministic Search and Belgian Snake Problem

- [Rahul Nalawade](https://github.com/rahul1947)
- 2018-Feb-18

**Problems:** [Problems](https://github.com/rahul1947/Logic-Programming/blob/master/LP03-Efficient-Arithmetic-Non-Deterministic-Search-and-Belgian-Snake-Problem/Problems.txt) 

**Solution:** [Report](https://github.com/rahul1947/Logic-Programming/blob/master/LP03-Efficient-Arithmetic-Non-Deterministic-Search-and-Belgian-Snake-Problem/CS6374-HW03-rsn170330.pdf)

All the images/ screenshots are saved in [img](https://github.com/rahul1947/Logic-Programming/tree/master/LP03-Efficient-Arithmetic-Non-Deterministic-Search-and-Belgian-Snake-Problem/img) directory, containing demo of few predicates.