internal override IEnumerable <bool> UnifyWithTerm(Term value) { return(value.UnifyWithAtomicConstant(this)); }
internal override bool UnifyWithTerm(Term value, PrologContext context) { return value.UnifyWithAtomicConstant(this, context); }
internal override bool UnifyWithTerm(Term value, PrologContext context) { return(value.UnifyWithAtomicConstant(this, context)); }
internal override IEnumerable<bool> UnifyWithTerm(Term value) { return value.UnifyWithAtomicConstant(this); }