Unifikation, Matching

Unifikation bzw. Matching sind die Basis für die Implementierung Logischer (bzw. Funktional-Logischer Programmiersprachen, Matching wird auch besonders in der Programmtransformation eingesetzt (vgl. KORSO und UniForM).