Bonjour,
suite au commentaire parlant de racket, j'ai essayé. Je suis tombé sur le support de datalog un langage à la prolog.
J'ai donc fait l'exemple de la famille classique. J'ai appelé le papa dad, la mère mom, et les enfants son[123]. Quand je cherche à connaitre les frères de son3, j'obtiens son1 et son3 ! Je voudrais éliminer le dernier cas en ajoutant quelque chose du genre : brother(G, G) est faux ou en ajoutant (…)