\BOOKMARK [1][-]{section.1}{D\351finitions et exemples}{} \BOOKMARK [2][-]{subsection.1.1}{D\351finitions}{section.1} \BOOKMARK [2][-]{subsection.1.2}{Exemple : mono\357des}{section.1} \BOOKMARK [2][-]{subsection.1.3}{Exemple : relations familiales}{section.1} \BOOKMARK [2][-]{subsection.1.4}{Clauses existentielles}{section.1} \BOOKMARK [1][-]{section.2}{R\351solution propositionnelle}{} \BOOKMARK [1][-]{section.3}{Unification}{} \BOOKMARK [1][-]{section.4}{Syntaxe et utilisation}{}