New posts in logic-programming

What are the main technical differences between Prolog and miniKanren, with respect to logic programming? [closed]

prolog logic-programming minikanren