more tests in prolog rules