In the first section we talked about facts and rules, relations, general sentences, and queries. Those words are all part of a discussion of logic and natural language.
Now we're going to discuss the same ideas, but we're going to use more Prolog-ish words, like clauses, predicates, variables, and goals.