Un llenguatge informàtic que incorpora els conceptes de sistemes basats en el coneixement, sistemes experts, els motors d'inferència i processament del llenguatge natural.