Ecriture en Prolog d’un démonstrateur basé sur l’algorithme des tableaux pour la logique de description ALC dans le cadre de l'UE de LRC.
-
Updated
Dec 14, 2022 - Prolog
#
tableau-algorithm
Here is 1 public repository matching this topic...
Improve this page
Add a description, image, and links to the tableau-algorithm topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the tableau-algorithm topic, visit your repo's landing page and select "manage topics."