プログラム plman.sf.net

PLManは、変数を持つ命題論理文パーサー/計算機ですJava で実装された処理能力は、すべての JVM で実行されることを意味します。インストールされた環境 (Unix、Linux、ウィンドウなど)。