Clojure core.logic CLP (FD), das FD-Variablen projiziert

Prolog Matching vs miniKanren Vereinigung

In Prolog - Programmierung für künstliche Intelligenz sagt Bratko Folgendes auf Seite 58. "Matching in Prolog entspricht der sogenannten Vereinheitlichung in der Logik. Wir vermeiden jedoch das Wort Unification, da Matching aus Effizienzgründen ...