Can you give me a basic example of a program written in Prolog that demonstrates logical programming?