In this demonstration you can interactively color the map of Europe using the IDP language.
The text box allows you to write your own theory, and pressing Run generates a colored map of Europe which takes this theory into account. The buttons on the left provide you with three example scenarios.
You can use the following vocabularium:
Colors and countries can be directly referred to using double quotes and lowercase. E.g.