class

Kanren::Solver(T)

Inherits Reference < Object

Constructors

new(states : Array(Kanren::State(T)) = [State(T).new])

Instance methods

branch(count, &)
fresh(count, &)
join(a : Var, b : Var)
join(a : T, b : T)
join(var : Var, value : T)
member(var : Var, *values)
query_var
solutions