Comment by MauiWarrior

There is already Problog with probability and logic. Could somebody help me understand benefits of Kanren?