public void toSDB(String conformFile) { String[] list = { HomePath.homePath + "libpl/discontiguous.pl", fullName, conformFile, HomePath.homePath + "libpl/state.conform.pl" }; SDB tmpconform = new SDB("tmpconform", list); tmpconform.executeProlog(); tmpconform.delete(); }