Programmation logique

Le cours

pdf ( coupure ) ( extralogique )

Les TP
  • Quelques définitions de prédicats utiles
    LISTE
    MATRICE