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

Kỹ thuật trí tuệ nhân tạo được áp dụng cho các tác vụ phần mềm phổ biến, sử dụng Logic thứ tự đầu tiên; N3, OWL ontologies và các quy tắc. Cho phép xây dựng ứng dụng dựa trên thành phần, độc lập nền tảng, thân thiện với người