Chương trình theo jdrew.sf.net

jDREW (Java Deductive Reasoning Engine for the Web) là một công cụ lý luận có cấu hình cao được viết bằng Java để lý luận mệnh đề xác định. Thông qua các API đa dạng của nó, jDREW có thể dễ dàng nhúng vào một hệ thống Java lớ