Report - Le langage Prolog - Accueilnie/IFT3335/demo2-03.pdf · 3 Unification Def. Le but de l’unification est de déterminer les substitutions sur des variables pour que l’arbre de deux

Please pass captcha verification before submit form