Given these rules, you can infer from the previous facts some of the things that Cindy and Caitlin like:Cindy likes Cindy.Caitlin likes Kermit.To encode these same rules into Prolog, you only need to change the syntax a little, like this:likes(cindy, Something):- likes(bill, Something).likes(caitlin, Something):- green(Something).