unification and syntax in prolog 2207921

Loading…