what algorithms does clojure's core.logic use for solving?
<p>According to wikipedia, prolog uses <a href="https://www.wikiwand.com/en/SLD_resolution" rel="nofollow noreferrer">SLD Resolution</a>. 
What are the principle algorithms driving the solving in core.logic? </p>