public IAtom GetAtom(IPredicate predicate, IEnumerable<IFunctionInstance> terms) { return predicate.CreateInstance (terms); }
public IAtom GetAtom(IPredicate predicate, IEnumerable <IFunctionInstance> terms) { return(predicate.CreateInstance(terms)); }