Prolog IV ou la programmation par contraintes selon PrologIA