Dans certains domaines, ou devrais-je dire dans presque tous les domaines, on est parfois amené à vouloir trouver des théorèmes, ou des solutions, en partant d’une base de connaissances. Cette base de connaissance, ces choses prouvées, s’appelle dans le domaine la base de faits. Exemple en médecine, on connaît les symptômes d’un patient, et on ...