Using logic to represent and reason we can represent knowledge about the world with

facts and rules.

a$)$ True

b$)$ False