Explain predicates in logic programming.
Add list style.