]> AND Private Git Repository - cours-maths-dis.git/blob - tpProlog/tp1/exo2.txt
Logo AND Algorithmique Numérique Distribuée

Private GIT Repository
correction Algboole13
[cours-maths-dis.git] / tpProlog / tp1 / exo2.txt
1 trois faits
2 quatre règles
3 cinq prédicats
4 sept clauses
5
6