Telecharger Cours

Programmation Logique

La programmation logique en clauses de Horn est définie par : langage des données : le langage des termes, langage des programmes : les clauses définies,.



Download