Formális nyelvészet III.: Logikai programozás: Lovagok, lókötők és prológus - (:unkn) unknown (My University, 2026)