Was there ever a declarative formal specification of the Java class file format?

Question

I recall seeing something in Datalog, or was it Prolog, but cannot find it now. Was it discontinued?

Answer 1

The answer is YES. The JVM spec draft, version 3, does it all in Prolog.

JVMS3-DRAFT-20090512.pdf

Answer 2

There's Chapter 4 - The class File Format of the Java Virtual Machine Specification. Is that what you're after?