Skip to content

Unification rules

GRASLIN Liam requested to merge unification-rules into main

Predicate regle(E, R)

Determine si la regle d'unification R peut etre appliquer a l'equation E

Merge request reports