- (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.