core.logic is extensible in a way that Prologs traditionally are not and it integrates quite deeply with Clojure - for example you can extend unification to your own data structures and stream "facts" from your own data sources.