Home

FLORA-2 is a logic-based object-oriented language for building knowledge-intensive applications. It is based on F-logic, HiLog, and Transaction Logic. Applications include intelligent agents, Semantic Web, ontology management, and more.

A user session with Flora-2

---

Flora-2 Projects

Project Members:

• Hui Wan
• Michael Kifer (admin)
• Paul Fodor