Linguaggio informatico che codifica l'intelligenza artificiale