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.
If you use Flora-2 and like it, please acknowledge it in your project!
Features
- Expressive knowledge representation
- Reasoning engine
- High-level, declarative rule language
- Clear and natural semantics
License
Apache Software LicenseFollow Flora-2
Other Useful Business Software
Error to trace to log to deploy. One click. No SSH.
AppSignal links every error to the trace, the trace to the log, the log to the deploy that shipped it.
Rate This Project
Login To Rate This Project
User Reviews
-
good language
-
Flora is a very comprehensive language that is useful in my projects. I highly recommend that you try using it.