Computers represent the world with data structures, like a table where each row is one example. Reasoning algorithms use those representations to work out new information from what is already known. We can write a decision tree for Sky Sorter as a flowchart and as pseudocode.