more comments on modular
simpler equal and greater than rule
Some basic information about prolog
simpler not equal rule
Better max rule

Don't use write() because it will just print out sth to the cmd.
But we cannot use is in another rule or something.