I'm working on an application in Ja

I'm working on an application in Java, that needs to do some complex logic rule deductions as part of its functionality. I'd like to code my logic deductions in Prolog or some other logic/constraint programming language, instead of Java, as I believe the resulting code will be significantly simpler and more maintainable.

I googled for embedded Java implementations on Prolog, and found number of them, each with very little documentation. My (modest) selection criteria are:

should be embeddable in Java (e.g. can be bundled up with my java package instead of requiring any native installations on external programs)
simple interface to use from Java (for initiating deductions, inspecting results, and adding rules)
come with at least a few examples on how to use it
doesn't necessarily have to be Prolog, but other logic/constraint programming languages with the above criteria would suit my needs, too.

Kết quả (Việt) 1:

Tôi đang làm việc trên một ứng dụng trong Java, mà cần phải làm một số khoản khấu trừ quy tắc phức tạp logic như là một phần của chức năng của nó. Tôi muốn mã của tôi khoản khấu trừ logic trong Prolog hoặc một số khác logic/hạn chế lập trình ngôn ngữ, thay vì Java, như tôi tin rằng mã kết quả sẽ được đáng kể đơn giản và duy trì hơn.Tôi googled cho nhúng Java hiện thực trên Prolog, và tìm thấy số của chúng, mỗi với rất ít tài liệu. Tiêu chí lựa chọn (khiêm tốn) của tôi là:nên được nhúng trong Java (ví dụ: có thể được đóng gói với gói java của tôi thay vì yêu cầu bất kỳ cài đặt bản địa trên chương trình bên ngoài)các giao diện đơn giản để sử dụng từ Java (để bắt đầu các khoản khấu trừ, kiểm tra kết quả và thêm quy tắc)đi kèm với ít nhất một vài ví dụ về làm thế nào để sử dụng nókhông nhất thiết phải là Prolog, nhưng khác logic/hạn chế lập trình ngôn ngữ với các bên trên tiêu chí nào phù hợp với nhu cầu của tôi, quá.

Kết quả (Việt) 2:

Tôi đang làm việc trên một ứng dụng trong Java, mà cần phải làm một số các khoản khấu trừ quy tắc logic phức tạp như là một phần của chức năng của nó. Tôi muốn để mã giảm trừ logic của tôi trong Prolog hoặc một số ngôn ngữ lập trình logic / ràng buộc khác, thay vì Java, như tôi tin rằng mã kết quả sẽ được đơn giản đáng kể và dễ bảo trì hơn. Tôi googled cho nhúng triển khai Java trên Prolog, và tìm thấy số của họ, đều có rất ít tài liệu. Tiêu chí (khiêm tốn) lựa chọn của tôi là: nên có thể nhúng trong Java (ví dụ như có thể được đi kèm với gói java của tôi thay vì yêu cầu bất kỳ cài đặt gốc vào chương trình bên ngoài) giao diện đơn giản để sử dụng từ Java (khởi trừ các khoản, kiểm tra kết quả, và thêm những quy tắc ) đi kèm với ít nhất là một vài ví dụ về cách sử dụng nó không nhất thiết phải là Prolog, nhưng các ngôn ngữ lập trình logic / ràng buộc khác với các tiêu chí trên sẽ phù hợp với nhu cầu của tôi, quá.