// compileSimpleClause can be used in order to implement assert(...) operations
public Program compileSimpleClause(String programCode) {
Vector programList = stringToList(programCode);
CompilerStructure struc = new CompilerStructure();
if ((clause(programList, struc)) && (programList.size() == 0)) {
CompilerStructure program = new CompilerStructure();
program.type = program.PROGRAM;
program.head = struc;
updateNames(program);
return structureToCode(program);
} else return null;
} // end of PrologCompiler.compileSimpleClause(String)
