001    /*
002     * Created on Sep 14, 2003 by Ravi Mohan
003     *
004     */
005    package aima.logic.fol.parsing.ast;
006    
007    import java.util.List;
008    
009    /**
010     * @author Ravi Mohan
011     * @author Ciaran O'Reilly
012     */
013    public interface Term extends FOLNode {
014            List<Term> getArgs();
015            Term copy();
016    }