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


Methodologies & Tools

Date and time

Monday, 16. October 2023., 09:00


Hall C



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) :)

Lecture details

Level of difficulty: Detailed
Desirable listeners function: Software Developer or Architect , Educator
Group of activity: Methodologies & Tools

About speaker


The conference is organized by the Croatian Association of Oracle users & Croatian Java Users Association. 

Like us on Facebook

We post news, photos and other interesting facts on official JavaCro Facebook Page.

Follow us on Twitter

Keep up to date with all the news on Twitter!

Platinasti Pokrovitelj

Zlatni pokrovitelj

Srebreni pokrovitelji

Medijski pokrovitelji