examples in prolog