Prolog et les langages fonctionnels: comparaison de la sémantique et des interpréteurs