Atur cara mengikut deductions.sf.net

Teknik Kecerdasan Buatan digunakan untuk tugas perisian biasa, menggunakan Logik Pesanan Pertama; N3, ontologi dan peraturan OWL. Membolehkan bangunan aplikasi berasaskan komponen, kebebasan platform, keramahan pengguna. Leve