experimenting with core.logic and context-free grammars