This is interesting. It seems like a logic language (like Prolog) would work more naturally.