Facts And Predicates In Prolog