Löysin hauskan kielen, Dynan (http://cs.jhu.edu/~darcey/dyna-tutorial.pdf). En nykyään löydä kovin usein kieliä, joissa törmäisin uusiin ajatuksiin. Dynassa logiikkaohjelmointiydin on liitetty funktionaalistyyppiseen lausekesyntaksiin (vähän niin kuin GF:ssä) ja lisäksi määritelmät ovat aggregoivia eli koska jokaisesta lauseesta voi olla monta tulosta niin määritelmissä kerrotaan miten ne tulokset yhdistellään.
Vähän samanlainen yhdistelmä kaikenlaista hauskaa kuin jq: json, jq, catenative, and traversals.