Пример #1
0
 @Override
 public boolean isEntailed(DLProgram program, Literal query) {
   return isEntailed(program.getClauses(), query);
 }
Пример #2
0
 @Override
 public List<Literal> query(DLProgram program, Literal query) {
   return query(program.getClauses(), query);
 }