Application de PROLOG à la résolution de problèmes relatifs aux circuits actifs