public interface ProgramInLogic
Expression
convertToProgram(Term t, ExtList list)
Expression convertToProgram(Term t, ExtList list)