1. Consider a base knowledge in Prolog with the celestials bodies (Sun, planets and satellites) orbiting each other based on the solar system: orbits (+ X, + Y), meaning that X orbits around Y. Using the variables X and Y, construct a predicate that places in a list L all the celestial bodies that orbit around X: orbiting bodies (+ Y, + X, -L). 1. Consider a base knowledge in Prolog with the celestials bodies (Sun, planets and satellites) orbiting each other based on the solar system: orbits (+ X, + Y), meaning that X orbits around Y. Using the variables X and Y, construct a predicate that places in a list L all the celestial bodies that orbit around X: orbiting bodies (+ Y, + X, -L)