Wenn ich mich über Logikprogrammierung informieren möchte, stolpere ich heutzutage immer über zwei "Haupt" -Verfahren:

miniKanren, eine in @ eingeführte MinispracThe Reasoned Schemer und momentan beliebt wegen core.logic.Prolo, die erste "große" Logikprogrammiersprache.

Was interessiert mich jetzt: Was sind die wichtigsten technischen Unterschiede zwischen den beiden? Sind sie sich in ihrer Herangehensweise und Implementierung sehr ähnlich, oder verfolgen sie völlig andere Herangehensweisen an die Logikprogrammierung? Aus welchen Bereichen der Mathematik kommen sie und auf welchen theoretischen Grundlagen?