Project 2 some ruling progress

prolog is confusing