C# (CSharp) NMiniKanren FreshVariable Examples

Example #1

File: Substitution.cs Project: sKabYY/NMiniKanren

 public bool Find(FreshVariable var, out object val)
 {
     if (IsEmpty())
     {
         val = null;
         return(false);
     }
     if (Var == var)
     {
         val = Val;
         return(true);
     }
     return(parent.Find(var, out val));
 }

Example #2

File: Substitution.cs Project: sKabYY/NMiniKanren

 public Substitution Extend(FreshVariable var, object val)
 {
     return(new Substitution(this, var, val));
 }

Example #3

File: Substitution.cs Project: sKabYY/NMiniKanren

 private Substitution(Substitution p, FreshVariable var, object val)
 {
     parent = p;
     Var    = var;
     Val    = val;
 }