コード例 #1
0
 public bool Visit(IConcreteValue rhsConcreteValue)
 {
     return(lhsConcreteValue.Accept(new Unifier(rhsConcreteValue, boundVariables)));
 }
コード例 #2
0
ファイル: Unifier.cs プロジェクト: richardy2012/prolog 
 bool IConcreteValueVisitor <bool> .Visit(Atom rhs)
 {
     return(lhs.Accept(new AtomUnifier(rhs)));
 }