correct prolog rules
correct rules