Program menurut plman.sf.net

PLMan adalah parser/kalkulator kalimat logika proposisi dengan variabelkemampuan penanganan yang diterapkan di Jawa, yang berarti berjalan pada setiap JVMlingkungan terinstal (Unix, Linux, Windows, dll.).