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.

Features

  • Expressive knowledge representation
  • Reasoning engine
  • High-level rule language
  • Clear and natural semantics

Project Samples

Project Activity

See All Activity >

Follow Flora-2

Flora-2 Web Site

Other Useful Business Software

Compare Cell Phone Plans at Wirefly Compare Cell Phone Plans at Wirefly Icon
Compare Cell Phone Plans at Wirefly Icon

You’re probably paying too much for cell phone service. Wirefly compares hundreds of plans to help you save.

You’re probably paying too much for cell phone service. Wirefly compares hundreds of plans to help you save. Enter what you need (minutes, data, texts) into Wirefly’s innovative plan comparison tools and see your savings instantly.

Rate This Project

Login To Rate This Project

User Ratings

★★★★★
★★★★
★★★
★★
2
0
0
0
0
ease 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 3 / 5
features 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 5 / 5
design 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 5 / 5
support 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 3 / 5

User Reviews

  • good language

  • Flora is a very comprehensive language that is useful in my projects. I highly recommend that you try using it.

Read more reviews >

Additional Project Details

Languages

English

Intended Audience

Education, Developers, Other Audience

User Interface

Command-line, Eclipse

Programming Language

Prolog, C, Java

Database Environment

Other API

Registered

2002-04-06