Take the conceptual graphs used to describe the “dogs world” of Section 7.2. Translate each of the graphs used into PROLOG notation. Design PROLOG rules for the restrict, join, and simplify operations. Hint: create a list of the propositions whose conjunction make up a graph; then the operations on the graphs are accomplished by manipulations of these lists.