Il faut connaitre le langage Prolog
MP si c'est le cas