Ахметова М. Функционалдық-логикалық программалау және жасанды зерде жүйелері