Java i Prolog: Ima neka (polu)tajna veza

Danas je "in" strojno učenje, koje se najčešće definira kao podskup umjetne inteligencije, a naročito duboko učenje (duboke neuronske mreže) kao podskup strojnog učenja.No ne trebamo odbaciti i "klasičnu" umjetnu inteligenciju i programski jezik Prolog (Prolog i Lisp su najčešće korišteni programski jezici za "klasičnu" AI).Prolog je temeljen na matematičkoj logici, specifičnije na metodi rezolucije u logici prvog reda (iako ima i predikate drugog reda).Postoje različite biblioteke za inteoperabilnost Jave i Prologa (Java program poziva Prolog program ili obrnuto, Java interpreter pisan u Prologu i obrnuto ...).Ali, manje je poznato da je jedan važan dio specifikacije Java virtualnog stroja definiran kroz Prolog, tj. postoji Prolog kod u "The Java Virtual Machine Specification".Prezentacija ukratko prikazuje osnove matematičke logike, logičko programiranje, jezik Prolog i Prolog kod u "The JVM Specification".Tu je i jedan primjer Prolog programa (napravio sam ga prije 30ak godina), koji "zna" derivirati npr. i funkciju y = pow(x, x) :)