Report copyright - 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
Please pass captcha verification before submit form