atoms(). % Fill in the number of atoms predicates(). % Fill in the number of predicates facts(). % Fill in the number of facts in the code above rules(). % Fill in the number of rules in the code above clauses(). % Fill in the number of clauses in the code above