Demonstrating the basics of logic programming with data from the Pokémon games.