Java and Prolog: There is some (semi)secret connection

Today, machine learning (which is most often defined as a subset of artificial intelligence) is "in", especially deep learning (deep neural networks) as a subset of machine learning.But we should not reject "classical" artificial intelligence and the Prolog programming language (Prolog and Lisp are the most commonly used programming language for "classical" AI).Prolog is based on mathematical logic, more specifically on the resolution method in first-order logic (although it also has second-order predicates).There are different libraries for Java and Prolog interoperability (a Java program calls a Prolog program or vice versa, a Java interpreter written in Prolog and vice versa ...).But, it is less known that one important part of the Java Virtual Machine specification is defined through Prolog, i.e. there is Prolog code in "The Java Virtual Machine Specification".The presentation briefly covers the basics of mathematical logic, logic programming, the Prolog language and Prolog code in "The JVM Specification".There is also an example of a Prolog program (I made it about 30 years ago), which "knows" how to derive, for example, the function y = pow(x, x) :)