Я помню, что видел что-то в Datalog, или это был Пролог, но не могу найти это сейчас. Это было прекращено?
Ответ ДА.Проект спецификации JVM, версия 3, делает все это в прологе.
JVMS3-DRAFT-20090512.pdf
Есть Глава 4 - class Формат файла Спецификация виртуальной машины Java . Это то, что вы ищете?
class