Ecriture en Prolog d’un démonstrateur basé sur l’algorithme des tableaux pour la logique de description ALC en 3 parties:
- Partie 1 - Etape préliminaire de vérification et de mise en forme de la Tbox et de la Abox.
- Partie 2 - Saisie de la proposition à démontrer.
- Partie 3 - Démonstration de la proposition.
Noté : 13 / 20