aima.core.logic.fol.parsing.ast.Term Maven / Gradle / Ivy

package aima.core.logic.fol.parsing.ast;

import java.util.List;

/**
 * @author Ravi Mohan
 * @author Ciaran O'Reilly
 */
public interface Term extends FOLNode {
	List getArgs();

	Term copy();
}