Computational Logic Assignment 9

Change-Id: I9ec150df98f743c090dfc8bf532648f1c90d22d9
Signed-off-by: Parth Satra <pasatra@ncsu.edu>