My dissertation provides a solution to relieve di fficulties of communication between Java and Prolog programming languages that arise from their semantic and structural differences. Applying declarative metaprogramming, I developed a flexible way of referring events within the program fl ow, and provided a naturalistic interface for describing these events. Thus, the aim of my research project -- as well as its main result -- is to create a logic metaprogramming framework for Java.

Az értekezésem megoldást kínál a Java és Prolog programozási nyelvek közötti szemantikai és strukturális különbségekből adódó programozási nehézségek könnyítésére. A deklaratív metaprogramozás alkalmazásával kifejlesztettem a program futása során bekövetkező események kijelölésének egy rugalmas módját, és egy természetes nyelvhez hasonló felületet biztosítottam ilyen események leírására. Kutatói munkám célja és egyben eredménye egy logikai metaprogramozási keretrendszer létrehozása Javához.