예제 #1
0
 static Goal Sixes(Kanren x)
 {
     return(6 == x | Kanren.Recurse(Sixes, x));
 }
예제 #2
0
 static Goal Fives(Kanren x)
 {
     return(x == 5 | Kanren.Recurse(Fives, x));
 }