Flora-2 is a powerful knowledge representation and reasoning system designed for building knowledge-intensive applications. It is based on F-logic, HiLog, Transaction Logic, and also supports defeasible reasoning. Applications include intelligent agents, Semantic Web, ontology management, and more.
- Expressive knowledge representation
- Reasoning engine
- High-level rule language
- Clear and natural semantics
Flora is a very comprehensive language that is useful in my projects. I highly recommend that you try using it.