Certains types de logique de domaine sont représentés plus naturellement à l'aide de prédicats Prolog que d'objets C#. Un exemple d'un tel domaine est representing family relationships. Existe-t-il un
Je suis actuellement suite à l'API Jena tutoriel inférences: https://jena.apache.org/documentation/inference/ et comme un exercice pour tester ma compréhension, je voudrais réécrire le premier exemple