chickadee » mini-kanren » run

(run n (x) goal0 goal ...)syntax

Interface operator for miniKanren. Behaves like run*, except that it will only provide up to n possible unifications of x. This is useful if there are a finite number of solutions and one wants to merely take the first n possible solutions.