@Override
public boolean isEntailed(DLProgram program, Literal query) {
return isEntailed(program.getClauses(), query);
}
@Override
public List<Literal> query(DLProgram program, Literal query) {
return query(program.getClauses(), query);
}