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

PLMan là một phân tích cú pháp câu logic đề xuất / máy tính với biếnkhả năng xử lý được thực hiện trong Java, có nghĩa là nó chạy trên mọi JVMmôi trường cài đặt (Unix, Linux, Windows, v.v.).