La Programmation Logique : PROLOG
1989, PROLOG III -> solveur permettant de résoudre des contraintes linéaires. ?
1996, PROLOG IV -> solveur, basé sur l'arithmétique des intervalles. ? travaux ...
1989, PROLOG III -> solveur permettant de résoudre des contraintes linéaires. ?
1996, PROLOG IV -> solveur, basé sur l'arithmétique des intervalles. ? travaux ...