Java DLProgramの例

コード例 #1

ファイル: DLVReasoner.java プロジェクト: ghxiao/drew-rl

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

コード例 #2

ファイル: DLVReasoner.java プロジェクト: ghxiao/drew-rl

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