Rules that need to be followed while registering for a semester have been programmed in Prolog. The program allows you to query on the data set that you will provide with. Sample data set has been provided for reference. The project was a part of Logic in Computer Science course (CS F214).