12557 викторин, 1974 кроссворда, 936 пазлов, 93 курса и многое другое...

Как называется язык программирования, в котором программа представляет собой набор данных, а также правила вывода новых правил из них?