Программы flora.sf.net

FLORA-2 является логическим объектно-ориентированным языком для создания знаний интенсивных приложений. Он основан на F-логике, HiLog и логике транзакций. Приложения включают интеллектуальные агенты, Semantic Web, управление