3 ms·Prolog is based on "unification" in large part, which can be considered advanced pattern matching.by jinwoo68 3y agoProlog is based on "unification" in large part, which can be considered advanced pattern matching.