Programmation Logique

Base de faits

Ensemble de propositions atomiques considérées comme vraies dans un système de programmation logique, servant de point de départ aux déductions.

← Retour