public Functor functor(String name, Term... args)
    {
        int internedName = interner.internFunctorName(name, args.length);

        return new Functor(internedName, args);
    }
public Functor functor(String name, Term... args)
    {
        int internedName = interner.internFunctorName(name, args.length);

        return new Functor(internedName, args);
    }
public Functor functor ( String name , Term ... args ) { int internedName = interner . internFunctorName ( name , args . length ) ; return new Functor ( internedName , args ) ; }
Creates a functor.

@param  name The name of the functor.
@param  args The functors arguments.

@return A functor.
Creates a functor .