Hello World for Prolog (worlds tiniest deductive database)