Prolog Fact Example